Instituto de Matemtica

Universidad Austral de Chile

Lgica
http://juegosdelogica.net/logica/cofres.php
1

Hay un cierto animal - animalito - que cuando lo

mencionamos no tenemos otro remedio que
meter la a, e, i, o, u por medio. O sea, que es un
nombre que se ha apropiado de todas las vocales
inventadas. Cul es el nombre del bicho?.

1) Sin acertar con ninguna de las tres, un empleado etiquet errneamente tres cajas
que contenan lpices, bolgrafos y grapas. Cuando alguien le comunica el error, dice:
"no hay problema, con solo abrir una de las tres caja y mirar su contenido, ya podr
colocar las tres etiquetas correctamente". Cmo lo hace?
2) El amigo Jacinto tiene doce monedas, pero sabe que una de ellas es falsa, esto
es, que tiene un peso mayor que el peso de cada una de las restantes. Le dicen
que use una balanza y que con solo tres pesadas averige cul es la moneda de
peso diferente, Cmo es posible?

3)

4) Se pretende dividir el pastel

cilndrico de la figura en 8 trozos
iguales, pero solamente con tres
cortes. Cmo seran esos cortes?
5) La Reina Isabel ha matado ya varios jardineros por
que ninguno de ellos ha sido capaz de cumplir con
sus instrucciones precisas, las cuales consisten que
con solo 10 rboles sean capaces de hacer 5 lneas
rectas de 4 rboles cada una. Fracasara tambin?
6) Tenemos aqu tres enunciados falsos. Ser capaz de descubrir
cules son?
1. 2+2=4
2. 3x6=17
3. 8/4=2
4. 13-6=5
5. 5+4=9

Lgica

Universidad
Austral de Chile

Estudia la estructura de las aseveraciones con el fin de

determinar si stas son vlidas o no.

El enunciado:
Estamos en clases de lgebra

Es una proposicin

Salgamos a carretear!!

No es una proposicin

Otros ejemplos:
Dos es par
Hoy es Martes
Qu da es hoy?

3+1=5
6

Instituto de Matemtica
Universidad Austral de Chile

Clasificacin de proposiciones
Una proposicin es simple o atmica, si ninguna
parte de ella es a su vez una proposicin.
Ejemplos:

Dos es un nmero par".

"Tres es mayor que cuatro".

"Tres ms cinco es mayor que cuatro".

Una proposicin es compuesta si est formado de

proposiciones simples y de conectivos que los unen.

Ejemplos:
2 es un nmero entero y es positivo

Si llueve, el piso se moja

Si es un entero, entonces es real
Si estudio y hago los ejercicios, entonces apruebo
y paso de curso
8

Alfabeto de la lgica
proposicional
El lenguaje de la lgica proposicional necesita tres
tipos distintos de smbolos:
CONSTANTES PROPOSICIONALES
CONECTIVOS LGICOS

SMBOLOS AUXILIARES

CONSTANTES PROPOSICIONALES
-

Simbolizan oraciones o proposiciones

Se utilizan las siguientes letras minsculas:
p, q, r, s, t, u
Si necesitamos simbolizar ms oraciones (un
nmero infinito de ellas), recurrimos a
subndices numricos:
p1, p2, p3, p4, p5

10

Instituto de Matemtica

Lgica

Universidad Austral de Chile

Conectivos lgicos
Smbolo

, , p

Operacin asociada
Negacin (no)

Conjuncin (y)

Disyuncin inclusiva (o, y/o)

Implicacin (condicional)

Doble implicacin (bicondicional)

11

SMBOLOS AUXILIARES
Son parntesis y corchetes, que sirven para
agrupar los otros smbolos de manera que se
puedan evitar ambigedades:

()

[ ]

12

Lgica

Instituto de Matemtica
Universidad Austral de Chile

Conectivos y tablas de verdad

Un arreglo que muestra los posibles valores de verdad de
una proposicin compuesta a partir de los valores de
verdad de las proposiciones simples, se llama tabla de
verdad.

13

Construccin tablas de verdad

14

Negacin
p

Representa la proposicin compuesta no p

El dinero es la No es cierto que el

felicidad
dinero es la felicidad
Verdad
Falso
Falso

Verdad
15

p: Dos es par y tres es impar.

Dos es par y

Dos es par

Tres es impar

F
F

V
F

F
F

tres es impar

16

Instituto de Matemtica

Lgica

Universidad Austral de Chile

Conjuncin ( )

p q

V
F

F
V

F
F

F
17

p: Dos es par o el tres es impar.

Dos es par

El tres es impar

V
V
F
F

V
F
V
F

Dos es par o el tres es

impar
V
V
V
F

18

Instituto de Matemtica

Lgica

Universidad Austral de Chile

Disyuncin ( )

pq

V
F

F
V

V
V

F
19

q: paso el ao nuevo en casa con la

familia o me voy a carretear con mis
amigos..
Paso el ao

Me voy a

paso el ao nuevo en casa

nuevo en casa carretear con con la familia o me voy a

con la familia
V
V
F
F

mis amigos
V
F
V
F

carretear con mis amigos

20

Instituto de Matemtica

Lgica

Universidad Austral de Chile

Disyuncin exclusiva ( )

p
V

q
V

pq
F

V
F

F
V

V
V

F
21

r:Si me saco el loto entonces te regalo un

auto
Me saco el

Te regalo un

loto

auto

V
V
F
F

V
F
V
F

Si me saco el loto
entonces te regalo un

auto

22

Instituto de Matemtica

Lgica

Universidad Austral de Chile

Implicacin o condicional ( )

pq

V
V

V
F

V
F

V
23

Instituto de Matemtica

Lgica

Universidad Austral de Chile

Algo ms sobre el condicional

hiptesis o antecedente

p q
tesis, conclusin consecuente
Formas de Lectura: a) si p entonces q
b) p implica q
c) q si p
d) q solo si p
e) p es condicin suficiente para q
f) q es condicin necesaria para p
24

r:"dos es mayor que cuatro si y slo si siete es

menor que dos".
"dos es mayor que

Dos es mayor
que siete

Siete es

siete si y slo si

menor que dos siete es menor que

dos".

V
V
F
F

V
F
V
F

25

Instituto de Matemtica

Lgica

Universidad Austral de Chile

Bicondicional ()

p q

V
V

V
F

V
F

V
26

Resumen Tablas de Verdad.

PQ

PQ

PQ

PQ

27

Tautologa, contradiccin
Una Tautologa es una
proposicin compuesta que es
verdadera (V ) siempre,
independiente de los valores
de verdad que tengan las
proposiciones simples que la
forman.

Una Contradiccin es una

proposicin compuesta
que es falsa (F ) siempre,
independiente de los
valores de verdad que
tengan las proposiciones
simples que la forman.
28

Instituto de Matemtica

Lgica

Universidad Austral de Chile

Proposiciones lgicamente equivalentes

Dos proposiciones p, q se dirn equivalentes si y solo si sus tablas
de verdad son idnticas.

pq

Notacin:
Ejemplo:

pq

pq

V
V

V
F

F
F

V
F

V
F

pq

pq

29

Instituto de Matemtica

Lgica

Universidad Austral de Chile

Ejemplos
2.

( p) p
p p p; p p p

3.

p t p; p c c

4.

p t t; p c p

1.

5.

( p q) p q

6.

p q ( q p)

7.

pc p

Contra recproca

Reduccin al absurdo

30

Bivalencia
Doble negacin (Involucin)
Idempotencia
Identidad

No Contradiccin
Complemento (exclusin media)
Absorcin (contraccin)
Conmutatividad
Leyes de Morgan (dualidad)
Asociatividad
Distributiva

T
F
p
pp
pVp
pT
pVT
pp
(pp)
pV p
(pVp)
p(pVq)
pV(pq)
pq
pVq
(pq)
(pVq)
p(qr)
pV(qVr)
p(qVr)
pV(qr)

F
T
p
p
p
p
pFF
T
pVFp
F
T
T
ppF
F
p
p
qp
qVp
pVq
pq
(pq)r
(pVq)Vr
(pq)V(pr)
(pVq)(pVr)
31

Ejercicios:
Construya las tablas de verdad de la siguientes proposiciones. Hay algunas de
ellas que sean equivalentes?

32

Escriba en lenguaje simblico las siguientes proposiciones,

definiendo las proposiciones simples que la componen.
a) El 7 es primo por consiguiente, tiene solo dos divisores.

b) Tu nota es roja, aunque la ma no es roja.

c) Luis juega con su perro, Luca con nmeros.
d) No es cierto que: a Mara no le gusta Pedro o a Pedro le
gusta macarena.

e) Si tu me molestas, te invitar a comer.

f)
No es cierto que a Pamela se le cay un vaso, fue a
Mara.

34