Lgica

4. PRUEBAS FORMALES EN LA LGICA PROPOSICIONAL

4.1.

LGICA PROPOSICIONAL

Las proposiciones son expresiones del lenguaje que se caracterizan por ser
verdaderas o falsas.
4.2.

CLASES DE PROPOSICIONES
A. SIMPLES O ATMICAS
Aquellas que poseen un solo sujeto y predicado.
Ejemplos: El hombre es mortal
Jpiter es un planeta
B. COMPUESTAS O MOLECULARES
Aquellas que estn constituidas por dos o ms proposiciones simples
unidas o enlazadas por conectores lgicos, entre ellas tenemos las
siguientes:
i.

Conjuntiva.- Une proposiciones con el conectivo y.

Ejemplos: Jpiter es un planeta y el sol una estrella.
Scrates es filsofo y Protgoras es sofista.

ii.

Disyuntiva.- Une proposiciones mediante el conectivo o, y se

subdivide en:
Disyuntiva dbil o inclusiva, cuando ambas proposiciones
pueden realizarse.
Ejemplo: Daniela estudia o trabaja.
Disyuntiva fuerte o exclusiva, cuando puede cumplirse solo
una de las alternativas.
Ejemplo:
La luna es un satlite o un planeta.

iii.

Condicional.- Expresan una relacin de causa efecto entre las

proposiciones mediante Si entonces si
Ejemplos: Si la luna no es un planeta entonces es un satlite.
Aprob el examen dado que estudie.

iv.

Bicondicional.Expresan doble condicin, utilizando la

expresin si y solo si.
Ejemplos: El sol es una estrella si y solo si posee luz propia.
Viajare al extranjero si y solo si obtengo mi
pasaporte.

Joey Kevin Choque Condori

Lgica

v.

Negacin.- Es un conector mondico, que lleva el trmino no

antes del verbo.
Ejemplos: El sol no es una estrella.
Ni Scrates es filsofo, ni Protgoras es sofista.

4.3.
FORMALIZACIN DE PROPOSICIONES
Es representar simblicamente una proposicin utilizando las variables y los
operadores proposicionales.
VARIABLES: Son smbolos que representan a las proposiciones, para ello
utilizamos las letras minsculas del alfabeto. p, q, r, s
OPERADORES PROPOSICIONALES: Son smbolos que representan a los
conector es lgicos. ~, , , ,
SIGNOS DE AGRUPACIN: Son smbolos auxiliares que nos permiten
diferenciar la jerarqua existente entre las proposiciones. ( ), { }, [ ], ,

PROPOSICIN COMPUESTA
Conjuntiva
y
Disyuntiva Dbil
o
Disyuntiva Fuerte
O o
Condicional
Si entonces
Bicondicional
Si y solo si
Negacin
No

SMBOLO

EJERCICIOS:
-

No vi la pelcula pero si le la obra.

Ni vi la pelcula ni le la obra.

No es cierto que viese la pelcula y leyese la obra.

Si solea entonces har calor pero si llueve entonces har frio.

Los hombres son libres si y solo pueden elegir ellos mismos.

Si, obtengo una beca y mi pasaporte, entonces viajar al extranjero.

Si el cometa Halley se acerca entonces hay huaycos e inundaciones.

Si las estrellas emiten luz, entonces los planetas la reflejan y giran alrededor
de ellas.

No es cierto que si llueve y hace sol las brujas se peinan

Las brujas se peinan nicamente si llueve y hace sol

Joey Kevin Choque Condori

Lgica

"Si escoges tus deseos y tus miedos, no existir para ti ningn tirano".

"Quin tiene un porqu para vivir puede soportar cualquiera como".

"El mundo entero es un escenario y todos los humanos somos unos

actores".

"Ojos que no ven, corazn que no siente

Las estrellas emiten luz o los planetas la reflejan y, por otra parte, los
planetas giran alrededor de ellas.

Los planetas reflejan luz si y slo si las estrellas la emiten y los planetas
giran alrededor de ellas.

Si no es cierto que las estrellas emiten luz y que los planetas la reflejan,
entonces stos no giran alrededor de ellas

Si perseveras en tus decisiones y no cedes al desaliento frente a los

obstculos, entonces comprobars cmo el xito te sonre.

Un conjunto A es un subconjunto de un conjunto B si y slo si no hay

ningn miembro de A que no sea miembro de B, pero hay un miembro de
B que no es miembro de A.

Si Pablo no atiende en clase o no estudia en casa, fracasar en los exmenes

y no ser aplaudido

Si no es el caso que Pablo atiende en clase y estudia en casa, entonces

fracasar en los exmenes o no ser aplaudido

Pablo atiende en clase y estudia en casa o, por otra parte, fracasa en los
exmenes y no es aplaudido

nicamente si Pablo atiende en clase y estudia en casa, no se dar que

fracase en los exmenes y no sea aplaudido

Joey Kevin Choque Condori

Lgica

TABLAS DE VERDAD: Una tabla de verdad es un esquema en el cual podemos

determinar la verdad o falsedad de las proposiciones.

Esquematizacin
margen

cuerpo

C = 2n , dnde: C = nmero de combinaciones.

n = nmero de variables.
DEFINICIN DE VERDAD DE LOS OPERADORES
PROPOSICIN COMPUESTA
Conjuntiva
y
Disyuntiva Dbil
o
Disyuntiva Fuerte
O o
Condicional
Si entonces
Bicondicional
Si y solo si
Negacin
No

SMBOLO

TABLAS DE VERDAD
VV = V
FF = F
VV = F / FF = F
VF = F
VV = V / FF = F
V=F/F=V

EJEMPLO:
p

V
V
F
F

V
F
V
F

V
V
F
F

V
F
V
F

V
V
F
F

V
F
V
F

V
V
F
F

V
F
F
F

V
F
V
F

p q

p q

V
V
F
F

V
F
V
F

V
V
F
F

V
V
F
F

V
F
V
F

V
V
F
F

p q

V
V
F
F

V
F
V
F

V
V
F
F

V
V
F
F

V
F
V
F

V
F
F
F

V
F
F
F

V
F
F
F

V
F
V
F

V
F
V
F

V
F
F
F

V
F
V
F

~p q
V
V
F
F

V
F
F
F

V
F
V
F

Joey Kevin Choque Condori

Lgica

TIPOS DE ESQUEMAS LGICOS:

- Tautolgicos ( ): Son frmulas lgicamente verdaderas.
- Consistentes (
): Llamadas tambin contingentes, son aquellas
frmulas no validas que poseen al menos un valor de verdadero o falso. ()
- Contradictorias ( ): Son frmulas no validas, poseen todos sus valores
falsos.
EJERCICIOS:
-

p q r
p q ~p ~r
~(p q) p
p q r p
p ~q ~p q
~(~p q ) (q ~p)
p q q ~p

4.4.

CIRCUITOS ELCTRICOS Y LGICOS

En 1936, matemtico Shannon, descubri un ISOMORFISMO (El

Isomorfismo de Shannon) es decir una analoga entre los circuitos elctricos
y la lgica.
En un proceso lgico, en el cual tratamos con proposiciones relacionadas
con un operador, podemos representar dicho proceso a travs de circuitos
en serie o en paralelo.
INTERRUPTORES: Son rganos lgicos que dejan o no dejan pasar la
corriente elctrica un interruptor o conmutador se va a representar as:
Abierto

Cerrado

Por lo tanto si el interruptor est cerrado, pasa la corriente elctrica lo que

equivale a V, pero cuando el interruptor est abierto y no pasa la corriente
elctrica equivale a F.
CIRCUITOS EN SERIE: Un circuito en serio consta de dos o ms
interruptores, donde un interruptor esta despus de otro y as
sucesivamente.
Para p q
CIRCUITOS EN PARALELO: los circuitos en paralelo constan de dos o ms
interruptores, donde un interruptor est en la otra lnea y as
sucesivamente.
Para p q

Joey Kevin Choque Condori

Lgica

EJERCICIOS
Expresar en circuitos las siguientes formulas lgicas:
-

p q ~r

p q r ~s ~t ~u

~p ~q ~r

Joey Kevin Choque Condori

Lgica

Expresar en forma de proposicin los siguientes circuitos:

Joey Kevin Choque Condori

Lgica

4.5.

SIMPLIFICACIONES

Para la simplificacin o transformacin de una formula en otra equivalente y

poder expresarla mediante circuitos, utilizaremos algunas leyes lgicas.
LEY
a. Ley de la doble negacin:
b. Ley de la condicional o
implicacin:
c. Ley de Morgan:
d. Ley de la equivalencia:

~~p

EQUIVALENCIA
p

pq

~p q

~(p q)
~(p q)
pq

~p ~q
~p ~q
p q q p

EJERCICIOS: (simplificar y expresar mediante circuito)

-

~(p q)

p q r s

p q r

Joey Kevin Choque Condori