Bifalgorithm post · Brisk · Chapter 1
Is C ⇔ ¬ B true?
Is C ⇔ ¬ B true? (Brisk · Chapter 1) — "C ⇔ ¬ B ? True. (The truth values of the left and right sides are the same.)"
Ideas in this flowchart
- Truth of the biconditional C ⇔ ¬ B
- The statement C ⇔ ¬ B is true.
- The left and right sides have the same truth value.
