contradiction in Japanese
contradiction in Japanese
矛盾
(countable, uncountable) The act of contradicting.
恒偽式
(logic, countable) A proposition that is false for all values of its propositional variables or Boolean atoms.
矛盾式
(logic, countable) A proposition that is false for all values of its propositional variables or Boolean atoms.