Lógica

20
LÓGICA MATEMÁTICA UNIDAD 1: CONJUNTO, LÓGICA Y PROBABILIDAD

Transcript of Lógica

Page 1: Lógica

LÓGICA MATEMÁTICA

UNIDAD 1: CONJUNTO, LÓGICA Y PROBABILIDAD

Page 2: Lógica

TRADUCCIONES

Page 3: Lógica

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
Page 5: Lógica

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

NEGACIÓN Una proposición y su negación tienen

valores de verdad opuestos.

p ¬p

V F

F V

Page 7: Lógica

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

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

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

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

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

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
Page 14: Lógica

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

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

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

EJERCICIOS

Page 18: Lógica
Page 19: Lógica
Page 20: Lógica