Unidad I: Lgica Matemtica

Juan Miguel Olalla

UNIDAD I: LGICA MATEMTICA

1.1. Introduccin

La Lgica Matemtica es la rama de las Matemticas que nos permite comprender sobre la
validez o no de razonamientos y demostraciones que se realizan.
La lgica estudia la forma del razonamiento, y es ampliamente aplicada en la filosofa,
matemticas, computacin y fsica. En la filosofa para determinar si un razonamiento es
vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica
permite saber el significado correcto. En las matemticas para demostrar teoremas e inferir
resultados matemticos que puedan ser aplicados en investigaciones. En la computacin
para revisar programas.
En esta unidad en primer lugar revisamos el concepto de proposicin, estableciendo el
significado y utilidad de los conectivos o conectores lgicos, los cules de utilizan para
formar proposiciones compuestas. Tambin definimos los conceptos de tautologa y
contradiccin,

as como explicaremos las proposiciones lgicamente equivalente por

medio de tablas de verdad. Luego daremos a conocer las aplicaciones del clculo
proposicional en la teora de los circuitos. Finalmente; abordamos el estudio de los
cuantificadores.

1.2. Proposiciones

Diremos que una proposicin es un enunciado (o frase) en el cual podemos asignar un

valor de verdad o falsedad; pero no ambos al mismo tiempo. Por ejemplo:
Son proposiciones:

Albert Einstein descubri Amrica.

56 20 + 4 = 40

La luna es un satlite natural de la tierra.

El dos es un nmero primo.

4+3 = 7

ESPOCH Escuela de Ingeniera en Sistemas

Unidad I: Lgica Matemtica

Juan Miguel Olalla

32 + 42 = 52

Existen enunciados que no son proposiciones, porque no es posible establecer su valor de

verdad por ejemplo:

Adis!

Qu hora es?

Maana llover

5 4x = 1

No es una proposicin. Pero, si sustituimos x por

cualquier nmero, ella se convierte en proposicin. A este tipo de frases se

les llama funciones proposicionales.
NOTAS:
1. Las proposiciones las notaremos con las letras , , etc.
2. Aquellas proposiciones que no se pueden descomponer en dos o ms
proposiciones; se llaman proposiciones simples.
3. Las proposiciones que estn formadas por dos o ms proposiciones simples por
medio de conectores llamados lgicos se llaman proposiciones compuestas.
4. Si una proposicin es verdadera se denotar por la letra V o el 1 y si es falsa
se denotar por F o por el 0.

1.3. Conectores Lgicos

1. Negacin
Dada una proposicin , se puede obtener otra proposicin anteponiendo la palabra
"no" o "no es cierto que". El smbolo utilizado es ~ que significa "no". Por
ejemplo: Sea la proposicin

Estoy estudiando"; La negacin de esta

proposicin simple ser ~ "No estoy estudiando" o tambin "No es cierto que
estoy estudiando".
La negacin aplicada a una proposicin simple nos da una nueva proposicin
simple. Se observa que: Si
negacin ~

es V, la negacin ~ es F; mientras que, si

es F; la

es V. Por medio de esta regla podemos construir la tabla de

verdad de la negacin; esto es:

ESPOCH Escuela de Ingeniera en Sistemas

Unidad I: Lgica Matemtica

Juan Miguel Olalla

~
V

2. Conjuncin
La conjuncin es el conector que relaciona dos proposiciones simples para formar
una compuesta, con la letra "y" cuyo smbolo es . Por tanto

"Juan es bueno" y

Por ejemplo: Sean las proposiciones simples

feliz", la conjuncin de

ser

se lee " y ".

"Mara es

"Juan es bueno y Mara es feliz

Por la naturaleza del nexo "y" para que una proposicin compuesta sea verdadera,
necesariamente las dos proposiciones simples deben serlo. Para los dems casos
ser falsa. Por tanto la tabla de verdad en este caso es:

3. Conjuncin negativa
La conjuncin negativa ni y ni asociada a las proposiciones
resultado una nueva proposicin compuesta
es verdadera cuando

que se lee: ni

da como

y ni , la cual

es falsa, en los casos restantes es falsa. Su tabla de

verdad es:

ESPOCH Escuela de Ingeniera en Sistemas

Unidad I: Lgica Matemtica

Juan Miguel Olalla

4. Disyuncin
La disyuncin es un conector lgico que relaciona dos proposiciones simples para
formar una proposicin compuesta; por medio del smbolo , entonces, se obtiene

la proposicin compuesta

que se lee " o ". Por ejemplo: Sea p " 3 + 2 =

5" y q "4 es un nmero par"; entonces

La disyuncin permite una eleccin, as o

3 + 2 = 5 o 4 es un nmero par.
es V, o

es V o son ambas V a la vez.

Luego si decimos "Londres es capital de Venezuela o 4 es un nmero par" no

estamos mintiendo puesto que para que la proposicin disyuntiva sea verdadera
debemos aceptar que la primera parte es verdadera o que la segunda parte es
verdadera o que ambas son verdaderas.
Segn esto se tiene la siguiente tabla de verdad:

5. Disyuncin exclusiva
La disyuncin exclusiva o, pero no ambos asociada a las proposiciones
da como resultado una nueva proposicin
cual es falsa cuando

y se lee o , pero no ambas, la

son iguales, mientras que en los dems casos es

verdadera. Su tabla es:

ESPOCH Escuela de Ingeniera en Sistemas

Unidad I: Lgica Matemtica

Juan Miguel Olalla

6. Condicional o implicacin
Sean

y q proposiciones, el conector lgico condicional o implicacin da una

nueva proposicin

que se lee "

entonces ". La proposicin

tanto, como (~ )

entonces

" o " condicin

es la proposicin (~ )

es igual a la proposicin

" o "si

por definicin. Por

, sus tablas de verdad son las

mismas, entonces, se tiene que:

~

(~ )

pq

7. Bicondicional o bi-implicacin
Sean

dos proposiciones, si relacionamos estas proposiciones con el conector

lgico bicondicional obtenemos la proposicin

que se lee " si y slo si ".

Esta proposicin

condicional

condicional . Se deja como tarea comprobar que la tabla de

verificacin de

es la proposicin ( ) ( ) o en otras palabras

es la siguiente:

Por las reglas anteriores se puede determinar tablas de verificacin y los valores de
verdad de proposiciones compuestas en las cuales aparecen varios conectores
lgicos.

ESPOCH Escuela de Ingeniera en Sistemas

Unidad I: Lgica Matemtica

Juan Miguel Olalla

Las tablas vistas anteriormente las podemos resumir en una sola, la misma que es:

qp

1.4. Construccin de tablas de verdad

En la construccin de tablas de verdad debemos considerar lo siguiente:

1. Determinar el nmero posibles de combinaciones. Si hay proposiciones, el nmero
de combinaciones ser 2
2. Se debe procurar respetar el orden de los valores de verdad dentro de la tabla as
por ejemplo: Si hay tres proposiciones, el nmero de combinaciones sern 2 = 8;
por lo tanto para primera proposicin sern 4 verdaderas y 4 falsas; para la segunda
proposicin 2 verdaderas y 2 falsas; para la tercera: una verdadera y la otra falsa.
1.5. Tautologas y contradicciones

1.5.1. Tautologas.- Se dice que una proposicin es una tautologa, cuando todos los
valores de verdad de la tabla son verdaderos, Por ejemplo:
~ (~

a)

)
V

V V V V

V F

V F

V F

V V F

V V

V V

V V

ESPOCH Escuela de Ingeniera en Sistemas

b)

V V F
F

V V F

Unidad I: Lgica Matemtica

Juan Miguel Olalla

1.5.2. Contradicciones.- Se dice que una proposicin es una contradiccin, cuando todos
los valores de verdad de una tabla son falsos. Por ejemplo:
a)

) ~

V V

F F

V F F

F F

F V F

F V F

b)

F V F

1.6. Implicacin Lgica ()

Se dice que

implica lgicamente a

, si el resultado de la tabla de verdad es una

tautologa. Por ejemplo:

V V V V V
V F

V V

F V V

1.7. Equivalencia Lgica (, )

Se dice que P es lgicamente equivalente a Q, si es que ambas proposiciones tienen la

misma tabla de verdad, o que el resultado de la tabla es una tautologa. Por ejemplo:
a)

( )

b)

c)

d)

ESPOCH Escuela de Ingeniera en Sistemas

Unidad I: Lgica Matemtica

Juan Miguel Olalla

1.8. Leyes del lgebra de proposiciones

Teorema.- Sean ,
i)

proposiciones; las siguientes proposiciones son tautologas:

Propiedad de idempotencia de los conectores , ,

a) ( )

ii)

b) ( )

c) ( )

Propiedad conmutativa de los conectivos ,

a) ( ) ( )
b) ( ) ( )

iii)

Propiedad asociativa de los conectores ,

a) [( ) ] [ ( )]
b) [( ) ] [ ( )]

iv)

Propiedad distributiva de los conectores ,

a)

[ ( )] [( ) ( )]

b) [ ( )] [( ) ( )]
v)

Leyes de Morgan para las proposiciones

a) ( ) ( ) ( )
b) ( ) [ ( ) ( )]

vi)

Ley de absorcin
a)

( )

b) ( )
c) ( )
vii)

viii)

Ley de identidad
a)

b)

Ley de complemento
a)

ix)

Otras leyes
a)

b)

c)

) (

d)

) (

ESPOCH Escuela de Ingeniera en Sistemas

Unidad I: Lgica Matemtica

Juan Miguel Olalla

1.9. Ejercicios Resueltos

1. Hallar la tabla de verificacin de las siguientes proposiciones compuestas, siendo ,

proposiciones simples:
a) ((~p) q) (p (~q))
~

((~ ) )

( (~ ))

((~ ) ) ( (~ ))

b) Supongamos que p es verdadera, q falsa y r verdadera; determinar el valor de

verdad de la siguiente proposicin compuesta: [(p (~q)] [q r]
(~ )

~
V

[( (~ )] [ ]

c) Hallar el valor de verdad de (p q) r

( )

ESPOCH Escuela de Ingeniera en Sistemas

Unidad I: Lgica Matemtica

Juan Miguel Olalla

d) Hallar el valor de verdad de [p (q r)] [(p q) (p r)]

( )

( )( )

12

ESPOCH Escuela de Ingeniera en Sistemas

10

Unidad I: Lgica Matemtica

Juan Miguel Olalla

1.10. Ejercicios Propuestos

1. Escribir cinco frases de proposiciones y cinco frases que no sean proposiciones.

2. Determinar cules de las siguientes frases son proposiciones
a) 3 + 2 = 5

b) + 1 = 4

c) Hola!

d) Yo estudio

3. Negar las siguientes proposiciones.

a) Diana es modista
b) 12 es un nmero par
c) estas dos rectas son paralelas
d) todos los hombres son mortales
e) algunos deportistas son ciclistas
f) ningn loro vive en el polo norte
4. Sean

, ,

proposiciones. Calcular el valor de verdad de las siguientes

proposiciones suponiendo que

son verdaderas y que

y son falsas:

a)

(p q) r

b) (r s) q

c)

q (p s)

d) p ~(r s)

e)

(q s) r

f)

g) (q r) (p s)
i)

~[(r p) (s q)]

~(p q)

h) (r s) (p q)
j)

[(r q) (~p r)]

5. Utilizando tablas de verificacin determinar cules de las siguientes proposiciones

son tautologas:
a)

~(p ~p)

b) (p q) (~q ~p)

c)

(p q) (~p q)

d) [(p q) p] q

e)

[(p q) ~q] ~p

f)

g) [(p q) (q r)] (p r)

~(p q) (p ~q)

h) [p (q r)] [(p q) r]

6. Utilizando las leyes del lgebra proposicional, simplifique las siguientes

proposiciones:
a) [ (~p q)]
b) (p q) p
c) ~( ) ( ~ )
ESPOCH Escuela de Ingeniera en Sistemas

11