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
redoubt: (military) a temporary or supplementary fortification; typically square or polygonal without flanking defenses