#truth-table

5pages 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