1.Previous
3.Next

to form more specific subtypes. For example, a universal proposition can be either affirmative or negative. Affirmative propositions state that something is the case, such as "the tree is green". They contrast with negative propositions, which deny that something is the case, like "the tree is not green". In classical logic, a proposition with a double negation, such as "the tree is not not green", is equivalent to an affirmative

1.Previous
3.Next