Translate the following inference to logic notation: If Richard climbs a mountain, then it is sunny. For all x, if z listens to a song, then z is climbing a mountain. If Thomas were an electrician, then it is sunny. Richard is listening to a song or Thomas is an electrician. Therefore it is sunny.
P(a) -> p. forall x: Q(x) -> P(x). q -> p. Q(a) or q. Therefore p.