0361132人目の素数さん垢版 | 大砲2017/12/30(土) 21:22:52.55ID:ZK0cQawX ところでさ P→Qが真であることの定義はU⊃Q⊃P だったんだよね? P∧QやP∨Qや¬Pが真であることの定義は?