ところでさ
P→Qが真であることの定義はU⊃Q⊃P
だったんだよね?
P∧QやP∨Qや¬Pが真であることの定義は?