Está en la página 1de 44

LOGO

Lógica Proposicional
LOGO

Se
Sedice
diceque
quepara
parasacar
sacaruna
una
conclusion
conclusion,hay
,hayque
quetener
tenerla
la
información,
información,¿pero
¿perosesepuede
puede
concluir
concluir solo
soloaapartir
partirde
dedatos
datos
??
Universidad Metropolitana
Enseñando el camino

¿Cada
mano
dibuja
entre si
una
manga de
camisa?
Universidad Metropolitana
Enseñando el camino ¿H
e
FACULTAD
Universidad DE CIENCIAS
Metropolitana
HISTORICO
Enseñando SOCIALES Y
el camino
EDUCACIÓN

 Proposiciones Simples
 Conectivos y proposiciones
compuestas.
 Tablas de verdad
 Construcción de tablas de verdad
para proposiciones compuestas
 Formas derivadas del condicional
 Simbolización
Universidad Metropolitana
Proposición Enseñando el camino

 Es un Son proposiciones?
enunciado al • Un banco es una
cual se le puede institución
asociar el financiera.
concepto de
• El dólar es la
verdadero o
moneda de
falso, pero no
Estados Unidos.
ambos.
 Dice el
Ejemplos: Presidente:
 La luna es “Todos en este país
Clases de Universidad Metropolitana
Proposiciónes Enseñando el camino

 Simple. Constan de  Relacionales:


una proposición dos sujetos o más.
Pedro y José van al cine
3+6=9
Juan e Isabel van al La geografía e historia son
cine afines

 Predicativas. solo un
sujeto y un predicado
(sújeto puede ser
tácito)
Los huaynos son
alegre
Clases de Universidad Metropolitana
Proposiciónes Enseñando el camino

 Compúesta, Juan es profesor y manuel


coligativa o es ingeniero
molecular
constan de dos o
más proposiciones
simples
Pitágoras era griego y
era geómetra

 :
FACULTAD
Universidad DE CIENCIAS
Metropolitana
PRACTICANDO HISTORICO
Enseñando SOCIALES Y
el camino
EDUCACIÓN
De las oraciones; ¿cuáles son enunciados y proposiciones?

1. ( ) ¡Ganamos la licitación!

2. ( ) Ningún número par es divisible por tres.


3. ( ) Rápido, alcánzame las llaves.
4. ( ) M. Friedman es el creador de la teoría monetaria.
5. ( )( ) La UPN es un centro de estudios superiores.
6. ( ) Esta moneda de la suerte me hará rico.
7. ( ) China está ubicada en el hemisferio sur.
8. ( ) ¡La esperanza sea contigo!
9. ( ) Mi deseo es de vender en el extranjero.
10. ( ) El Latino es el banco más rico del mundo.
11. ( ) La crisis financiera comenzó en Europa.
12. ( ) Yo solo sé que nada sé.
9
FACULTAD DE CIENCIAS
Universidad Metropolitana
Conectivos lógicos HISTORICO
Enseñando el camino
SOCIALES Y
EDUCACIÓN

 Las
  proposiciones simples se
simbolizan con p, q, r, s,…..etc.
 Las proposiciones compuestas se
simbolizan con letras y se usan
los conectores lógicos.
FACULTAD DE CIENCIAS
Proposiciones compuestas Universidad
HISTORICOMetropolitana
SOCIALES Y
Conectivos Enseñando el camino
EDUCACIÓN

 Conocido el valor de verdad de


ciertas proposiciones, la lógica
establece el valor de verdad de otras
relacionadas con éstas.

 A éstas últimas se les conoce como


proposiciones compuestas
FACULTAD DE CIENCIAS
Universidad Metropolitana
Conjunción HISTORICO
Enseñando el camino
SOCIALES Y
EDUCACIÓN

 Conectivo  Ejemplos:
diadico o binario p: Hoy es martes
 Une dos q: La luna es
proposiciones cuadrada
 Si p y q son r: mañana es
proposiciones, se miércoles
llama conjunción
de p y q a la
p  q :Hoy es
proposición
martes y la luna
compuesta “p y
es cuadrada
FACULTAD DE CIENCIAS
Universidad Metropolitana
Conjunción HISTORICO
Enseñando el camino
SOCIALES Y
EDUCACIÓN

 Para construir la p q pq


tabla de p  q,
debemos V V V
considerar las
diferentes V F F
alternativas de
valores de verdad
para p y para q: F V F
 ¿Cuáles son ?
La conjunción es F F F
verdadera , solo si
ambas son
Verdaderas, es falsa
si al menos una es
falsa
FACULTAD DE CIENCIAS
Universidad
HISTORICOMetropolitana
SOCIALES Y
Conjunción Enseñando el camino
EDUCACIÓN
Se toman como “sinónimos” de la
conjunción:

 Además  También
 Pero  Aún
 Sin embargo  A la vez
 Aunque  No obstante
FACULTAD DE CIENCIAS
Conjunción: p ^ q Universidad
HISTORICOMetropolitana
SOCIALES Y
Enseñando el camino
EDUCACIÓN

 Luís estudia ,además de trabajar


 Luís estudió pero no aprobó
 Luís canta, sin embargo no baila
 Luís jugó futbol aunque estaba lesionado
 Luís juega futbol , también José
 Luís salió, aún no llega
 Luís cocina a la vez que canta
 Luís viajará no obstante esté sin visa
 Luís canta , no baila.
FACULTAD DE CIENCIAS
Universidad
HISTORICOMetropolitana
SOCIALES Y
Conjunción: p ^ q Enseñando el camino
EDUCACIÓN

No siempre “y” denota una conjunción


………
Ejemplo:

 Silvia y Nelly son hermanas

Esta es una proposición (simple), en donde


el “y” permite establecer la relación entre
los sujetos.
FACULTAD DE CIENCIAS
Universidad Metropolitana
Disyunción p ˅ q HISTORICO
Enseñando el camino
SOCIALES Y
EDUCACIÓN

 Conectivo  Ejemplos:
diadico o binario p: María es celosa
 Une dos q: Hoy es martes
proposiciones r: mañana es
indicando miércoles
separación
 Se llama
p ˅ q :María es
disyunción de p
celosa o la tierra
y q a la
es redonda
proposición
p ˅ r :María es
Disyunción inclusiva o Universidad Metropolitana
debil Enseñando el camino

 Indica
  la posibilidad que
p q pq
se den ambas
proposiciones. V V V
8 es mayor que 7 o 4 es
V F V
número par p

El cielo es azul o 12 es un F V V
número par p
F F F
Es verdadera solo si una de
las proposiciones es
verdadera, si ambas son
falsas es falso
FACULTAD DE CIENCIAS
Disyunción exclusiva o Universidad
HISTORICOMetropolitana
SOCIALES Y
fuerte Enseñando el camino
EDUCACIÓN

 excluye la posibilidad que p q p⊻q


se den ambas
proposiciones al mismo V V F
tiempo..
V F V
Vallejo nació en Lima o en la
Libertad p⊻q
Darwin fue científico o F V V
filosofo p⊻q
F F F
Es verdadera solo si una de
las proposiciones es
verdadera, si ambas tienen
el mismo valor, es falso
FACULTAD DE CIENCIAS
Universidad Metropolitana
Negación HISTORICO
Enseñando el camino
SOCIALES Y
EDUCACIÓN

 Conectivo  ¿Qué sucede


monádico. con la negación
 Cambia el valor de de p, siendo p
la proposición. falso?
 Si p es una p ~p
proposición,  V F
entonces “no p” es
la negación de p y
se denota por: ~
p
FACULTAD DE CIENCIAS
Universidad Metropolitana
Negación HISTORICO
Enseñando el camino
SOCIALES Y
EDUCACIÓN

 Esto lo podemos
escribir de una
manera Posibilidades para la proposición p
“compacta”,
utilizando una
tabla p ~p
 A esta tabla se le
llama “tabla de V F
certeza de la F V
negación”
FACULTAD DE CIENCIAS
Universidad Metropolitana
Negación HISTORICO
Enseñando el camino
SOCIALES Y
EDUCACIÓN

  Negación de una conjunción ~(p)


~p ~
Esta lloviendo y el sol esta brillando (p)
No esta lloviendo o el sol no esta brillando ~(p) ~p
~

 Negación de una conjunción ~(p)


~p ~
Esta lloviendo o el sol esta brillando (p
q)
FACULTAD DE CIENCIAS
Universidad Metropolitana
Negación HISTORICO
Enseñando el camino
SOCIALES Y
EDUCACIÓN

 
Negación de una condicional ~(p) p ~
Esta lloviendo, entonces hay nubes en el cielo p
Esta lloviendo y no hay nubes en el cielo ~(p)
Esta lloviendo y no hay nubes en el cielo p~

Como sinónimos deno, se utilizan las


siguientes expresiones:
 No es cierto que …….. No es el caso
que……… Es falso que…………
 No sucede que…………….
FACULTAD DE CIENCIAS
Universidad Metropolitana
Condicional HISTORICO
Enseñando el camino
SOCIALES Y
EDUCACIÓN

 Conectivo que  Ejemplos:


enlaza una
proposición llamada  Si apruebo
antecedente con entonces te
otra llamada presto el libro
consecuente.
 Si un cuerpo se
 Si p y q son
proposiciones, se calienta
llama condicional de entonces se
p y q a la proposición dilata
compuesta “si p,
entonces q” y se
 Si me gano la
denota por: lotería
FACULTAD DE CIENCIAS
Universidad Metropolitana
Condicional HISTORICO
Enseñando el camino
SOCIALES Y
EDUCACIÓN

 Veamos la
p q pq
tabla del
condicional: V V V
pq V F F

Es falsa, solo si F V V
el
F F V
antecedente
es verdadero
 Conviene pensar en una “promesa”
..... Siyno
el llueve (entonces) iremos a
FACULTAD DE CIENCIAS
Universidad Metropolitana
Condicional HISTORICO
Enseñando el camino
SOCIALES Y
EDUCACIÓN

 El condicional es p q pq
falso, sólo cuando el
V V V
antecedente es
verdadero y el V F F
consecuente es F V V
falso; es decir, F F V
cuando la “promesa”
no se cumple.
FACULTAD DE CIENCIAS
Universidad Metropolitana
Condicional HISTORICO
Enseñando el camino
SOCIALES Y
EDUCACIÓN

 El condicional es
muy importante en
matemáticas, porque
los Teoremas se
expresan en forma p q pq
condicional. V V V
 Un Teorema será un
condicional
verdadero con
hipótesis verdadera
FACULTAD DE CIENCIAS
Universidad Metropolitana
Condicional HISTORICO
Enseñando el camino
SOCIALES Y
EDUCACIÓN

Algunas expresiones del lenguaje que


indican la presencia de un condicional (p
→ q), son las siguientes:
 p es condición suficiente para q
 Si p, q
 q si p
 Que p supone que q
 Cuando p, q
 q es condición necesaria para p
 Encaso de que p entonces q
 q sólo si p
Universidad Metropolitana
Tablas de verdad Enseñando el camino

 Recordemos que el valor de certeza de


una proposición compuesta depende
de los valores de certeza de las
proposiciones simples que la
componen
 Para analizar los valores de certeza de
una proposición compuesta,
representamos todas las
posibilidades de valores de verdad de
las proposiciones simples, en un
Ejemplo con 2 Universidad Metropolitana
proposiciones simples Enseñando el camino

 Construyamos
  la tabla de verdad para la
siguiente proposición :(pq)(p~q)
 4 filas de posibilidades n= N° de
variables

p q ~q pq p~q (pq)(p~q)

V V F V F F
V F V F V F
F V F F V F
F F V F V F
Universidad Metropolitana
En resumen Enseñando el camino

 Una tabla de verdad para


proposiciones compuestas
que contienen:
 4
1 proposición simple… tendrá = 2 2
filas
2 filas 8 = 2 3
filas
 2 proposiciones simples 16= 2 4
filas
 3 proposiciones simples
 4 proposiciones simples

2n filas
……razonando
Ejemplo con 3 Universidad Metropolitana
proposiciones simples Enseñando el camino

p q r
V V V
 ¿Cuántas V V F
posibilidades V F V
tendremos? 8 V F F
F V V
F V F
F F V
F F F
Ejemplo con 3 Universidad Metropolitana
proposiciones simples Enseñando el camino

Hacer la tabla de certeza para: (rp)  ~(qp)

p q r rp qp ~(qp (r  p)  ~(qp)


V V V ) F
V V F V V F F
V F V V V F F
V F F V V F F
F V V V V F F
F V F V V F F
F F V F V F V
F F F V F V F
F F V
Formas de expresar un Universidad Metropolitana
condicional……. Enseñando el camino

 Si es Chiclayano, es Peruano (p q)


 Es Peruano, siempre que sea Chiclayano
 Es Peruano si es Chiclayano
 Es suficiente que sea Chiclayano para que
sea Peruano
 Siempre y cuando sea Chiclayano, será
Peruano.
 Es necesario que sea Peruano para ser
Cliclayano
TODAS ESTAS EXPRESIONES SE SIMBOLIZAN
COMO: p  q
Universidad Metropolitana
Partes de un condicional Enseñando el camino

p q

antecedente consecuente
Condición Condición
suficiente necesaria
Formas derivadas del Universidad Metropolitana
condicional Enseñando el camino

 Dado el condicional directo: p q, el


condicional ~ p  ~q se llama contrario
y lo expresaríamos: “ si no p, entonces no
q”

 Directo: p q
Si repruebo el examen, entonces me enojaré
bastante
 Contrario: ~ p  ~q
Si no repruebo el examen, entonces no me
enojaré bastante
Formas derivadas del Universidad Metropolitana
condicional Enseñando el camino

 Dado el condicional directo: p q, el


condicional q  p se llama recíproco y lo
expresaríamos:
“ si q, entonces p”
 Directo: p q
Si repruebo el examen, entonces me enojaré
bastante
 Recíproco: q  p
Si me enojo bastante , entonces reprobaré
el examen
Formas derivadas del Universidad Metropolitana
condicional Enseñando el camino

 Dado el condicional directo: p q, el


condicional ~ q  ~p se llama
contrarrecíproco y lo expresaríamos: “ si
no q, entonces no p”
 Directo: p q
Si repruebo el examen, entonces me enojaré
bastante
 Contrarrecíproco: ~ q  ~p
Si no me enojo bastante, entonces no
repruebo el examen
Universidad Metropolitana
Formas derivadas Enseñando el camino

Directo Recíproco
p q
q p

~p ~ ~q ~
q p
Contrario Contrarrecíproco

recíprocos contrarios

contrarrecíprocos
Universidad Metropolitana
Ejemplo Enseñando el camino

 Hallar las formas derivadas del


siguiente condicional:
 Si un número es par, entonces es
múltiplo de 4.
……………………………………. ¿V o F?
Falso (contraejemplo: 2)
Recíproco:
 Si un número es múltiplo de 4
entonces es par.
…………………………………..¿V o F?
Verdadero!
Universidad Metropolitana
Ejemplo Enseñando el camino

 Directo: p q
Si un número es par, entonces es
múltiplo de 4.
Contrario: ~ p  ~ q
 Si un número no es par, entonces no
es múltiplo de 4
Verdadero!
Universidad Metropolitana
Ejemplo Enseñando el camino

 Directo: p q
Si un número es par, entonces es
múltiplo de 4.
Contrarrecíproco: ~ q  ~ p
 Si un número no es múltiplo de 4,
entonces no es par
 Falso….. 2 no es múltiplo de cuatro y
es par (antecedente verdadero,
consecuente falso)
Universidad Metropolitana
Ejercicios Enseñando el camino

1. Escribir las formas derivadas para:


a) (r  ~q)  p.
b)Si yo digo sí, ella dice no.
2. Construye una proposición
verdadera que incluya un
condicional, una conjunción, una
disyunción y una negación (no
necesariamente en ese orden), que
conste de las componentes p, q y r
con todas ellas falsas.
Universidad Metropolitana
Ejercicios Enseñando el camino

 Escribe el recíproco, el inverso y el


contrarrecíproco de cada una de las
proposiciones siguientes:
 Si q, entonces r
 ~ p  (~ q )
 ~p~ (r  q )
 El sol brilla si estás feliz.
 Si tu automóvil no tiene aire
acondicionado, no tendrás amigos.