The basic connectives used in propositional logic are conjunction (AND, ∧), disjunction (OR, ∨), negation (NOT, ¬), implication (IF-THEN, →), and bi-conditional (IF AND ONLY IF, ).