Verifique a validade dos argumentos, usando tableaux semânticos ou resolução
Passo 1
Temos o argumento com as premissas
,
e
, e queremos verificar se
é consequência lógica (validade do argumento).
Passo 2
Para usar tableaux semântico, assumimos as premissas e a negação da conclusão, ou seja, montamos o conjunto inicial de fórmulas:
Passo 3
Expandimos
. Como
está presente, a regra do tableau gera
.
Passo 4
Expandimos
. Como
está presente, a regra do tableau gera
.
Passo 5
Agora temos
e
. Expandindo
, geramos
.
Passo 6
No ramo aparecem
e
, o que é uma contradição, fechando o ramo.
Passo 7
Como o único ramo do tableau se fecha, o conjunto é insatisfatível, logo o argumento é válido.
Resposta
O argumento é válido.