Versione delle 14:51, 13 nov 2015 modifica 89.202.231.191 (discussione) Nessun oggetto della modifica ← Differenza precedente		Versione delle 01:03, 20 nov 2015 modifica annulla 151 cp (discussione \| contributi) 191 966 modifiche Nessun oggetto della modifica Differenza successiva →
Riga 66: * [[Induzione]] * [[Inferenza]] * [[~~Elenco~~Lista di regole di inferenza]] * [[Regole di inferenza]] * [[Regola di inferenza]]

Modus ponens: differenze tra le versioni