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)

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)2

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.
3

Conectivos Lgicos
Conectivo

Simbolizacin

no

(sobre la proposicin)

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.
5

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.
6

Simbolizacin
Para simbolizar un proposicin
Identificar las proposiciones atmicas
Simbolizar las proposiciones atmicas
encontradas.
Utilizar los conectivos lgicos para
relacionarlas.

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
8

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

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

10

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.

11

Negacin
p

Indique el valor de verdad de:

El nmero 9 no es divisible por 3.
No es cierto que los perros vuelan.
12

Conjuncin
p

p^q

Indique el valor de verdad de :

6 es un nmero par y divisible por 3.
(2+5=7) y(2*3=9)

13

Disyuncin
p

pvq

Indique el valor de verdad de :

2 es primo o es impar.
(2 + 3 = 4 ) o (2 * 2 = 5)
14

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

2n valores de verdad.

15

Ejemplos
Construir las tablas de verdad de las

siguientes proposiciones
p^q
(pvq)^ p
(p ^ r ) v ( p ^ q)
16

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
(q

p)

^ (r

v s)

v (q

s
^ r)
17

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
18

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
19

Proposiciones moleculares
Segn su valor de verdad pueden ser

Tautologa
Contradiccin
Contingencia

20

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

21

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

22

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
23

Ejemplos
Indicar para cada una de las siguientes

proposiciones si se trata de una tautologa,

contradiccin o contingencia

(p^q) v(pvq)
( q ^ p ) ^ (q ^ p)

24

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:

pq pq
25

pq pq

Ejemplo:
p

pvq

pvq

p^q

26

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)
27

Proposicin condicional
Dadas dos proposiciones p y q, la

proposicin "si p entonces q" se llama

proposicin condicional y se escribe
pq
donde p es llamada antecedente o hiptesis,
y q consecuente o tesis.
28

Proposicin condicional
Ejemplo:
Si resolvemos la tarea entonces aprenderemos la
leccin
p = "resolvemos la tarea"
q = "aprenderemos la leccin"
Simbolizando: p q

29

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
30

Tabla de verdad del condicional

p

pq

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

31

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.

32

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.
33

Proposicin condicional
La contrapositiva de la proposicin

condicional p q es la proposicin
qp
Muestre la equivalencia lgica:

pq qp
34

Proposicin condicional
La recproca de la proposicin

condicional p q es la proposicin
qp
Son lgicamente equivalentes?
?

pq qp
35

Proposicin bicondicional
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

Observando la tabla notamos que el bicondicional

distingue si ambas proposiciones tienen el mismo valor

de verdad, o valores de verdad distintos.
36

p q (p q) ^ (q p)
p

pq

qp

(p q) ^ (q p)

37

Razonamiento
A partir de un conjunto de proposiciones tomadas

como base de argumentacin se deduce una

conclusin.

38

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
39

Tabla de verdad de ( (p q) ^ p ) q
p
V
V
F
F

q
V
F
V
F

p q

(p q) ^ p

( (p q) ^ p ) q

V
F
V
V

V
F
F
F

V
V
V
V

La tabla indica que el razonamiento es correcto

independientemente de las proposiciones utilizadas
40

Forma general de razonamiento

p1 p2 ... pk c
El razonamiento ser vlido si la expresin

anterior es una tautologa

41

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
Es una falacia ?

[( (p ^ r ) q) ^ r ] q
42

Resumen
Un razonamiento es una frmula condicional

p1 ^ p2 ^ ^ pk

Las proposiciones p1,p2,..pk son las premisas del

razonamiento
La proposicin c es la conclusin del razonamiento
El razonamiento es una forma vlida si

p1 ^ p2 ^ ^ pk

c es una tautologa.

El razonamiento es una forma invlida o falacia si

p1 ^ p2 ^ ^ pk

c no es una tautologa.
43

Notacin
El razonamiento p1 ^ p2 ^ ^ pk c

tambin puede escribirse como

p1
p2

pk

c
44

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.

45