teste argumentos prova por tabela verdade
2 pág.

teste argumentos prova por tabela verdade


DisciplinaLógica I8.986 materiais138.554 seguidores
Pré-visualização1 página
18/03/2019 Untitled document - Google Docs
https://docs.google.com/document/d/1D65flIxWr4QhhbHyuJu76uiujMSr0CC76pLoIafi2zY/edit 1/2
 
1. A \u2192 B, C \u2192 ¬B, ¬A \u22a2 A \u2192 ¬C 
A B C ~B ~C A\u2192B C\u2192~B ~A A \u2192~C 
V V V F F V F F F 
V V F F V V V F V 
V F V V F F V F F 
V F F V V F V F V 
F V V F F V F V V 
F V F F V V V V V 
F F V V F V V V V 
F F F V V V V V V 
 
Nas linhas 6,7,8 as as hipóteses e a conclusão são verdadeiras, portanto o argumento 
é válido. 
2. P \u2227 ¬Q, ¬R \u2192 Q \u22a2 ¬P \u2227 R 
P Q R ~P ~Q ~R P^~Q ~R \u2192Q ~P^R 
V V V F F F F V F 
V V F F F V F V F 
V F V F V F V V F 
V F F F V V V F F 
F V V V F F F V V 
F V F V F V F V F 
F F V V V F F V V 
F F F V V V F F F 
18/03/2019 Untitled document - Google Docs
https://docs.google.com/document/d/1D65flIxWr4QhhbHyuJu76uiujMSr0CC76pLoIafi2zY/edit 2/2
Tendo em vista que na linha 3 as hipóteses são verdadeiras mas a conclusão não, este 
argumento é inválido. 
 
3. P \u2192 Q, R \u2192 S, P \u2228 S \u22a2 Q \u2228 R 
P Q R S P\u2192Q R\u2192S PvS QvR 
V V V V V V V V 
V V V F V F V V 
V V F V V V V V 
V V F F V V V V 
V F V V F V V V 
V F V F F F V V 
V F F V F V V F 
V F F F F V V F 
F V V V V V V V 
F V V F V F F V 
F V F V V V V V 
F V F F V V F V 
F F V V V V V V 
F F V F V F F V 
F F F V V V V F 
F F F F V V F F 
 
Na linha 15, todas as hipóteses são verdadeiras, mas a conclusão não, por isso o argumento é 
inválido.