Translate the following inference to logic notation: Joseph is not working. If Linda were a police officer, then Susan is a carpenter. Susan is not a carpenter. For all x, z_4 will go running if and only if z_4 will work. Therefore Joseph is not running and Linda is not a police officer.
~P(a). p -> q. ~q. forall x: Q(x) <-> P(x). Therefore ~Q(a) and ~p.