1.Previous
3.Next

"true" unless its first argument is true and its second argument is false. This semantics can be shown graphically in the following truth table:One can also consider the equivalence .

The conditionals where the antecedent is false, are called "vacuous truths".Examples are ...
* ... with false: "If Marie Curie is a sister of Galileo Galilei, then Galileo Galilei is a brother

1.Previous
3.Next