Formalização e avaliação pelo método do inspetor de circunstâncias da validade do seguinte argumento:
O argumento é válido uma vez que não apresenta um conclusão falsa quando as premissas são verdadeiras.
O João trabalha em madeira ou em ferro. Se trabalha em madeira
vende o produto em feiras. Se trabalha em ferro vende o seu produto na loja.
Não é verdade que venda o seu produto na loja. Logo trabalha em madeira.
|
P
|
Q
|
R
|
S
|
P V Q
|
P→ R
|
Q→ S
|
⌐S
|
 P |
|
V
|
V
|
V
|
V
|
V
|
V
|
V
|
F
|
V
|
|
V
|
V
|
V
|
F
|
V
|
V
|
F
|
V
|
V
|
|
V
|
V
|
F
|
V
|
V
|
F
|
V
|
F
|
V
|
|
V
|
V
|
F
|
F
|
V
|
F
|
F
|
V
|
V
|
|
V
|
F
|
V
|
V
|
V
|
V
|
V
|
F
|
V
|
|
V
|
F
|
V
|
F
|
V
|
V
|
V
|
V
|
V
|
|
V
|
F
|
F
|
V
|
V
|
F
|
V
|
F
|
V
|
|
V
|
F
|
F
|
F
|
V
|
F
|
V
|
V
|
V
|
|
F
|
V
|
V
|
V
|
V
|
V
|
V
|
F
|
F
|
|
F
|
V
|
V
|
F
|
V
|
V
|
F
|
V
|
F
|
|
F
|
V
|
F
|
V
|
V
|
V
|
V
|
F
|
F
|
|
F
|
V
|
F
|
F
|
V
|
V
|
F
|
V
|
F
|
|
F
|
F
|
V
|
V
|
F
|
V
|
V
|
F
|
F
|
|
F
|
F
|
V
|
F
|
F
|
V
|
V
|
V
|
F
|
|
F
|
F
|
F
|
V
|
F
|
V
|
V
|
F
|
F
|
|
F
|
f
|
f
|
f
|
f
|
v
|
v
|
v
|
F
|
Sem comentários:
Enviar um comentário