P→QとP∧QとP∨Qと¬Pの定義を早う