Logical connectives

Starting from one or more propositions we can build new ones using the logical connectives. The five fundamental connectives, with their symbol and how to read them, are the following.

Symbol	Name	Read as
$\lnot p$	negation (NOT)	“not $p$“
$p\land q$	conjunction (AND, “et”)	”$p$ and $q$“
$p\lor q$	disjunction (OR, “vel”)	”$p$ or $q$ (or both)“
$p\Rightarrow q$	implication	”if $p$ then $q$“
$p\Leftrightarrow q$	double implication	”$p$ if and only if $q$”

Each connective transforms the truth values of the starting propositions into a new truth value: the systematic way to describe this is the truth table.

Links

Topics: Set theory
Concepts: Conjunction · Logical connectives · Disjunction · Double implication · Implication · Negation