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:
- L & W
- L ⇒ ¬ F
- Eliminazione W.
- Eliminazione L.
- ¬ F modus ponens
- 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.