ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
material implication
名詞
(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".
日本語の意味
命題論理における含意の一形式で、どんな命題でも(形式上)真である命題の十分条件とみなせる特徴がある。 / 古典命題論理において、真の命題につながる含意を表し、その結果として論理的パラドックス(例:Q ⊢ P → Q)を引き起こす場合がある。
英語の意味
(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".
関連語