First order logic! need help

Printable View