Versione delle 18:55, 22 mag 2019 modifica Ontoraul (discussione \| contributi) Utenti autoverificati 35 108 modifiche →Collegamenti esterni Etichetta: Editor wikitesto 2017 ← Differenza precedente		Versione delle 18:56, 22 mag 2019 modifica annulla Ontoraul (discussione \| contributi) Utenti autoverificati 35 108 modifiche →Voci correlate Etichetta: Editor wikitesto 2017 Differenza successiva →
Riga 13: == Voci correlate == * [[Dimostrazione condizionale]] * [[~~Calcolo~~Logica proposizionale]] == Collegamenti esterni ==

Teorema di deduzione: differenze tra le versioni