真偽のはっきりする文を命題と言う(正確には違うらしいけど→命題 - Wikipedia真となる命題「人間であるならば、動物である。」これを式で表すと 人間→動物 （一般的に「pならばqである」は「p→q」と表す）もとの命題が真だとしてもその逆も真とは言えない場…