Modus ponens: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Ripristino stato precedente seconda riga terza colonna tabella |
Nessun oggetto della modifica |
||
Riga 17:
{| id="mwHg" border="1"
! id="mwIQ" |
! id="mwIw" |
! id="mwJQ" |<math> p \rightarrow q </math>
|- id="mwJw"
| |||