LGICA

PROPOSICIONAL

El padre de Renata tiene 5 hijas

1.- Chacha
2.- Cheche
3.- Chichi
4.- ???
5.- Chuchu
Cul es el nombre de la cuarta?
Piensa rpido

Ests participando en una carrera

Adelantas al segundo
En qu posicin terminas?
Si contestaste que en primero .
Ests absolutamente equivocado(a)
Has adelantado al segundo, y has tomado su sitio,
por lo tanto, llegas en segunda posicin.
No tomes tanto tiempo en contestar!

LGICA y CONJUNTOS
La lgica es un mtodo de razonamiento
que no acepta conclusiones errneas.
Esto se puede lograr definiendo en
forma estricta cada uno de los
conceptos. Todo debe definirse de tal
forma que no de lugar a dudas o
imprecisiones en la veracidad de su
significado.

LGICA PROPOSICIONAL

La lgica proposicional o tambin

llamada lgica matemtica estudia las
proposiciones.
Una proposicin es un enunciado
declarativo que tienen la propiedad de
ser verdadero o falso; pero no ambas al
mismo tiempo

Qu diferencia observas entre los

enunciados de ambas columnas?
-Qu calor!
-Qu hora es?
-Te quiero mucho
-Cuelga el telfono
-Te esperar

El Sol es fuente de
energa
Jaime Rolds fue
Presidente de Ecuador.
Abdn Caldern es un
hroe ecuatoriano
3 + 4 = 7
San Cristbal es una
provincia del Ecuador

Valor de verdad de una proposicin

El valor de verdad de una
proposicin, es la cualidad de
veracidad
que
describe
adecuadamente la proposicin. Esta
puede ser, verdadera (V 1) o
falsa (F 0)

Tabla de verdad
Una tabla de verdad, es la representacin
de los posibles valores de verdad que
podra tomar una proposicin.
Las tablas de verdad sirven para mostrar
los valores, las relaciones y los resultados
posibles al realizar operaciones lgicas.

Proposicin Lgica

Enunciado que puede ser

verdadero o falso, pero no ambos.
El Sol es fuente de energa
Jaime Rolds fue Presidente de Ecuador.
Abdn Caldern es un hroe ecuatoriano
3 - 4 = 7
Isabela es una provincia del Ecuador

V
V
V
F
F

Los conectivos lgicos se utilizan

para combinar proposiciones y
obtener nuevas proposiciones.
Simples o Atmicas
Proposiciones

Guayaquil es capital de la
Provincia del Guayas

Compuestas
Guayaquil es capital de la
Provincia del Guayas y
Babahoyo capital de la
Provincia de Los Ros

SIMBOLOS A USAR EN LOGICA

Letras

p, q, r, s

a veces de usa: a, b

Conectores

, , ,

Negacin

Signos de
agrupacin

( ), [ ], { }

Letras
Guayaquil es capital de la Provincia del
Guayas y Babahoyo capital de la Provincia
de Los Ros

Guayaquil es capital de la Provincia

del Guayas
p
Babahoyo capital de la Provincia de
Los Ros
q

Construccin de tablas de verdad

Cuntas filas tiene la tabla?
1 proposicin
2 proposiciones
3 proposiciones
.........
n proposiciones

2 valores (V o F)
4 valores de verdad
8 valores de verdad

2n valores de verdad.

PROPOSICIONES Y VALOR DE VERDAD

p

p q

p q r

V V

V V V

V F

V V F

V F

V F

21

22

V V

V F

23

Las tablas de verdad son

representaciones grficas,
en forma de arreglos, que
sirven para analizar los
posibles valores de verdad
que puede tener una
proposicin
simple
o
compuesta.

En general para n
proposiciones, se
pueden presentar 2n
posibilidades