最終更新日：2025/11/23
(logic) An implication as defined in classical propositional logic, leading to the truth of paradoxes of material implication such as Q⊢P→Q, to be read as any proposition whatsoever is a sufficient condition for a true proposition
.
音声機能が動作しない場合はこちらをご確認ください
正解を見る
material implication
編集履歴（0）
元となった辞書の項目
material implication
名詞
日本語の意味
命題論理における含意の一形式で、どんな命題でも（形式上）真である命題の十分条件とみなせる特徴がある。 / 古典命題論理において、真の命題につながる含意を表し、その結果として論理的パラドックス（例：Q ⊢ P → Q）を引き起こす場合がある。
（ plural ）
