contradictory: two propositions are contradictories if both cannot be true (or both cannot be false) at the same time
logical relation: a relation between propositions
firmiana: small genus of Asian trees or shrubs