Philosophy:

Under what conditions are the following expressions true?
(P → Q)
(P => Q)
(P []→ Q)
Now write (P => Q) in terms of [] and →, and write []P in terms of []→.