Pf there is no wff of length 2

Printable View