lógica
TRANSCRIPT
![Page 1: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/1.jpg)
LÓGICA MATEMÁTICA
UNIDAD 1: CONJUNTO, LÓGICA Y PROBABILIDAD
![Page 2: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/2.jpg)
TRADUCCIONES
![Page 3: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/3.jpg)
P: El límite de velocidad es de 50 km/h.Q: El carro está viajando a 60 km/h.R: El carro excede el límite de velocidad.
Escribir:a) ¬P⇒¬Qb) ¬P∧¬Qc) (P∧Q) ⇒Pd) (P∧Q) ⇒¬Q
![Page 4: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/4.jpg)
![Page 5: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/5.jpg)
TABLAS DE VERDAD Es una herramienta que nos ayuda a
organizar todas las posibles combinaciones de valores de verdad para una o más proposiciones.
![Page 6: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/6.jpg)
NEGACIÓN Una proposición y su negación tienen
valores de verdad opuestos.
p ¬p
V F
F V
![Page 7: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/7.jpg)
DISYUNCIÓN Es un operador lógico que resulta verdadero
si cualquiera de los valores de verdad, de las proposiciones, es verdadero.
p q p∨qV V VV F VF V VF F F
![Page 8: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/8.jpg)
CONJUNCIÓN Es un operador lógico que sólo resulta
verdadero si ambos valores de verdad, de las proposiciones, son verdaderos.
p q p∧qV V VV F FF V FF F F
![Page 9: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/9.jpg)
IMPLICACIÓN O CONDICIONAL
Sólo es falsa cuando el valor de verdad del antecedente ( p ) es verdadero, pero el valor del consecuente ( q ) es falso.
p q p⇒qV V VV F FF V VF F V
![Page 10: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/10.jpg)
EQUIVALENCIA O BICONDICIONAL
Es verdadera cuando ambos valores de verdad son iguales.
p q p⇔qV V VV F FF V FF F V
![Page 11: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/11.jpg)
DISYUNCIÓN EXCLUSIVA Es un operador lógico que resulta verdadero
si sólo uno de ambos valores de verdad, de las proposiciones, es verdadero.
p q p⊻qV V FV F VF V VF F F
![Page 12: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/12.jpg)
RECÍPROCA, CONTRARIA, CONTRARECÍPROCA
p q p⇒q q⇒p ¬p⇒¬q ¬q⇒¬p
V V V V V V
V F F V V F
F V V F F V
F F V V V V
IMPLICACIÓN CONTRARIARECÍPROCACONTRARECÍPROCA
![Page 13: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/13.jpg)
![Page 14: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/14.jpg)
TAUTOLOGÍA Una expresión lógica se le denomina una
tautología, cuando todos sus valores de verdad son verdaderos.
q q p
![Page 15: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/15.jpg)
CONTRADICCIÓN LÓGICA Una expresión lógica se le denomina una
tautología, cuando todos sus valores de verdad son falsos.
q p q p
![Page 16: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/16.jpg)
EQUIVALENCIA LÓGICA Se dice que dos o más expresiones lógicas
son equivalentes, cuando los valores de verdad son los mismos bajo las mismas circunstancias.
q p q p
![Page 17: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/17.jpg)
EJERCICIOS
![Page 18: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/18.jpg)
![Page 19: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/19.jpg)
![Page 20: Lógica](https://reader035.vdocuments.co/reader035/viewer/2022070319/558348dad8b42a8f548b4ca5/html5/thumbnails/20.jpg)