Escolar Documentos
Profissional Documentos
Cultura Documentos
Proposiciones
Proposicin es una afirmacin de la cual podemos decir que es falsa, o bien que es verdadera, pero no ambas cosas.
Proposiciones
EJEMPLOS: a) Lima es la capital de EEUU b) Hay vida en Marte c) 4 + 5 = 8 d) x + 2 = 3 e) Qu hora es? f) 20 3 g) Esta afirmacin es falsa
Conectivos Lgicos
y conjuncin o disyuncin si , entonces implicacin si y slo si doble implicacin no negacin
Tabla de verdad
Leyes de equivalencia
Dos proposiciones, P y Q, son equivalentes (P Q) siempre y cuando P Q es una tautologa
Leyes de equivalencia
i. P ii. P iv. P Q (P Q P Q Q Q) Q P (Ley Contrarecproca) (Q P)
Leyes de equivalencia
Leyes Asociativas:
(p q) r p (q r) ; (p q) r p (q r)
pqqp
(p r) (p r) ; (p q) p q
Leyes de equivalencia
Ley de Doble Negacin: p p Leyes de Absorcin: p (p q) p p (p q) p Leyes del Cero y el Uno: (p F) p (p F) F (p T) T (p V) p Leyes de Idempotencia: (p p) p (p p) p
Tautologias y Contradicciones
Sea T una proposicin formada por p1, p2 , ... , pn proposiciones.
Demostrar: p q (p q) (q p)
Predicados:
Es una funcin proposicional
Ejemplos de Predicados:
Sea P(x): x + 1 > 2 y tomemos como dominio N.
Cuantificador Universal:
Sea (x)P(x) para todo x (en A), tal que para cada x (en A), tal que
Cuantificador Existencial:
(x)P(x)
existe un elemento x (en A), tal que hay un x (en A), tal que
Negaciones de Cuantificadores:
Negaciones de Cuantificadores:
Todos los nmeros impares son primos
Demostracin:
Una demostracin de una proposicin P es una cadena de consecuencias lgicas que termina en P
Demostracin Directa:
Demostracin Directa:
Teorema: Sean m, n dos nmeros enteros cualesquiera. Si m y n son nmeros impares, entonces m + n es un nmero par.
Demostracin Directa:
Probar p q equivale a a) p q b) q p
Demostracin Indirecta:
Demostracin Indirecta:
Demostracin directa
Probar (x)P(x)
Probar (x)P(x)