Bifalgorithm post · Brisk · Chapter 1
Why is C ⇒ B true?
Why is C ⇒ B true? (Brisk · Chapter 1) — "C ⇒ B ? True . (The premise is false, so all bets are off and the sentence is true.)"
Ideas in this flowchart
- Evaluation of the implication C ⇒ B
- C ⇒ B is a material conditional statement.
- The premise C is false.
- The truth value of B is unrestricted.
- Therefore, the implication is true.
