#truth-table

5 pages tagged with "truth-table"

reasoning

biconditional (if and only if) — logical equivalence operator that is true when both statements have the same truth value
conjunction (and) — logical and operator that is true only when all operands are true
disjunction (or) — logical or operator that is true when at least one operand is true
implication (if-then) — logical conditional operator expressing that if the antecedent is true, then the consequent must be true
negation (not) — logical not operator that inverts the truth value of a statement