Translate the following inference to logic notation: For all x, if x were rich, then x is an electrician. Patricia is an electrician if and only if Patricia is rich. Therefore Patricia is rich if and only if Patricia is an electrician.
forall x: P(x) -> Q(x). Q(a) <-> P(a). Therefore P(a) <-> Q(a).