teste argumentos prova por tabela verdade

Prévia do material em texto

18/03/2019 Untitled document - Google Docs
https://docs.google.com/document/d/1D65flIxWr4QhhbHyuJu76uiujMSr0CC76pLoIafi2zY/edit 1/2
 
1. A → B, C → ¬B, ¬A ⊢ A → ¬C 
A B C ~B ~C A→B C→~B ~A A →~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 ∧ ¬Q, ¬R → Q ⊢ ¬P ∧ R 
P Q R ~P ~Q ~R P^~Q ~R →Q ~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 → Q, R → S, P ∨ S ⊢ Q ∨ R 
P Q R S P→Q R→S 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.