Escolar Documentos
Profissional Documentos
Cultura Documentos
• Tautologia :
• Contradição :
• Contradição :
a)P ~Q
b) ~P ~Q
c)(~P Q ) (P ~Q)
d) (P Q) → (P v Q) 4
e) (P ↔ ~ Q ) → Q
f) (P Q) ~(P Q)
h) (P Q) ~(P Q)
P : A → (B → A)
Q : (A B C) → (A B)
R : (A V B) → B
S : [(A B) -> C] V C