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

Lógica proposicional

editar
Símbolo Nombre se lee como Categoría

 
 

implicación material o en un solo sentido implica; si .. entonces; por lo tanto lógica proposicional
AB 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)

 
 

doble implicación si y sólo si; sii, syss[1] 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

 

conjunción lógica o intersección en una reja y lógica proposicional, teoría de rejas
la proposición AB 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

 

disyunción lógica o unión en una reja o, ó lógica proposicional, teoría de rejas
la proposición AB 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

 
 

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)
  1. sii y syss son usados por los matemáticos como jerga ocasional, pero no están reconocidos como términos estándar, por lo que tampoco suelen aparecer en textos formales.