Translate the following inference to logic notation: If it snows, then Patricia is climbing a mountain. For all x, x_1 will climb a mountain if and only if x_1 will read a book. It is snowing or Patricia is reading a book. Therefore Patricia is climbing a mountain.
p -> P(a). forall x: P(x) <-> Q(x). p or Q(a). Therefore P(a).