Adems de las variables, la lgica proposicional tiene otros elementos en su alfabeto: las constantes lgicas y los smbolos auxiliares

que forman los enunciados compuestos.

Algunas de las marcas lxicas del lenguaje natural, se traducen con uno de las cinco constantes lgicas siguientes:

NEGACIN:no, ni, salvo, excepto

DISYUNCIN INCLUSIVA: o,o bien, tanto si... como si,
DISYUNCIN EXCLUSIVA:: o,o bien, tanto si... como si,

CONJUNCIN: y, e, o ni (=y no), pero, empero, sin embargo, no obstante, adems, aunque, as mismo, sino que, en cambio, mientras, aho
cuando, m bien, antes bien, el punto y seguido, la coma, el punto y la coma...

CONDICIONAL: si.... entonces; por tanto; en consecuencia; siempre que; es suficiente; mientras + subjuntivo; solo que +subjuntivo:

puesto que + subjuntivo; indicar,comportar, suponer, presuponer, denotar,...; para concluir: por consiguiente: finalmente: a manera de colofn
debito a esto; puesto que; dado que; por esta causa; ya que...

BICONDICIONAL: si y solo si; es necesario y suficiente; equivaler;ser el mismo que, es neceario que y solo es necesario que;
quien + subjuntivo y solo quien; es necesario y hay bastante con...
A veces tambin se usan smbolos auxiliares: parntesis y corchetes, para unir enunciados moleculares como veremos en los argumentos.
Veamos algunos ejemplos de traducciones del lenguaje natural a constantes lgicas:

~DISYUNCIN: Se representan dos enunciados separadas por la expresin o basta

con que una sea verdadera para que se cumpla la proposicin (pvq). Su smbolo
es: V

EJEMPLOS:
Est lloviendo o es de noche.
Est feliz o est enojado.
Est caminando o est lloviendo.
Hay derivadas o hay integrales.

~CONJUNCIN: Es cuando dos proposiciones simples se combinan mediante la

expresin y , la proposicin compuesta resultante se le llama conjuncin (pq).
Su smbolo es: , &,
EJEMPLOS:
La puerta est vieja y oxidada.
Hace fro y est nevando.

Est lloviendo y es de noche.

Tiene gasolina y tiene corriente.

~NEGACIN: Si p es una proposicin fundamental, de sta se puede formar otra

proposicin, que se le llama Negacin de p, escribiendo: Es falso que antes de
p, , cuando es posible, se inserta en p la palabra No, (p) Su smbolo es: , ~
EJEMPLOS:
No est lloviendo.
La seora no ceno.
Es falso que 52=12.
Es falso que Alemania se encuentra en Europa.

~CONDICIONAL: Es aquella proposicin compleja cuya conectiva dominante es el

condicional, es decir, aquella expresin apofnatica que tiene la forma p q, y
que se lee si p, entonces q o bien p es condicin suficiente de q, donde A es
el antecedente y B el consecuente. Su smbolo es:
EJEMPLOS:
Si est dormido entonces est soando.
Si quiere comer entonces tiene hambre.
Si Londres est en Inglaterra entonces Pars est en Francia.
Si hay gasolina en mi tanque entonces mi automvil funciona.

~BICONDICIONAL: Tambin llamado equivalencia o implicacin doble, es una

proposicin de la forma P si y slo si Q, en la cual tanto P como Q son ambas
ciertas o ambas falsas. Tambin se dice que Q es una condicin necesaria y
suficiente para P,(pq). Su smbolo es: ,
EJEMPLOS:
Esta completo si y solo si tienes todas las actividades.
Saldrs si y solo si acabaste tu tarea.
Est lloviendo si y solo si est nublado.
3+2=5 si y solo si 4+4=8

"Cuadro de conectivos lgicos"

Equivalenciaslgicasimportantes:Primeralista

Las siguientes equivalencias lgicas se aplican a cualquier proposiciones; las p's, q's y r' s pueden ser proposiciones
atmicas o proposiciones compuestas.
~(~p) p
p q q p
p q q p
(p q) r p (q r)
(p q) r p (q r)
~(p q) (~p) (~q)
~(p q) (~p) (~q)
p (q r) (p q) (p r)
p (q r) (p q) (p r)
p p p
p p p

LeydeDobleNegacin
LeyConmutativadelaConjuncin
LeyConmutativadelaDisyuncin
LeyAsociativadelaConjuncin
LeyAsociativadelaDisyuncin
LeyDeMorgan
LeydeDistribucin
LeydeAbsorpcin