Prova rudimentale in SL

Nov 04 2020

Quindi attualmente mi viene presentato SL e mi viene chiesto di dimostrare una dichiarazione. Una semplice domanda con la premessa L & W e L ⇒ ¬ F. Mi viene chiesto di dimostrare W & ¬ F. Qualcuno potrebbe verificare la mia soluzione?

Quindi i miei passi sono:

  1. L & W
  2. L ⇒ ¬ F
  3. Eliminazione W.
  4. Eliminazione L.
  5. ¬ F modus ponens
  6. W & ¬ F introduzione

Grazie.

Risposte

GrahamKemp Nov 04 2020 at 14:13

Sì, questo è valido, anche se le giustificazioni sono "eliminazione congiunzione" e "introduzione congiunzione". Dovresti anche includere la citazione dei numeri di riga.