Translate the following inference to logic notation: If Patricia were fast, then Michael is running. Patricia is fast or Michael is not running. If Michael goes running, then Patricia is fast. Therefore Patricia is fast if and only if Michael is running.
p -> q. p or ~q. q -> p. Therefore p <-> q.