 Si P es verdadero y Q es falso entonces las siguientes sentencias son verdadero o

falso.30 %
→ Implicación
∨ O
∧ Y
¬ NO
T Y F (CONSTANTES LOGICAS) T Verdadero F Falso
a)𝑃→𝑄 22=4
P Q P→Q
F F T
F T T
T F F
T T T
FALSO

b)(¬𝑃∨𝑄)→𝑄 22=4

P Q ¬𝑃 ¬𝑃∨𝑄 (¬𝑃∨𝑄)→𝑄
F F T T T
F T T T T
T F F F T
T T F T T
VERDADERO

c)¬(𝑃∧𝑄)→𝑄 22=4
P Q 𝑃∧𝑄 ¬(𝑃∧𝑄) ¬(𝑃∧𝑄)→𝑄
F F F T T
F T F T T
T F F T T
T T T F F
FALSO
d)𝑃∨¬𝑃→𝑇
P ¬𝑃 𝑃∨¬𝑃→𝑇
F T T
F T T
T F T
T F T
T→𝑇
Verdadero

e)[(𝑃∨¬𝑄)∧𝑄]→𝑃
P Q ¬Q 𝑃∨¬𝑄 𝑃∨¬𝑄)∧𝑄 [(𝑃∨¬𝑄)∧𝑄]→𝑃
F F T T F T
F T F F F T
T F T T F T
T T F T T T
Verdadero

2.Para cada una de las siguientes formulas o sentencias, construya la tabla de verdad e
indique si la fórmula es satisfacible o valida.40%
f)(𝑆∨𝑄)∨¬𝑆∨¬𝑄 22=4
S Q 𝑆∨𝑄 ¬𝑆 ¬𝑄 ¬𝑆∨¬𝑄 (𝑆∨𝑄)∨¬𝑆∨¬𝑄
F F F T T T T
F T T T F T T
T F T F T T T
T T T F F F T
VALIDA
g)𝑃→[𝑄→(𝑅→(¬𝑃∨¬𝑄)) 23=8
P Q R ¬𝑃 ¬𝑄 ¬𝑃∨¬𝑄 𝑅→(¬𝑃∨¬𝑄) 𝑄→(𝑅→(¬𝑃∨¬𝑄)) 𝑃→[𝑄→(𝑅→(¬𝑃∨¬𝑄))
F F F T T T T T T
F F T T F T T T T
F T F T T T T T T
F T T T F T T T T
T F F F T T T T T
T F T F F F F T T
T T F F T T T T T
T T T f F F F F F
SATISFACIBLE
h)𝑆→(¬𝑆→¬𝑆) 21=2
S ¬𝑆 (¬𝑆→¬𝑆) 𝑆→(¬𝑆→¬𝑆)
F T T T
T F T T
VÁLIDA
i)¬¬𝑃→(𝑄↔𝑃) 22=4
P Q ¬P ¬¬P 𝑄↔𝑃 ¬¬𝑃→(𝑄↔𝑃)
F F T F T T
F T T F F T
T F F T F F
T T F T T T
SATISFACIBLE
j)(𝑀↔(𝑄↔𝑀))
M Q 𝑄↔𝑀 (𝑀↔(𝑄↔𝑀))
F F T F
F T F T
T F F F
T T T T
SATISFACIBLE
3.Convierta a FNC la siguiente sentencia lógica.30%
(S→ Q) → (¬S→ ¬Q)
Clausulas
S→ Q cambia por Qv¬S
(¬S→ ¬Q)= Sv¬Q
Qv¬S→ Sv¬Q
S∨(¬Q)