Sei sulla pagina 1di 26

LÓGICA

LÓGICA PROPOSICIONAL
PROPOSICIONES LÓGICAS
Semana 2
Prof. Consuelo Jara

Profesora Consuelo Jara


TABLAS DE VERDAD
CONJUNCIÓN
Palabras que equivalen
a la conjunción:
• Pero 𝒑 𝒒 𝒑∧𝒒
• Sin embargo V V V
• Además V F F
• No obstante F V F
• Aunque F F F
• También
• Aún Luis es abogado y Nicolás es ingeniero
• A la vez, 𝑝 ∧ 𝑞
• También punto, coma,
punto y coma.
2
TABLAS DE VERDAD
DISYUNCIÓN DÉBIL

…o…

𝒑 𝒒 𝒑∨𝒒
V V V
V F V
F V V
F F F

David es profesor de matemáticas o ingeniero


𝑝 ∨ 𝑞
3
TABLAS DE VERDAD
DISYUNCIÓN FUERTE
O …o….

𝒑 𝒒 𝒑△𝒒
V V F
V F V
F V V
F F F

O Consuelo es casada o soltera


𝑝 △ 𝑞
4
TABLAS DE VERDAD
CONDICIONAL
Si …entonces..

𝒑 𝒒 𝒑→𝒒
V V V
V F F
F V V
F F V

Si Nicolás estudia en la UDEP entonces podrá


participar en las olimpiadas Ramón Mujica
𝑝→𝑞 5
CONDICIONALES
En una proposición condicional, hay dos partes bien
definidas:

𝑝→𝑞
𝑝: 𝐴𝑛𝑡𝑒𝑐𝑒𝑑𝑒𝑛𝑡𝑒 𝑞: 𝐶𝑜𝑛𝑠𝑒𝑐𝑢𝑒𝑛𝑡𝑒
𝑜 ℎ𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠 o tesis
Textualmente puede presentarse de otras formas:

• 𝑞 𝑦𝑎 𝑞𝑢𝑒 𝑝
• 𝑞 𝑝𝑢𝑒𝑠𝑡𝑜 𝑞𝑢𝑒 𝑝
• 𝑞 𝑐𝑢𝑎𝑛𝑑𝑜 𝑝
• p luego q
• P de modo q
• P por lo tanto q 6
TABLAS DE VERDAD
BICONDICIONAL
…SI Y SOLO SI ...

𝒑 𝒒 𝒑↔𝒒
V V V
V F F
F V F
F F V

Es un cuadrilátero si y solo si tiene cuatro lados


𝑝↔𝑞

7
TABLAS DE VERDAD
NEGACIÓN

Otros equivalentes a …NO….


la NEGACIÓN:
𝒑 ~𝒑
• No es cierto que
V F
• Es falso que
F V
• No ocurre, etc

No es cierto que Messi es peruano


~𝒑

8
Ejemplos

Simbolice los siguientes enunciados, señalando las


proposiciones:
 Pedro enseña matemática pero no es matemático.
 El presidente no renunció.
 Si él tiene un abogado entonces será absuelto
 El seguro se aplica en caso de enfermedad o desempleo
 Sebastián es Arquitecto o es Ingeniero
 Ingresaste porque estudiaste.
 Entrarás a ver la función, si pagas tu entrada.
 Me fui de viaje dado que estoy de vacaciones.
• Si llueve, entonces nos mojaremos.
• Iré al juego de campeonato si y solo si puedo conseguir una
entrada.
• Nació en Piura, de modo que es piurano.
• Luis tiene fiebre, por lo tanto está enfermo.
• El director del programa está en Lima o esta en Piura
• Si él tiene un abogado entonces será absuelto
2. ¿Cuáles de los siguientes enunciados son proposiciones
lógicas?
a) Las ciudades de Ica y Lima.
b) Lambayeque es la capital de Chiclayo.
c) ¿Cuántos presidentes ha tenido el Perú?
d) Ricardo Palma es llamado “El Bibliotecario Mendigo”.
e) Hijo, no e olvides de llegar temprano a casa.
3. Determine si las siguientes proposiciones son simples o
compuestas.
a) Sócrates y Pitágoras fueron filósofos.
b) Sócrates y Pitágoras fueron contemporáneos.
c) Hitler y Mussolini fueron representantes del fascismo
en Europa.
d) Las selecciones de vóley de Perú y Chile se
enfrentarán el próximo mes en un país neutral. 11
Ejercicio
Simbolice las siguientes proposiciones:
a) Tanto Lima como Ica son ciudades costeras.
b) Ni Ecuador ni Bolivia son productores de algodón.
c) Dora bosteza si y solo si ayer se acostó tarde, ya que
Dora tiene sueño.
d) Si Jesús estudia y trabaja, José ayuda a Jesús.
e) No es cierto, que tenga un auto y no tenga una casa;
ya que, o tengo una casa y tengo un auto, o no tengo
un auto.
f) Romeo se romperá un brazo si salta, pero moriría con
quemaduras si no salta.

12
LÓGICA

ELABORACIÓN DE TABLAS DE
VERDAD PARA ESQUEMAS
MOLECULARES
ELABORACIÓN DE TABLAS DE VERDAD
Las tablas de verdad tienen una estructura convencional

Siempre empieza con una columna para cada


proposición simple

Si la expresión a 𝒑 𝒒
evaluar tiene n
V V
proposiciones, el
número de filas es V F
de 2𝑛 F V
F F

14
ELABORACIÓN DE TABLAS DE VERDAD
Con dos proposiciones simples Con tres proposiciones simples

𝟐𝟐 = 𝟒 𝒇𝒊𝒍𝒂𝒔 𝟐𝟑 = 𝟖 𝒇𝒊𝒍𝒂𝒔

𝒑 𝒒 𝒑 𝒒 r
V V V V V
V F V V F
F V V F V
F F V F F
F V V
F V F
F F V
F F F

15
EVALUACIÓN DE ESQUEMAS
MOLECULARES
Debemos de considerar la jerarquía de los signos de agrupación,
contar las proposiciones involucradas y construir la tabla

Ejemplo:
Para la expresión molecular 𝑝 ∧ (𝑝 → 𝑞) → 𝑝

2 proposiciones, 𝟐𝟐 = 𝟒 𝒇𝒊𝒍𝒂𝒔

𝒑 𝒒 𝑝→𝑞 𝑝 ∧ (𝑝 → 𝑞) 𝑝 ∧ (𝑝 → 𝑞) → 𝑝

V V
V F
F V
F F
16
TAUTOLOGÍA
Cuando todos los valores de su operador principal son VERDADEROS

CONTRADICCIÓN
Cuando todos los valores de su operador principal son FASOS

CONSISTENTE O CONTINGENTE
Por lo menos un valor verdadero y un valor falso

17
LÓGICA

LEYES DE LÓGICA
PROPOSICIONAL
SIMPLIFICACIÓN DE PROPOSICIONES
COMPUESTAS
Algunas proposiciones lógicas o esquemas moleculares
pueden simplificarse o reducirse a esquemas mas simples,
para esto se usan leyes lógicas

A continuación usaremos algunas de esas leyes

19
Involutiva ~(~𝑝) ≡ 𝑝

Idempotencia 𝑝∧𝑝≡𝑝
𝑝∨𝑝≡𝑝
Conmutativa
𝑝∨𝑞 ≡𝑞∨𝑝 𝑝∧𝑞 ≡𝑞∧𝑝 𝑝↔𝑞≡𝑞↔𝑝
Asociativa
𝑝 ∨ 𝑞 ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟) Reducir:
𝑝 ∧ 𝑞 ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟) ~(~𝑝) ∧ (𝑝 ∧ 𝑞)

20
Distributiva
𝑝 ∨ 𝑞 ∧ 𝑟 ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)

𝑝 ∧ 𝑞 ∨ 𝑟 ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
Leyes de Morgan
∼ 𝑝 ∨ 𝑞 ≡∼ 𝑝 ∧∼ 𝑞 ∼ 𝑝 ∧ 𝑞 ≡∼ 𝑝 ∨∼ 𝑞
Identidad y complemento
𝑝∧𝑉 ≡𝑝 𝑝∧𝐹 ≡𝐹
𝑝∨𝑉 ≡𝑝 𝑝∨𝐹 ≡𝑝
𝑝 ∧∼ 𝑝 ≡F 𝑝∆𝑉 ≡ ~𝑝 21
𝑝 ∨∼ 𝑝 ≡V 𝑝∆𝐹 ≡ 𝑝
Ejemplo
Reducir: ∼ 𝑝 ∧ (∼ 𝑝 ∨ 𝑞) ∨ 𝑞

Distributiva (𝑝 ∧∼ 𝑝) ∨ (𝑝 ∧ 𝑞)

Complemento 𝐹 ∨ (𝑝 ∧ 𝑞)
Identidad (𝑝 ∧ 𝑞)

Una vez reducido el corchete continuamos:


∼ 𝑝∧𝑞 ∨𝑞
Morgan
∼ 𝑝 ∨∼ 𝑞 ∨ 𝑞
Complemento 𝑉
22
LEY DE ABSORCIÓN
𝑝∨ 𝑝∧𝑞 ≡𝑝
𝑝∧ 𝑝∨𝑞 ≡𝑝
𝑝 ∨ ~𝑝 ∧ 𝑞 ≡ 𝑝 ∨ 𝑞
𝑝 ∧ ~𝑝 ∨ 𝑞 ≡ 𝑝 ∧ 𝑞
LEY DE CONDICIONAL
𝑝 → 𝑞 ≡∼ 𝑝 ∨ 𝑞
NEGACIÓN DE LA CONDICIONAL
∼ (𝑝 → 𝑞) ≡ 𝑝 ∧∼ 𝑞 23
Ejemplo Veamos el mismo ejemplo:
∼ 𝑝 ∧ (∼ 𝑝 ∨ 𝑞) ∨ 𝑞

Absorción ∼ (𝑝 ∧ 𝑞) ∨ 𝑞
Morgan ∼ 𝑝 ∨∼ 𝑞 ∨ 𝑞
Complemento 𝑉
El proceso de reducción es mucho mas corto

24
Utilizando leyes lógicas, determine el valor de verdad de
las siguientes proposiciones:

 p  (p ∨ q)
 (p ∧ q)  [ p △ ( t  t ) ]
 [ (q → p ) ∧ ( p ∨q ) ] ∧ ( p △ q )
[ p ⟷ ( q ∧ ~ q ) ]  ~ p
 ( q  p )  [~ p △ ( t  t ) ]
 ~ (r  ~ r)  (p  t)
Dada las siguientes proposiciones

- [p  ( p  ~ r)]  ~ q
- p  [ ~q  ~ ( q  r)]
- ( p  ~ q )  [ ( p  ~ r )  ~ q]

 Cuál(es) es (son) equivalente(s) a la proposición


(𝑝 𝑞)(𝑞 𝑟)

Potrebbero piacerti anche