Is a branch of formal, deductive logic in which the basic unit of thought is the proposition.
is a statement.
a proposition is truth-functional when its truth value depends upon the truth values of its component parts.
If a proposition has only one, It is a simple proposition. Otherwise, it is compound.
Are words which combine or modify simple propositions to make compound propositions.
is an uppercase letter that represent a single, given Proposition.
Is is a lowercase letter that represents any proposition.
Negation ~ not
Is the logical operator that denies or contradicts a proposition.
a listing of the possible truth values for a set of one or more propositions.
Defining truth tables
Displays the truth values prodded by a logical operation modifying a minimum number of variables.