1

Lgica
Proposicin
Expresin de la que tiene sentido decir si es
verdadera o falsa.

Ejemplos
1 + 4 = 5 (Verdad)
La Pampa es una nacin. (Falso)
8 + 23 (no es proposicin)
Mara (dem anterior)

2
Proposicin Atmica
Una proposicin es atmica si no puede ser
descompuesta en proposiciones ms
simples.
Las proposiciones atmicas son indicadas
de manera afirmativa.
Ejemplos:
La casa es grande. (es atmica)
La casa no es grande. ( no es atmica)
Hoy es viernes y tenemos clase. (no es atmica)
3
Proposicin Molecular
Una proposicin es molecular si no es
atmica, es decir, si puede ser
descompuesta en proposiciones ms
simples.
Una proposicin molecular se forma al unir
proposiciones atmicas utilizando
conectivos lgicos o trminos de enlace.
4
Conectivos Lgicos

Conectivo Simbolizacin
y ^
o v
no
(sobre la proposicin)

5
Proposiciones Moleculares
Ejemplos
Vamos en bicicleta o vamos a pie.
No es cierto que Juan lleg temprano
Juan no lleg temprano
Luis es arquitecto y Martn es mdico.
La medalla no es de plata y el diploma parece
falso.
Matas aprob pero Lucas no.
6
Simbolizacin
Se utilizarn letras minsculas para
simbolizar las proposiciones atmicas.
Ejemplo:
El Sr.Domnguez es el gerente.
Si se considera
p = El Sr.Domnguez es el gerente
esta proposicin puede ser simbolizada como p.
7
Simbolizacin
Para simbolizar un proposicin
Identificar las proposiciones atmicas
Simbolizar las proposiciones atmicas
encontradas.
Utilizar los conectivos lgicos para
relacionarlas.
8
Simbolizacin
Ejemplos
Vamos en bicicleta o vamos a pie.
p : Vamos en bicicleta.
q : Vamos a pie
Simbolizacin: p v q
No es cierto que Juan lleg temprano
p = Juan lleg temprano.
Simbolizacin : p


9
Simbolizacin
Ejemplo
La medalla no es de plata y el diploma
parece falso.
p : La medalla es de plata.
q : El diploma parece falso

Simbolizacin: p ^ q

10
Simbolizacin
Ejemplo
Matas aprob el examen pero Lucas no.
r = Matas aprob el examen.
s = Lucas aprob el examen

Simbolizacin : r ^ s


11
Tabla de Verdad
La tabla de verdad de una proposicin
molecular muestra todas las posibles
combinaciones de valores de verdad de las
proposiciones atmicas que la componen.
12
Negacin




Indique el valor de verdad de:
El nmero 9 no es divisible por 3.
No es cierto que los perros vuelan.
p p
V F
F V

13
Conjuncin





Indique el valor de verdad de :
6 es un nmero par y divisible por 3.
( 2 + 5 = 7 ) y ( 2 * 3 = 9 )
p q p ^ q
V V V
V F F
F V F
F F F

14
Disyuncin




Indique el valor de verdad de :
2 es primo o es impar.
(2 + 3 = 4 ) o (2 * 2 = 5)
p q p v q
V V V
V F V
F V V
F F F

15
Construccin de tablas de verdad
Cuntas filas tiene la tabla?
1 proposicin 2 valores (V o F)
2 proposiciones 4 valores de verdad
3 proposiciones 8 valores de verdad
.........
n proposiciones 2
n
valores de verdad.
16
Ejemplos
Construir las tablas de verdad de las
siguientes proposiciones
p ^ q
( p v q ) ^ p
(p ^ r ) v ( p ^ q)
17
Ejercicio
Sabiendo que p y q son proposiciones
verdaderas y que r y s son proposiciones
falsas, determinar el valor de verdad de las
proposiciones moleculares siguientes:

(p ^ q ) v (r ^ p ) v s
(q v p) ^ (r v s ) v ( q ^ r )
18
Ejercicio
Sabiendo que

(p v q ) ^ ( p ^ s) es verdadera

indicar, de ser posible, el valor de verdad de
las proposiciones atmicas que la componen
19
Ejercicio
Sabiendo que

( p ^ q ) v ( p v q ) es falsa

indicar, de ser posible, el valor de verdad de
las proposiciones atmicas que la componen
20
Proposiciones moleculares
Segn su valor de verdad pueden ser
Tautologa
Contradiccin
Contingencia
21
Tautologa
Una proposicin molecular es una
tautologa si es cierta, cualesquiera sean
los valores de verdad de las proposiciones
atmicas que la componen.

Ejemplo: p v p
22
Contradiccin
Una proposicin molecular es una
contradiccin si es falsa, cualesquiera sean
los valores de verdad de las proposiciones
atmicas que la componen.

Ejemplo: p ^ p
23
Contingencia
Se dice que una proposicin molecular es
una contingencia si al construir la tabla de
verdad el resultado final que se obtiene, es
una combinacin valores de verdad
verdaderos y falsos.

Ejemplo: p ^ q
24
Ejemplos
Indicar para cada una de las siguientes
proposiciones si se trata de una tautologa,
contradiccin o contingencia
( p ^ q ) v ( p v q )
( q ^ p ) ^ (q ^ p)
25
Equivalencia Lgica
Se dice que dos proposiciones son
lgicamente equivalentes si poseen los
mismos valores de verdad (para los mismos
valores de verdad de sus variables)

Ejemplo:

p q p q v .
26
Ejemplo:
p q p v q p v q
V V V F
V F V F
F V V F
F F F V
p q p q v .
p q p q p ^ q
V V F F F
V F F V F
F V V F F
F F V V V
27
Leyes de De Morgan
La negacin de una disyuncin es equivalente a la
conjuncin de las negaciones de las proposiciones
involucradas.
(p v q) ( p ^ q )

La negacin de una conjuncin es equivalente a la
disyuncin de las negaciones de las proposiciones
involucradas.
(p ^ q) ( p v q)
28
Proposicin condicional
Dadas dos proposiciones p y q, la
proposicin "si p entonces q" se llama
proposicin condicional y se escribe
p q

donde p es llamada antecedente o hiptesis,
y q consecuente o tesis.
29
Proposicin condicional
Ejemplo:
Si resolvemos la tarea entonces aprenderemos la
leccin
p = "resolvemos la tarea"
q = "aprenderemos la leccin"
Simbolizando: p q
30
Proposicin condicional
Ejemplo:
Si vamos a la fiesta entonces no nos
acostaremos temprano
p = "vamos a la fiesta"
q = "nos acostaremos temprano"
Simbolizando: p q
31
Tabla de verdad del condicional






p q p q
V V V
F V V
V F F
F F V
La implicacin de p a q es falsa nicamente en el caso
de que el antecedente p sea verdadero y que el
consecuente q sea falso
32
Proposicin Condicional
Existen distintas formas de leer un
condicional:
Si p entonces q.
q es una condicin necesaria para p
p es una condicin suficiente para q.
33
Distintas formas de indicar una
proposicin condicional
Ejemplo:
p : El entero x es mltiplo de 4
q : El entero x es par
Si el entero x es mltiplo de 4, entonces es par
Que el entero x sea mltiplo de 4 es suficiente
para que sea par
Que el entero x sea par es necesario para que
sea mltiplo de 4.
34
Proposicin condicional
La contrapositiva de la proposicin
condicional p q es la proposicin
q p

Muestre la equivalencia lgica:
p q q p
35
Proposicin condicional
La recproca de la proposicin
condicional p q es la proposicin
q p

Son lgicamente equivalentes?
p q q p
?
36
Proposicin bicondicional
Observando la tabla notamos que el bicondicional
distingue si ambas proposiciones tienen el mismo valor
de verdad, o valores de verdad distintos.
p q p q
V V V
V F F
F V F
F F V
37
p q (p q) ^ (q p)
p q
p q q p (p q) ^ (q p)

V V V V V
V F F V F
F V V F F
F F V V V
38
Razonamiento
A partir de un conjunto de proposiciones tomadas
como base de argumentacin se deduce una
conclusin.

39
Ejemplo de razonamiento
Si llueve entonces no iremos a caminar.
Llueve. Por lo tanto no iremos a caminar.
p = llueve
q = iremos a caminar
( (p q) ^ p ) q
Para demostrar que el razonamiento es
correcto hay que ver si esta proposicin es
una tautologa
40
Tabla de verdad de ( (p q) ^ p ) q

p q
p q (p q) ^ p ( (p q) ^ p ) q
V V V V V
V F F F V
F V V F V
F F V F V
La tabla indica que el razonamiento es correcto
independientemente de las proposiciones utilizadas
41
Forma general de razonamiento
El razonamiento ser vlido si la expresin
anterior es una tautologa
( )
1 2
...
k
p p p c . . .
42
Ejemplo: Demostrar si el siguiente
razonamiento es correcto
Si estudio todos los temas y estoy inspirado
entonces aprobar el examen. No estoy inspirado.
Por lo tanto, no aprobar el examen.
Simbolizacin:
p = estudio todos los temas
q = estoy inspirado
r = aprobar el examen
[( (p ^ r ) q) ^ r ] q



Es una falacia ?
43
Resumen
Un razonamiento es una frmula condicional
p
1
^ p
2
^ ^ p
k
c
Las proposiciones p
1
,p
2
,..p
k
son las premisas del
razonamiento
La proposicin c es la conclusin del razonamiento
El razonamiento es una forma vlida si
p
1
^ p
2
^ ^ p
k
c es una tautologa.
El razonamiento es una forma invlida o falacia si
p
1
^ p
2
^ ^ p
k
c no es una tautologa.
44
Notacin
El razonamiento p
1
^ p
2
^ ^ p
k
c
tambin puede escribirse como
p
1
p
2

p
k
c

45
Ejemplo: decir si se trata de un
razonamiento vlido o no
Si Rumas evit la maldicin entonces, o
bien enga a las criaturas o bien construy
el castillo.
Si Rumas enga a las criaturas, entonces
no construy el castillo
Por lo tanto: si Rumas evit la maldicin,
entonces enga a las criaturas.