Conectivo lógico: diferenças entre revisões

Uma abordagem é escolher um conjunto ''mínimo'', e definir outros conectivos por alguma forma lógica, como no exemplo com condicional material acima. A seguir estão os conjuntos mínimos funcionalmente completos de operadores na lógica clássica, cujas aridades não excedem 2:

 

;Dois elementos: {<math>\vee</math>,&nbsp;¬}, {<math>\wedge</math>,&nbsp;¬}, {→,&nbsp;¬}, {←,&nbsp;¬}, {→,&nbsp;<math>\bot</math>}, {←,&nbsp;<math>\bot</math>}, {→,&nbsp;<math>\not\leftrightarrow</math>}, {←,&nbsp;<math>\not\leftrightarrow</math>}, {→,&nbsp;<math>\not\to</math>}, {→,&nbsp;<math>\not\leftarrow</math>}, {←,&nbsp;<math>\not\to</math>}, {←,&nbsp;<math>\not\leftarrow</math>}, {<math>\not\to</math>,&nbsp;¬}, {<math>\not\leftarrow</math>,&nbsp;¬}, {<math>\not\to</math>,&nbsp;<math>\top</math>}, {<math>\not\leftarrow</math>,&nbsp;<math>\top</math>}, {<math>\not\to</math>,&nbsp;<math>\leftrightarrow</math>}, {<math>\not\leftarrow</math>,&nbsp;<math>\leftrightarrow</math>}.

;Três elementos: {<math>\lor</math>, <math>\leftrightarrow</math>, <math>\bot</math>}, {<math>\lor</math>, <math>\leftrightarrow</math>, <math>\not\leftrightarrow</math>}, {<math>\lor</math>, <math>\not\leftrightarrow</math>, <math>\top</math>}, {<math>\land</math>, <math>\leftrightarrow</math>, <math>\bot</math>}, {<math>\land</math>, <math>\leftrightarrow</math>, <math>\not\leftrightarrow</math>}, {<math>\land</math>, <math>\not\leftrightarrow</math>, <math>\top</math>}.