Modus ponens: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Seconda riga terza colonna tabella sostituito V con F
Riga 27:
! id="mwLA" | F
! id="mwLQ" | V
! id="mwLg" | VF
|- id="mwLw"
! id="mwMA" | V