Translate the following inference to logic notation: If Patricia were a carpenter, then Thomas is making tea. Patricia is a carpenter if and only if Thomas is making tea. Therefore if Patricia were a carpenter, then Thomas is making tea.
p -> q. p <-> q. Therefore p -> q.