Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
6 Cards in this Set
- Front
- Back
Law of Contrapositive
|
if the conditional is true, then the contrapositive is true
PROOF- (p ⟶ q) ⟷ (∼q ⟶ ∼p) |
|
DeMorgan's Law
|
two laws, one stating that the denial of the conjunction of a class of propositions is equivalent to the disjunction of the denials of a proposition, and the other stating that the denial of the disjunction of a class of propositions is equivalent to the conjunction of the denials of the propositions.
PROOF- ∼(p ⋀ q) ⟷ (∼p ⋁ ∼q) |
|
Law of Conjunctive Simplification
|
p ⋀ q
∴q ∴p PROOF- No proof |
|
Law of Disjunctive Inference
|
p ⋁ q
∼p ∴q PROOF- [( p ⋁ q) ⋀ ∼p] ⟶ q |
|
Law of Detachment
|
- hypothesis ⟶ conclusion
p ⟶ q p ∴q PROOF- [(p ⟶ q) ⋀ p] ⟶ q |
|
Tautology
|
An empty or vacuous statement composed of simpler statements in a fashion that makes it logically true whether the simpler statements are factually true or false; when all outcomes on a Truth table are true
|