A Triangle of Opposites for Types of Propositions in Aristotelian Logic