conectivo

Conectivo is a term used in Spanish and Portuguese to refer to logical connectives. In formal logic, a conectivo is an operator that combines one or more propositions to form a compound proposition. Classical propositional logic uses several standard conectivos, each with a truth-functional interpretation.

Conjunction (and) P ∧ Q is true when both P and Q are true. Disjunction (or) P ∨ Q is true if at least one of P or Q is true (inclusive). Negation (not) ¬P inverts the truth value of P. Implication (if... then) P → Q is false only when P is true and Q is false. Biconditional (if and only if) P ↔ Q is true when P and Q have the same truth value.

Exclusive or (xor) P ⊕ Q is true when exactly one of P or Q is true.

In semantics, conectivos are typically defined by truth tables, making them truth-functional. They are foundational in propositional logic and appear in mathematics, computer science, and linguistics, where they help model the structure of statements and the logic of natural language.