Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni
Logica matematica/Calcolo delle proposizioni/La deduzione naturale (modifica)
Versione delle 18:57, 18 nov 2007
, 15 anni fa→Le regole
Nessun oggetto della modifica |
|||
|
Per ogni connettivo sono specificate delle regole di inferenza che permettono di introdurre o eliminare una operazione logica nel corso della dimostrazione.
Vediamo quindi le regole:
<math>\Phi \quad\quad \Psi</math>
<math>----------------</math>
<math>\Phi \wedge \Psi</math>
| |||