Last Updated:2025/11/29
(logic, countable) A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
paraconsistent logic
Edit Histories(0)
Source Word
paraconsistent logic
Noun
countable
uncountable
Japanese Meaning
矛盾を一部許容するが、それによって全ての命題が真になるという爆発原理が成立しない、特定の形式論理体系
( plural )