Simbolos LaTeX para proposiciones

Simbolo Nombre Valor Proposicional
∧ Conjuncion (Y)
∨ Disyuncion (O)
¬ Negacion (NO)
⟹ Implicacion (SI... ENTONCES)
⟺ Doble Implicacion (SI Y SOLO SI)
⊕ OR Exclusivo (XOR)
V Verdadero (V)
F Falso (F)
⊥ Indefinido
∀ Para todos
∃ Existe
↑ Nand (NO Y)
↓ Nor (NO O)
≡ Equivalencia (IGUAL A)
∧L Y-luego (CAND)
∧L O-luego (COR)