Logica matematica/Calcolo delle proposizioni/Dimostrazione di completezza di insiemi di connettivi: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Correggo sintassi in formula matematica secondo mw:Extension:Math/Roadmap |
|||
Riga 92:
Estendiamo <math>\land</math> e <math>\lor</math> al caso più generale di <math>n</math> argomenti, definendo i connettivi <math>\bigvee</math> e <math>\bigwedge</math>:
*<math>\bigvee_i^N P_i = P_0 \
*<math>\bigwedge_i^N P_i = P_0 \
Possiamo ora esprimere <math>P</math> in forma normale disgiunta come:
|