Lógica Matemática (Parte 1)

Fecha: 2018

1
 Proposiciones
Una proposición o enunciado es una oración, frase o
expresión matemática que puede ser falsa o verdadera,
pero NO AMBAS a la vez.

Ejemplo de proposiciones válidas y no válidas:

p: La tierra es el único planeta que tiene vida
q: Los únicos enteros positivos que dividen al 7 son el 1 y el mismo 7
r: -19 + 50 = 31
s: X- > (y – 13) * 7
t: ¿Cómo estás?
u: En 2018 una película chilena ganó un premio Oscar

2
 Operador AND { Y, Λ, •}
Conecta dos proposición que se deben cumplir para que se pueda
obtener un resultado VERDADERO.

Ejemplo: El automóvil arranca si y sólo si el estanque tiene gasolina y la

batería tiene corriente. Sean:
r: El automóvil arranca El operador Λ también
p: El estanque tiene gasolina Es conocido como
q: La batería tiene corriente Multiplicación lógica
r=pΛq

3
Operador AND

4
 Operador OR { O, V, + }
Se obtiene un resultado VERDADERO cuando ALGUNA
de las proposiciones es VERDADERA

Ejemplo: Una persona puede entrar al cine si y sólo si compra una entrada o
le regalan una entrada. Sean:
r: Una persona entra al cine El operador V también
p: compra una entrada Es conocido como
q: Le regalan una entrada suma lógica
r↔pVq

5
Operador OR

6
 Operador NOT { ¬, ~, ¯, ´}
Permite negar un proposición. Si una proposición es
verdadera pasa a falsa y viceversa.

Ejemplo:
p: El automóvil es azul
p’: El automóvil no es azul

7
Operador OR eXclusivo { xor}
Tiene un funcionamiento similar al de OR pero su resultado
es verdadero solamente si una de las proposiciones
es verdadera

8
 Proposición Condicional
Una proposición es condicional si esta formada por dos
Proporciones simples o compuestas p y q.
p→q
(si p entonces q)

Ejemplo: Considérese que un candidato a la presidencia dice “Si salgo electo

presidente de la República, entonces el crecimiento anual del país será del
7%”:
p: Salió electo Presidente de la República
q: El crecimiento anual fue del 7%

p→q

9
 Proposición Bicondicional
La proposición bicondicional solamente es verdadera si tanto p como
Q son falsas o bien si ambas son verdaderas.
p↔ q
(p si y sólo si q)

Ejemplo: Considérese que “Es buen estudiante, si y sólo si, tiene

Promedio siente”:
p: Es un buen estudiante
q: Tiene promedio siete

p↔ q

10
 Actividad
Representar con notación lógica los siguientes enunciados:
a) “Si no estudio para la asignatura A y no hago la tarea de la
asignatura B, entonces reprobaré el semestre o no podré ir de
vacaciones”

b) “Si no pago Internet, entonces me contarán el servicio. Y si

pago Internet, entonces me quedaré sin dinero o pediré
prestado. Y si me quedo sin dinero y pido prestado, entonces no
podré pagar la tarjeta de crédito, Si sólo si soy una persona
desorganizada”.

11
 Actividad
Representar con notación lógica los siguientes enunciados:
a) p: estudio para la asignatura A
q: hago la tarea de la asignatura B
r: Reprobaré el semestre
s: Podré ir de vacaciones
(p’ Λ q’)→ (r v s’)
b) p:Pago Internet
q:me cortarán el servicio de Internet
r: me quedaré sin dinero
s: pediré prestado
t: pagar tarjeta de crédito
w: soy una persona desorganizada
(p’ → q) Λ [ (p → (r v s)] Λ [ (r Λ s) → t’] ↔ w

12
 Actividad
Suponiendo que p es verdadera, q es falsa y r es verdadera,
Encuentre el valor de cada proposición

13
 Actividad
Suponiendo que p es verdadera, q es falsa y r es verdadera,
Encuentre el valor de cada proposición

14
 Tablas de Verdad

- Permite mostrar los resultados obtenidos al aplicar cada uno de los

Operadores lógicos a las proporciones simples.
- Posee filas y columnas. El número de filas depende del número de
Proposiciones diferentes que conforman una proporción compuesta.
- En general el número de filas es: 2^n, donde n es el número de
proposiciones

[(p → q) v (q’ Λ r)] ↔ (r → q)

2³ = 8

15
Tablas de Verdad
[(p → q) v (q’ Λ r)] ↔ (r → q)
2³ = 8

16
Actividad 1

17
Actividad 2

18
Resumen

19