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
矛盾を一部許容するが、それによって全ての命題が真になるという爆発原理が成立しない、特定の形式論理体系
What is this buttons?

私たちのセミナーでは、いくつかの矛盾が真でもすべての命題が真になるわけではないような、矛盾を許容する形式論理を用いて矛盾を含むが自明ではないデータベースのモデル化を検討した。

plural

Dictionary quizzes to help you remember vocabulary

Edit Histories(0)

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★