CP 124 Practica de Logica

PRÁCTICA DE LOGICA (CONT. PUB.
SEM 1/2024)
1.- CLASIFICAR LAS SGTS EXPRESIONES (TAUTOLOGÍA, CONTRADICCIÓN O CONTINGENCIA)
a] ¬[¬p V¬q]; b] ¬[(r V q) ^ ¬p]; c] [p V ¬q] ↔ (r ^ p); d] ¬p ↔ [r→¬q]; e] ¬[p ^ ¬r]; f] ¬p→ [q→p]; [g] [p→(q V r)]; h] ¬[¬p→ ¬q]
i) (p → q) ↔ (~p v q) 𝑗) {[(𝑝Λq) → (𝑝 → ~q)] → (𝑞 → ~p)} ↔ [(𝑝Λq)𝑉𝑟] 𝑘) {(𝑝 → q) → [𝑝 → (~qΛp)]} → ~(qΛp)
2.- SIMPLIFICAR LAS SIGUIENTES PROPOSICIONES COMPUESTAS (USANDO “LEYES LÓGICAS”)
1. (𝑝 ↔ 𝑞)𝑣(~𝑝𝑣𝑞) 𝑹: ~𝒑𝒗𝒒; 𝟐. [(~𝑝𝑣𝑞)Λ(~𝑞 → 𝑝)] → (𝑝 Λ~q) 𝐑: ~𝐪; 3. (q → p) → [(pvq) → (qΛ~p)] 𝐑: ~𝐩 4. [(p → r)Λ~p]v[(pvq) → r] 𝐑: ~𝐩𝐯𝐫
𝟓. (~p → q) ∧ (pV ∼ q) ∧ (∼ pV ∼ q); 𝟔{[(r → p) ∧ (∼ p ∧∼ q)] → r} ∧ r; 𝟕 [~(p → ~q) → (~q → ~p)] → (~p → ~q); 𝟖 (p → ~q) ↔ ~(q → ~p)
9) [~(p v q) v (p → ~q)] ^ [(~p → q) v (~q → p)]; 10) ~(p → q) ↔ ~( q → p); D) [~p → ~(~ p v q) ] v {[ p ^ (~ p v q) ] → p }
𝟏𝟏 {(p ∧∼ q)V[(∼ p ∧ q)V(∼ p ∧∼ q)]}V~q; 𝟏𝟐 (∼ p → q)V[(p ∧∼ q)V(∼ p ∧∼ q)]; 𝟏𝟑 {(∼ p → q) ∧ [(∼ pVq) ∧∼ q]} → p
14) {[(p ^~q) v (q ^~p)] v [(~q ↔ ~p)]} ^ (p ^~q); 15)[~p → (~p v q) ] v {[ p ^ (p → q)] → p}; 16) [~p → (~r → ~p)] v {~q ^ [(p v q) v ~ (p ^ q)]}
17) ~{[(~𝑞 → ~𝑝)Λ~(~p → ~q) ]𝑉(𝑝 → ~𝑞)} ; 18)~(𝑝 → 𝑞) ↔ ~(𝑞 → 𝑝); 19)(𝑝 → ~𝑟)𝛬{[(~𝑞 → 𝑟)𝛬~(𝑞𝛬~𝑟)] → [(𝑟 → 𝑝)𝛬(𝑝 → ~𝑟)]}
20) {[(p v q) v ~(p ^ q)]^ ~q} v [~p → (~r → ~p)]; 21) ; {[p → (r ^ s)] ^ (q → p)^ ~r} → ~q ; 22) {[(~p → ~q) ^ (~q → ~p)] v [(p ^~q) v (q ^~p)]} ^(p ^~q)
23)[(𝑝 → 𝑟) ↔ (𝑝Λr)]Λ[(p → ~q) → q]; 24) {[pΛ(q → r)]Λ[p → (qΛ~r)]}V{(pΛq)V[(pΛr)Λ(qV~r)]}
3.- DETERMINAR LOS VALORES DE VERDAD DE LAS PROPOSICIONES, p, q, r, s, t, u, w; TENIENDO LAS PROPOSICIONES COMPUESTAS:
𝑎)𝑡 → (𝑤V ∼ 𝑝) 𝑒𝑠 𝐹; 𝑏) [∼ 𝑝Λq] → [(𝑟 → 𝑝)𝑉𝑡] 𝑒𝑠 𝐹; 𝑐)(𝑝𝑉𝑠) → (𝑟Λs) 𝑒𝑠 𝐹; 𝑑) ∼ [(∼ 𝑝Vq)V(𝑟 → 𝑞)]Λ[(∼ 𝑝Vq) → (∼ 𝑞Λq)] es V
𝑒) 𝑆𝑖: {(𝑝 → ~𝑞)𝑉(~𝑟 → 𝑠)} 𝑒𝑠 𝐹; 𝑑𝑒𝑡𝑒𝑟𝑚𝑖𝑛𝑎𝑟: 𝑖) (~𝑝∆𝑞)𝑉~𝑞; 𝑖𝑖)(𝑝 → 𝑟) → (𝑝𝑉𝑠); 𝑖𝑖𝑖)(~𝑟Λq) ↔ (~𝑞Λs) (∆= 𝑽 )
𝑓) 𝑆𝑖: {~[(𝑝Λr) → q]Λ[(pVq)∆s]} → {(𝑠∆𝑝) → 𝑡} 𝑒𝑠 𝑭; 𝑑𝑒𝑡𝑒𝑟𝑚𝑖𝑛𝑎𝑟: 𝑖) {[(~𝑝∆𝑞)∆𝑟] → ~[𝑞 → (𝑢 → 𝑝)]}∆(𝑝∆𝑞); 𝑖𝑖){~(𝑝 → 𝑞)∆[(𝑟Λp) → ~(𝑟𝑉𝑠)]}∆𝑡 (∆= 𝑽)
𝑔) 𝑆𝑎𝑏𝑖𝑒𝑛𝑑𝑜 𝑞𝑢𝑒 𝑙𝑎 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛 (𝑝 → ~𝑞)𝑣(~𝑟 → 𝑠)𝑒𝑠 𝐹𝐴𝐿𝑆𝑂; 𝑑𝑒𝑑𝑢𝑐𝑢𝑖𝑟: 𝑎) (~𝑝Λ~𝑞)𝑣~𝑞; 𝑏) ~(~𝑟𝑣𝑞) ↔ [(~𝑞𝑣𝑟)Λs]; 𝑐)(𝑝 → 𝑞) → [(𝑝vq)Λ~q]
ℎ) (𝑝 ∧ ~𝑞) → (𝑟 → ~𝑠)𝑒𝑠 𝐹𝐴𝐿𝑆𝑂; 𝑖) 𝑆𝑖 𝑠 𝑦 𝑙𝑎 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛 𝑠 → ~(𝑝 ∧ 𝑞)𝑒𝑠 𝑉𝐸𝑅𝐷𝐴𝐷𝐸𝑅𝐴; 𝑗)[(𝑝 ∧ ~ 𝑞) ↔ (𝑟 → 𝑠)] → (~𝑠 → 𝑟)𝑒𝑠 𝐹𝐴𝐿𝑆𝑂;
𝑘)𝑆𝑒𝑎: ~[(𝐴 ∧ ~𝐵) → (𝐶 → 𝐷)]𝑉𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑎: 𝑖) ~(𝐴 ∧ ~𝐵) ∧ 𝐶; 𝑖𝑖) ~(𝐴 ∧ ~𝐵 ) → ~(~𝐶 → ~𝐷); 𝑖𝑖𝑖) (~𝐴 → 𝐶) ∧ (𝐵 → ~𝐶); 𝑖𝑣) (~𝐴
↔ ~𝐵) ∧ ~𝐶
𝑙) 𝑆𝑖 𝑒𝑙 𝑒𝑠𝑞𝑢𝑒𝑚𝑎: [(pΛ~ q) ↔ (r → s)] → (~s → r)es FALSO, deducir: [𝑤 𝑉~(𝑝 Λ q)] ↔ [(𝑟 → 𝑠) Λ p]
4 PROBAR LA VALIDEZ DE LOS SIGUIENTES RAZONAMIENTOS
𝑟 𝑟 qV~p ~𝑎 → (𝑑 → ~𝑒) (p → ~q)Λ(r → s)

𝑟 → ~𝑞 𝑇 → ~𝑅 pVq ~r → (pVq)
𝑟→𝑞 𝑟→𝑞 𝑝 → (𝑠 𝑣 𝑗) ~q ~𝑏 (~q → t)Λ(s → ~m)
𝑝→𝑞 (sVt) → ~r
𝟏. 𝑝 2. 𝑡→𝑝 3 . ~𝑎 → 𝑝 𝟒. ~𝑠 𝟓. 𝑇 𝑣 ~𝑃 𝟔)𝑞 ~𝑡
→ 𝑡 𝟕) ~r → s 8) 9) ~𝑐 → 𝑑 10) (t → ~n)Λ(~m → l)
𝑅 sVt
𝑞 → ~𝑝 𝑞 → ~𝑝 𝑝 ~p → (s → ~t) 𝑏𝑉~𝑎 pΛr
~𝒓 ~𝑷 𝒑 𝒑𝑽𝒒
~𝒕 𝒂𝒗𝒎 𝒓𝒗𝒋 𝒕→𝒓 𝒆→𝒄 ~𝒏𝜦𝒍
𝑞𝑉𝑟 𝑎𝑉𝑏 𝑝 → (𝑝Λ 𝑟)

∼ 𝑎𝑉 ∼ 𝑏 𝑠→𝑟 𝑎𝑉𝑏
𝑟 →∼ 𝑝 (𝑐Λd) →∼ 𝑒 (𝑞 𝑉 𝑠) → 𝑡 (𝑝𝑉𝑞) ↔ 𝑟
∼𝑐→𝑎 𝑠𝑉𝑝 𝑎 → ~𝑐
(𝑟Λ𝑠)𝑉𝑡 𝑓𝑉𝑒 𝑝𝑉𝑠 𝑟→𝑝
𝑏) ∼ 𝑏 ↔ 𝑐 𝑐) 𝑑) 𝑒) 𝑝 → 𝑞 f) ~𝑞 → 𝑟 𝑔) 𝑏 ↔ ~𝑐
𝑡 → (𝑞𝑉𝑢) ∼ 𝑎Λ d ∼𝑡 𝑟→𝑡
𝑎) ∼ 𝑑𝑉𝑏 𝒒 𝑑𝑉~𝑏
∼ 𝑞Λ ∼ 𝑢 ∼𝑐 →∼𝑏 ~𝒒 → 𝒕
𝐝 𝐝
∼𝐩 𝒇𝑽𝒈 𝒒𝚲 ∼ 𝒒
𝑝→𝑞 𝑥=𝑦→𝑥=𝑧 𝑎≠0→𝑏=1 𝑥<𝑦→𝑦<𝑧

𝑃 → (𝑄𝑣𝑅) 𝑝→𝑞
∼𝑞𝑉𝑟 𝑥=𝑧→𝑥=1 𝑎=𝑏→𝑏=𝑐 𝑥=𝑦→𝑥=𝑧
𝑟𝑉~𝑞
ℎ) ∼ (𝑝Λ 𝑟) 𝑖) 𝑄 → ~𝑃 𝑗) ~(𝑝𝑉𝑟) k) 𝑥 = 0 → 𝑥 ≠ 1 𝑙) 𝑏 = 𝑐 → 𝑏 ≠ 1 𝑚) (𝑦 < 𝑧𝑉𝑥 = 𝑧) → 𝑥 = 2
𝒑 𝑆 → ~𝑅 𝑥=𝑦 𝑎=𝑏 Λa≤d
𝒒 𝑥 < 𝑦𝑉𝑥 = 𝑦
𝑷 → ~𝑺 𝒙≠𝟎 𝒂=𝟎 𝒙=𝟐
5. DESARROLLAR LOS SGTS EJERCICIOS
1 𝑆𝐼 𝑝∞𝑞 = 𝑉𝑉𝐹𝑉, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑝∞(𝑝∞𝑞)𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒 𝑎: 𝑎) 𝑝Λ𝑞; 𝑏) 𝑝 → 𝑞; 𝑐) 𝑝 ↔ 𝑞; 𝑑) 𝑝𝑉𝑞
2 𝑆𝑖 𝑝 ∅ 𝑞 = 𝐹𝑉𝐹𝑉, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠: [(𝑝 ∅ ~𝑞) 𝑉(~𝑝 ∅ 𝑞)] → 𝑝; 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒 𝑎: 𝑎)~𝑞; 𝑏) ~𝑝; 𝑐) 𝑝 𝑉 𝑞; 𝑑) 𝑝
3 𝑆𝑖 𝑝𝜃𝑞 = 𝐹𝑉𝑉𝑉 𝑦 𝑝 ∗ 𝑞 = 𝐹𝐹𝐹𝑉, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠: [(𝑝 𝜃~𝑞) ∗ 𝑝]Λ(𝑞 𝜃~𝑝); 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒 𝑎: 𝑎) 𝑞; 𝑏) 𝑝𝑉~𝑞; 𝑐) 𝑉; 𝑑)𝑝Λ~p
4 𝑆𝑖 𝑝∅𝑞 = (𝑝Λ~ q)𝑉(𝑞𝑉~𝑝), 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠: [(~𝑝∅𝑞) → 𝑞] → [𝑝 → (𝑞𝜃𝑝)]; 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒 𝑎: 𝑎)~𝑝; 𝑏)~𝑞; 𝑐)𝐹; 𝑑)𝑉
6) SIMBOLIZAR Y VERIFICAR SI LOS SGTS ARGUMENTOS SON VALIDOS (UTILIZAR REGLAS DE INFERENCIA LOGICA)
1)a) Si hay sol, entonces es verano o iremos a la playa. Hay sol, pero no es verano. Por lo tanto, vamos a la playa.
b) Si Londres no está en Inglaterra, entonces Paris no está en Francia. Pero Paris esta en Francia. Por tanto, Londres esta en Inglaterra
2) a) Si trabajo no puedo estudiar. Estudio o paso matemáticas, trabajé, por tanto, pasé matemáticas.
b) Siempre que un número x es divisible por 10, acaba en 0. El número x no acaba en 0. Luego, x no es divisible por 10.
c) Si Juan no es comunista, entonces Juan es ateo. Juan no es ateo. Por tanto, Juan es comunista
d) Si sudo es porque corro. Cierro los ojos entonces duermo. No corro y no duermo. En consecuencia, si no sudo, entonces no cierro los ojos
3) Estoy cansado o estoy enfermo. Si estoy enfermo me voy a mi casa. No me voy a mi casa. Por lo tanto, estoy cansado.
4) Si la ballena es un mamífero entonces toma oxigeno del aire. Si toma su oxigeno del aire, entonces no necesita branquias. La ballena es un mamífero y
habita en el océano. Por tanto, habita en el océano y no necesita branquias.
5) La testigo no dice la verdad o Patricia estaba en el campus universitario alrededor de las diez. Si Patricia estaba en el campus alrededor de las diez,
entonces ella vio a su amiga. Si vio a su amiga, entonces ella sabe quien estuvo antes. Luego, si la testigo dice la verdad, entonces Patricia no quien estuvo
antes.
6) Si el reloj esta adelantado, entonces Juan llegó antes de las diez y vio partir el coche de Andrés. Si Andrés dice la verdad entonces Juan no vio partir el
coche de Andrés. Andrés dice la verdad o estaba en el edificio en el momento del crimen. El reloj está adelantado, por tanto, Andrés estaba en el edificio
en el momento del crimen.
7) Si en la luna no hay oxígeno, entonces no hay agua ni aire. Si no hay oxigeno ni hay agua, entonces no hay plantas. No es el caso que en la luna haya
oxigeno o no haya plantas. En consecuencia, la luna está hecha de queso.
8). Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no realizaré mis sueños. He aceptado el trabajo y he dejado de pintar. Por lo tanto,
no realizaré mis sueños.
9) Cuando tanto la temperatura como la presión atmosférica permanecen contantes, no llueve. La temperatura permanece constante. En consecuencia,
en caso de que llueva, la presión atmosférica no permanece constante.
10) Siempre que y sólo cuando haya explosión nuclear, habrá radioactividad. Sin embargo, al haber radioactividad luego habrá mutaciones. Por lo tanto la
explosión nuclear es condición suficiente para las mutaciones
11) Si el viaje es muy largo entonces Luis maneja con cuidado. La carretera no está bien asfaltada o Luis no maneja con cuidado. La carretera está bien
asfaltada. Por tanto el viaje no es muy largo.
12) Si Juan es más alto que Pedro, entonces María es más baja que Juana. María no es más baja que Juana. Si Juan y Luis tienen la misma estatura, entonces
Juan es más alto que Pedro. Por lo tanto, Juan y Luis no tienen la misma estatura.
13) Si Tomás tiene diecisiete años, entonces Tomás tiene la misma edad que Juana. Si Joaquín tiene distinta edad que Tomás, entonces Joaquín tiene
distinta edad que Juana. Tomas tiene diecisiete años y Joaquín tiene la misma edad que Juana. Por tanto, Joaquín tiene la misma edad que Tomás y Tomás
la misma edad que Juana
14) Si el examen es válido entonces el alumno Moreno tendrá que repetir la materia o estará obligado a abandonar la Universidad. Si Moreno tiene que
repetir la materia entonces el examen no es válido. Si la calificación del profesor es dudosa, Moreno no estará obligado a abandonar la Universidad. Por
lo tanto, si el examen es válido entonces la calificación del profesor no es dudosa.
15) Si juego a la lotería además de jugar al bingo, entonces tengo más posibilidades de ganar. No tengo más posibilidades de ganar o es cosa de suerte. Si
es cosa de suerte, todos pueden ganar. No todos pueden ganar y jugar al bingo. Por lo tanto no juego la lotería.
16. Si este es un buen libro, vale la pena leerlo. El álgebra es fácil o este libro no vale la pena leerlo. Pero el Algebra no es fácil. Por tanto, no es un buen
libro

CP 124 Practica de Logica

Cargado por

Copyright:

Formatos disponibles

CP 124 Practica de Logica

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

CP 124 Practica de Logica

Cargado por

Copyright:

Formatos disponibles

PRÁCTICA DE LOGICA (CONT. PUB.

23)[(𝑝 → 𝑟) ↔ (𝑝Λr)]Λ[(p → ~q) → q]; 24) {[pΛ(q → r)]Λ[p → (qΛ~r)]}V{(pΛq)V[(pΛr)Λ(qV~r)]}

4 PROBAR LA VALIDEZ DE LOS SIGUIENTES RAZONAMIENTOS

𝑟 𝑟 qV~p ~𝑎 → (𝑑 → ~𝑒) (p → ~q)Λ(r → s)

𝑞𝑉𝑟 𝑎𝑉𝑏 𝑝 → (𝑝Λ 𝑟)

𝑝→𝑞 𝑥=𝑦→𝑥=𝑧 𝑎≠0→𝑏=1 𝑥<𝑦→𝑦<𝑧

5. DESARROLLAR LOS SGTS EJERCICIOS

1 𝑆𝐼 𝑝∞𝑞 = 𝑉𝑉𝐹𝑉, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑝∞(𝑝∞𝑞)𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒 𝑎: 𝑎) 𝑝Λ𝑞; 𝑏) 𝑝 → 𝑞; 𝑐) 𝑝 ↔ 𝑞; 𝑑) 𝑝𝑉𝑞

2 𝑆𝑖 𝑝 ∅ 𝑞 = 𝐹𝑉𝐹𝑉, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠: [(𝑝 ∅ ~𝑞) 𝑉(~𝑝 ∅ 𝑞)] → 𝑝; 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒 𝑎: 𝑎)~𝑞; 𝑏) ~𝑝; 𝑐) 𝑝 𝑉 𝑞; 𝑑) 𝑝

También podría gustarte