While these ideas work in both classical and intuitionistic logic, they do not work in paraconsistent logic, where contradictions are not necessarily false.
Додека овие поими работат и во класичната и во интуитистичката логика, истите не работат во Бразилската логика, каде што не мора да значи дека контрадикциите се невистинити.