verifica-se que é(são) argumento(s) válido(s) ou tautologia(s)
Premissa 1 |
~PvQ |
“Não P ou Q” |
Premissa 2 |
~Q |
“Não Q” |
Conclusão |
~P |
“Não P” |
Premissa 1 |
P→Q |
“P implica Q” |
Premissa 2 |
Q→R |
“Q implica R” |
Conclusão |
R→P |
“R implica P” |
Premissa 1 |
~PvQ |
“Não P ou Q” |
Premissa 2 |
~QvR |
“Não Q ou R” |
Conclusão |
~PvR |
“Não P ou R” |