Concept
Is C ⇒ ¬ R true when the premise is false?
Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk / Chapter 1
"C ⇒ ¬ R ? True . (The premise is false, so all bets are off and the sentence is true.)"
Related Ideas
- How do implication and equivalence work in propositional logic?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- What must be true for B ⇒ C to be true?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- Why does ∃ x Professor(x) ⇒ Human(x) produce a misleadingly true statement?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- How do truth tables represent logical connectives?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- How do logical connectives combine propositions?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- What propositions are represented by B, C, and R?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- Why are ∀ x Human(x) ∧ Professor(x) and ∀ x Human(x) ⇒ Professor(x) different?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- Why is the assertion X ∧ ¬ Y ∧ ¬ ( Z ⇒ X ) impossible?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1