P and Q, P or Q, P => Q, P <=> Q