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:

  1. L & W
  2. L ⇒ ¬ F
  3. Eliminação W
  4. Eliminação L
  5. ¬ F modus ponens
  6. 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.