How would I represent this proposition symbollically?

Printable View