Modus ponens: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Seconda riga terza colonna tabella sostituito V con F |
Ripristino stato precedente seconda riga terza colonna tabella |
||
Riga 27:
! id="mwLA" | F
! id="mwLQ" | V
! id="mwLg" |
|- id="mwLw"
! id="mwMA" | V
| |||