最終更新日:2025/11/29
Relevance logic is a kind of non-classical logic that requires the antecedent and consequent of an implication to be relevantly related, aiming to capture aspects of implication that are ignored by the material implication operator in classical truth-functional logic.
正解を見る
Relevance logic is a kind of non-classical logic that requires the antecedent and consequent of an implication to be relevantly related, aiming to capture aspects of implication that are ignored by the material implication operator in classical truth-functional logic.
音声機能が動作しない場合はこちらをご確認ください
編集履歴(0)
元となった例文
関連論理は、含意の前件と後件が互いに関連していることを要求する非古典論理の一種であり、古典的な真理関数論理における物質含意演算子が無視している含意の側面を捉えようとする。