Skip to main content
search

The reasoning process constituted by a series of statements, one of which (the conclusion) is inferred from the other statement(s). In formal logic, the word has two senses: 1) A series of statements, one of which (the conclusion) is claimed to follow from another or others (the premise or premises). 2) The number of individual constants or variables a predicate takes in a well-formed formula (wff).