Prova rudimentar no SL
Nov 04 2020
Portanto, estou sendo apresentado ao SL e solicitado a provar uma declaração. Uma pergunta simples com a premissa L & W e L ⇒ ¬ F. Tenho que provar W & ¬ F. Alguém poderia verificar minha solução?
Então, meus passos são:
- L & W
- L ⇒ ¬ F
- Eliminação W
- Eliminação L
- ¬ F modus ponens
- Introdução de W & ¬ F
Obrigado.
Respostas
GrahamKemp Nov 04 2020 at 14:13
Sim, isso é válido, embora as justificativas sejam "eliminação da conjunção" e "introdução da conjunção". Você também deve incluir a citação dos números das linhas.
O que significa um erro “Não é possível encontrar o símbolo” ou “Não é possível resolver o símbolo”?
Christopher Nolan uma vez se arrependeu de ter lido o 'roteiro de Pulp Fiction' de Quentin Tarantino