PROPOSICIONES SIMPLES: tambin denominadas proposiciones atmicas.

Son aquellas
proposiciones que no se pueden dividir.
Ejemplos:
El cielo es azul.
-Hoy es viernes
-El verano es caluroso
-Mi nombre es Marcos
-La msica clsica es bella.
-Carla es mi amiga
PROPOSICIONES COMPUESTAS: tambin denominadas moleculares. Son aquellas que estn
formadas por dos o ms proposiciones simples unidas por los operadores lgicos. una proposicin
compuesta es una o ms unidas por conectivos lgicos, por ejemplo ^ (y/conjuncin), v
(o/disyuncin), ~ (no/negacin), --> (si...entonces/condicional), <--> (si y slo si/bicondicional).
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.
Formas proposicionales
Se denominan formas proposicionales a las estructuras constituidas por variables proposicionales
y los operadores lgicos que las relacionan.

Para armar una forma proposicional es muy importante reconocer sus conectores lgicos. Un
ejemplo:
a: Voy al cine.
b: Compro palode lamitas.
Si voy al cine entonces compro palomitas y si compro palomitas, voy al cine
(a => b) ^ (b => a)
Simbolizacin de enunciado

Valor veritario de una proposicin mediante la regla

del rbol y el mtodo de la tabla de la verdad mano
no la consigo
Tautolgicas.- Es aquella forma proposicional que siempre da como resultado verdadero
(1).
p. Voy al cine

q => p

p =>(q =>p)

q. Compr palomitas

p => (q =>p)

Si voy al cine entonces compro palomitas solo si

voy al cine.

Contradicciones.- Es aquella forma proposicional que siempre da como resultado falso (0).
a: Voy al cine.
b: Compro palomitas.
(a ^ b) ^ a
No voy al cine y compro palomitas y voy al cine.

Contingencia.- Es aquella forma proposicional que siempre es verdadera y falsa a la vez (0

1).
a: Voy al cine.

a => b

b => a

(a => b) ^ (b => a)

b: Compro palomitas.
(a => b) ^ (b => a)
Si voy al cine entonces compro
palomitas y si compro palomitas,
voy al cine

Leyes del algebra de proposiciones

Las leyes de la algebra de proposiciones son equivalencias lgicas que se pueden
demostrar con el desarrollo de las tablas de verdad del bicondicional. Las leyes del algebra
de proposiciones son las siguientes:
1.

EQUIVALENCIA

PP
2.

INDEPOTENCIA

PP P
P P P
3.

ASOCIATIVA

PQ R (PQ) R P(QR)
PQ R (PQ) R P(QR)

4.

CONMUTATIVA

PQ QP
PQ QP
5.

DISTRIBUTIVAS

P(QR) (PQ)(PR)
P(QR)(PQ)(PR)
6.

IDENTIDAD

PF F
PV P
PF P
PVV
7.

COMPLEMENTO

PPF
PPV
(P)P
FV
VF
8.

DE MORGAN
(PQ) PQ
(PQ)PQ

9.

ABSORCION

P(PQ)P
P(PQ)P

Aplicacin