logical implication マイ単語帳に追加

含意 インプリケーション

a logical relation between propositions p and q of the form if p then q'; if p is true then q cannot be false.

命題pと命題qについて、『pであるならばqである』場合の論理的な関係。pが真ならばqは偽でありえない。