Lógica

TAREA DE LÓGICA
INFERENCIAS TAUTOLÓGICAS
Dennis Vargas Vega - 14150142
1 - (q ~ S) ^ (~ T ˅ P) (Simp.)
_________________
° (q ~S)
2 - (P ~S)˄ ~R (Adición)
____________
° [ (P ~S) ˄ ~R ] ˅ ~P
3 - (P Q) ~(R ˅ S) (M.P)
(P Q)
________________° ~(R ˅ S)
4 - ~(P ˄ Q) (R ˅ ~S) (M.T)
~(R ˅ ~S)
_______________
° ~ ~(P ˄ Q)
5 - (P Q) ˅ (R ↔ S) (S.D)~(R ↔ S)
_______________
° (P Q)
6 - Si hoy es sábado, mañana es domingo. Mañana no es domingo. Luego.
P = Hoy es sábado.
S = Mañana es domingo.Representación lógica
P S
~S
_____
° ~P Negación
7 – Es una revista o un libro, no es una revista. Luego…
P = Una revistaQ = Un libro
Representación lógica
P ˅ Q
~ P
_____
° Q (Disyunción)
8 – Si A, entonces no B. Se da A de ahí…
A ~B P¬ (Q ˅ R)
A P
______ ___________
° ¬ B ° ¬ (Q ˅ R)
(Modus Ponens)
9 – Si Ay B, entonces C. Si no C, entonces D.
(A ˄ B) C (P ˄ Q) R
¬C D ¬R S
__________ __________
° D ¬ (A ˄ B)° S ¬ (P ˄ Q)
(D.H)
10 – Si A, entonces B. Si D entonces C. Se da no B o no C, por lo tanto no A o no B.
P Q A = P
R SQ = B
¬ Q ˅ ¬S R = D
________ S = C
° ¬(P ˅ R) (Dilema destructivo)
11 – Si A, entonces B, si C,...