logical connectives

And, or, not

Logical connectives are words or symbols that join propositions in formal logic: and, or, not, if-then, if and only if.

Each connective has precise truth conditions—P and Q is true only when both parts are true; P or Q is true when at least one is.

In everyday language, these words behave less rigidly, but logical connectives demand exactness: If it rains, the ground gets wet becomes a formula where the conclusion must follow whenever the condition holds.

natural language

and

Together with also

orChoice-linking conjunction
butContrast introducer
ifConditional clause marker

unless · although · however · therefore · because · either · neither · nor · implies · provided that

formal

conjunction

Word joining clauses together

disjunctionState of being apart
negationDenial or cancellation
implicationIndirect suggestion or consequence

biconditional · nor · nand · antecedent · consequent · tautology · contradiction · equivalence · quantifier · truth table

programming

AND

Logical both-true gate

ORInclusive logic gate
XORTrue iff inputs differ
NANDNegated-and logic operation

boolean · bitwise · operator · conditional · ternary · short-circuit · truth value · branching · evaluation · precedence

reasoning

premise

Foundation for logical argument

conclusionEnd or deduction
inferenceConclusion reached through reasoning
validityQuality of being sound

soundness · deduction · induction · contrapositive · if-then · sufficiency · necessity · counterfactual · entailment

logical connectives

and

conjunction

AND

premise

logical connectives

Opposites

Categories

Family