study of reasoning and argumentation. It involves understanding how to construct valid arguments and determine truth.
Logic
a declarative sentence that has a truth value
proposition
Simple statements that can be true or false
proposition
A type of list that is used in Truth tables to cover all possible outcomes ?
lexicographic order
a formula always true, regardless of truth values assigned to its components—a rule of logic.
tautology
is always false, regardless of component truth values.
contradiction