LOGICA

PROPOSICIONES
Es un enunciado del que podemos decir si es verdadero o falso

PROSICION SIMPLES O ATOMICAS

Son oraciones con un sentido lgico y que no tienen ningn conector.
Ejemplo
r: todos los tringulos tienen tres lados
q: 3 + 2 = 5
p: Bogot es la capital de Antioquia
Como pueden observar las anteriores tres proposiciones podemos decir si son
verdaderas y falsas, adems se distinguen por que tienen un nombre r, q o p, es
decir las proposiciones simples tienen nombre una letra del alfabeto en minscula.

NO SON PROPOSICIONES
Los enunciados en forma de interrogacin: los perros ladran?
Los enunciados en forma de admiracin: que bonita eres!
Los enunciados que no podemos decir si son verdaderos o falsos: las flores nacen
aqu
Como amanecio

VALOR DE VERDAD

Es decir si la proposicin es verdadera o falsa

Ejemplo
g: la capital del departamento del Tolima es Ibagu

Nombre

enunciado

verdadero

valor de verdad

p: 3 + 5 = 8

Nombre

falso

enunciado

valor de verdad

ACTIVIDAD
1. Escribe el valor de verdad de las siguientes proposiciones simples.

h: los cuadrilteros tienen cuatro lados ______________

g: los sapos no son anfibios ______________

q: 5 + 7 = 12 ______________

2. Escribe las partes de la siguiente proposicin

h:

los cuadrilteros no tienen cuatro lados

falso

NEGACION DE UNA PROPOSICION SIMPLE

Negar una proposicin es cambiar su valor de verdad.
Smbolo de la negacin

~ se lee no.
~ p se lee no p o negar p

Ejemplo
Sean las proposiciones:
r: todos los tringulos tienen tres lados
q: 3 + 2 = 5
p: Bogot es la capital de Antioquia
a. hallar el valor de verdad de cada una de las proposiciones
b. negar cada una y hallar su valor de verdad

solucin
determinamos el valor de verdad
r: todos los tringulos tienen tres lados
q: 3 + 2 = 5

valor de verdad verdadero

valor de verdad verdadero

p: Bogot es la capital de Antioquia

valor de verdad falso

negamos cada una y hallamos el valor de verdad

~r: todos los tringulos NO tienen tres lados

~q: 3 + 2 5

valor de verdad falso

valor de verdad falso

~p: Bogot no es la capital de Antioquia

valor de verdad verdadero

ACTIVIDAD
Negar las siguientes proposiciones y determinar el valor de verdad.
h: los cuadrilteros tienen cuatro lados ______________

g: los sapos no son anfibios ______________

q: 5 + 7 = 12 ______________

PROPOSICION COMPUESTA
Una proposicin compuesta es la unin de dos proposiciones simples, mediante
un conector lgico y, o otros.
Tenemos las proposiciones simples
r: la lombriz roja californiana vive en la tierra
p: la lombriz roja californiana es ovpara
Formamos la proposicin compuesta
r y p = la lombriz roja californiana vive en la tierra y es ovpara
Tenemos las proposiciones simples

q: la lombriz roja californiana se alimenta de desechos orgnicos vegetales y

frutales
p: la lombriz roja californiana es hermafrodita
Formamos la proposicin compuesta
q o p = la lombriz roja californiana se alimenta de desechos orgnicos vegetales
y frutales o es hermafrodita
CONJUNCION
La conjuncin es una operacin lgica que usa el conectivo y para relacionar dos
proposiciones simples y construir una proposicin compuesta
Para simbolizar dos proposiciones t y f se escribe t f y se lee te y efe
Se tiene las proposiciones
p: cinco es un nmero primo
r: cinco es un nmero impar
Realizar la conjuncin p con r
Forma simblica p r
p r = cinco es un numero primo y es impar
TABLA DE VERDAD PARA LA CONJUNCION

p
V
V
F
F

q
V
F
V
F

EJEMPLOS
Dadas las siguientes proposiciones.
p: 11 es un numero primo
q: 3 +9 = 14
r: la lombriz roja californiana es ovpara
realizar la conjuncin y hallar el valor de verdad:

pq
V
F
F
F

a. p q

forma simblica

11 es un nmero primo y 3 +9 = 14
V

b. ~ r q

observamos la tabla valor de verdad es falso F

forma simbolica

Primero hacemos la negacin de r

~ r = la lombriz roja californiana no es ovpara valor de verdad Falso
Por lo tanto ~ r q queda
la lombriz roja californiana no es ovpara y 3 +9 = 14
F

c. p r

valor de verdad Falso F

forma simblica

11 es un nmero primo y la lombriz roja californiana es ovpara

V

d. ~ q p

observamos la tabla valor de verdad es verdadero V

forma simblica

Primero hacemos la negacin de q

~ q = 3 + 9 14 valor de verdad verdadero
Por lo tanto ~ q p queda
3 +9 14 y 11 es un numero primo
V

valor de verdad Verdadero V

ACTIVIDAD
Dadas las siguientes proposiciones
k: la tierra esta en el sistema solar
j: los ngulos interiores de un tringulos suman 280 grados
p: 12 + 14 = 26
determinar escribe en forma de conjuncin y halle el valor de verdad de cada una
de las conjuncines dadas.
a. ~ k j
b. j p
c. p ~k

DISYUNCION
La disyuncin de dos proposiciones simples se obtiene usando el conectivo lgico
o si r y s son dos proposiciones simples la disyuncin se escribe r V s y se lee
ere o ese.
Se tiene las proposiciones
p: cinco es un nmero primo
r: cinco es un nmero impar
Realizar la disyuncin p con r
Forma simblica p V r
p V r = cinco es un numero primo o es impar
TABLA DE VERDAD PARA LA DISYUNCION

p
V
V
F
F

q
V
F
V
F

pVq
V
V
V
F

EJEMPLOS
Dadas las siguientes proposiciones.
p: 11 es un numero primo
q: 3 +9 = 14
r: la lombriz roja californiana es ovpara
realizar la DISYUNCION y hallar el valor de verdad:
a. p V q

forma simblica

11 es un nmero primo o 3 +9 = 14
V

observamos la tabla valor de verdad es verdadero

V
b. ~ r V q

forma simbolica

Primero hacemos la negacin de r

~ r = la lombriz roja californiana no es ovpara valor de verdad Falso

Por lo tanto ~ r V q queda
la lombriz roja californiana no es ovpara o 3 +9 = 14
F

c. p r

valor de verdad Falso F

forma simblica

11 es un nmero primo o la lombriz roja californiana es ovpara

V

observamos la tabla valor de verdad es verdadero V

d. ~ q V p

forma simblica

Primero hacemos la negacin de q

~ q = 3 + 9 14 valor de verdad verdadero
Por lo tanto ~ q V p queda
3 +9 14 o 11 es un numero primo
V

valor de verdad Verdadero V

ACTIVIDAD
Dadas las siguientes proposiciones
k: la tierra esta en el sistema solar
j: los ngulos interiores de un tringulos suman 280 grados
p: 12 + 14 = 26
determinar escribe en forma de disyuncion y halle el valor de verdad de cada una
de las disyunciones dadas.
e. ~ k V j
f. J V p
g. p V ~k