Definitions
A statement
What is a proposition?
The proposition following if in a conditional
What is the antecedent?
the branch of formal, deductive logic in which the proposition is the basic unit
What is propositional logic?
A logical operator that joins two propositions and is true if and only if both propositions are true
What is a conjunction?
The key word that marks a conjunction
What is and?
A proposition with more than one component part
What is a compound proposition?
An upper case letter that represents a single, given proposition
What is a propositional constant?
What is a simple proposition?
The logical operator asserts that one component implies the other
What is a conditional?
The proposition following then in a conditional
What is the conseqent?
The symbol for a disjunction
What is a vee?
words that combine simple propositions
What are logical operators?
What is a defining truth table?
The symbol for a conjunction
What is a dot?
The key word that marks a disjunction
What is or?
When a proposition's truth value depends upon that of its component parts
What is truth-functional?
The symbol of a biconditional
What is ≡?
A lowercase letter that represents any proposition
What is a propositional variable?
A logical operator that joins two propositions and is true if and only if one or both of the propositions is true
What is a disjunction?
This logical operator represents if and only if propositions
What is a biconditional?
A listing of the possible truth values for a set of one or more propositions
What is a truth table?
A logical operator that denies or contradicts a proposition
What is a negation?
The symbol for a negation
What is a tilde?
Generally, in a series of three or more connected propositions, these should be used to avoid ambiguity
What are parentheses?
This rule states that if p then q is equivalent to If not q then not p
What is the rule of transposition?