Discrete Math (Logic) Flashcards
P ∧ Q means P and Q.
An operation that combines two or more statements into a compound statement that is true if and only if all of the component statements are true.
Conjunction
P ∨ Q means P or Q.
An operation that combines two or more statements into a compound statement that is true if and only if at least one of the component statements is true.
Disjunction
Any sentence or expression that has a truth value - that is, that may in principle be considered true or false.
Statement
A statement that contains one or more other statements, combined or modified in some way.
Compound Statement
A statement that cannot be broken down further into smaller statements.
Simple Statement Proposition
A statement that precedes a conclusion.
Premise
A compound statement of the form “if P, then Q.”
Conditional Statement Implication
- P* → Q where P is the Premise and Q is the Conclusion.
- P* implies Q
- P* only if Q
Conditional Statement
Implication
A statement that is false only when P is true and Q is false.
Conditional Statement
Implication
A combination of two conditional statements.
P ↔ Q
If P, then Q and if Q then P.
P if and only if Q.
Biconditional Statement
A statement that is true if both P and Q are true or if both P and Q are false.
Biconditional Statement
¬P
¬P is true when P is false
Negation
Truth Table: Conjunction
Truth Table: Negation
Truth Table: Disjunction
Truth Table: Implication
Truth Table: Biconditional
