# Contrary (logic)

Note that the A and E propositions are contraries only if the A proposition, 'every man is honest', is understood to mean 'there is at least one man and every man is honest', unlike the standard interpretation of the formula of modern logic with the universal quantifier, ${\displaystyle (\forall x)(man(x)\rightarrow honest(x))}$. Modern presentations of the square of opposition and variants usually make this explicit.[1]