Logical Operators

A logical operator joins two propositions to form a new, complex, proposition. The truth value of the new proposition is determined by the truth values of the two propositions being joined and by the operator that joins them. The following are the logical operators: Conjunction (and) Disjunction (or) Conditional (if-then) Negation (not) Biconditional (if-and-only-if)