Matemáticas/Generalidades/Símbolos Matemáticos/Lógica proposicional

Lógica proposicional

Símbolo	Nombre	se lee como	Categoría
$\Rightarrow$ $\rightarrow$	implicación material o en un solo sentido	implica; si .. entonces; por lo tanto	lógica proposicional
	A ⇒ B significa: si A es verdadero entonces B es verdadero también; si B es verdadero entonces nada se dice sobre A. → puede significar lo mismo que ⇒, o puede ser usado para denotar funciones, como se indica más abajo.
	x = 2  ⇒  x² = 4 es verdadera, pero 4 = x²   ⇒  x = 2 es, en general, falso (ya que x podría ser −2)
$\Leftrightarrow$ $\leftrightarrow$	doble implicación	si y sólo si; sii, syss	lógica proposicional
	A ⇔ B significa: A es verdadera si B es verdadera y A es falsa si B es falsa.
	x + 5 = y + 2  ⇔  x + 3 = y
$\wedge$	conjunción lógica o intersección en una reja	y	lógica proposicional, teoría de rejas
	la proposición A ∧ B es verdadera si A y B son ambas verdaderas; de otra manera es falsa.
	n < 4  ∧  n > 2  ⇔  n = 3 cuando n es un número natural
$\vee$	disyunción lógica o unión en una reja	o, ó	lógica proposicional, teoría de rejas
	la proposición A ∨ B es verdadera si A o B (o ambas) son verdaderas; si ambas son falsas, la proposición es falsa.
	n ≥ 4  ∨  n ≤ 2  ⇔ n ≠ 3 cuando n es un número natural
$\neg$ $/$	negación lógica	no	lógica proposicional
	la proposición ¬A es verdadera si y sólo si A es falsa. una barra puesta sobre otro operador es equivalente a un ¬ puesto a la izquierda.
	¬(A ∧ B) ⇔ (¬A) ∨ (¬B); x ∉ S  ⇔  ¬(x ∈ S)