Metadata
Author: WikiMatrix
Data
English[en]
In classical logic and some varieties of many-valued logic, conjunction and disjunction are dual, and negation is self-dual, the latter is also self-dual in intuitionistic logic.
Spanish[es]
En lógica clásica y algunas variedades de lógica multi-valuada, la conjunción y la disyunción son duales, y la negación es auto-dual, en la lógica intuicionista, esta última también es auto-dual.