詩の日めくり 二〇一七年十三月一日─三十一日/田中宏輔
わされるのであるが
真でない命題からは矛盾が噴出するので
論理展開には適さないため
ここでは除外する
さて
ｐならばｑという命題が真なるとき
ｐはｑであるための必要条件であり
ｐという条件を満たす集合をＰ
ｑという条件を満たす集合をＱとすると
ＰはＱに包含される
このとき
もとの命題の逆
ｑならばｐも真の命題であるなら
Ｐ＝Ｑで
ＰとＱは同値なのだが
ｑならばｐが真でないならば
ｐという条件から出発してｑについて言述した場合
ｑの条件は満たすがｐの条件を満たさない事柄について
述べてしまうことになる
例をあげよう
ソクラテスは人間である
この言明命題を連続
[次のページ]
戻る 編 削 Point(14)