意義素(意味の分類) | 対応する 類語・関連語 |
---|---|
命題pと命題qについて、『pであるならばqである』場合の論理的な関係 a logical relation between propositions p and q of the form `if p then q' |
logical implication, conditional relation, implication 詳細 |
logical implication, conditional relation, implication
含意、 インプリケーション
a logical relation between propositions p and q of the form `if p then q'
命題pと命題qについて、『pであるならばqである』場合の論理的な関係
上位語