Lgica Proposicional

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)

Leyes Conmutativas: p q q p Leyes Distributivas: p (q r) (p q) p (q r) (p q) Leyes de De Morgan: (p q) p q

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.

T es una tautologa si T es verdadera siempre

C es una contradiccin si C es una tautologa.

p p T p p C

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

Ejemplos de Cuantificador Universal:

Todos los nmeros impares son primos

Cuantificador Existencial:
(x)P(x)
existe un elemento x (en A), tal que hay un x (en A), tal que

Ejemplo de Cuantificador Existencial:

Algunos nmeros son impares y primos

Negaciones de Cuantificadores:

(x)P(x) (x)P(x) (x)P(x) (x)P(x)

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:

Probar p q Debemos suponer: p Probar: q

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:

Probar p q Suponer: q Probar: p

Demostracin Indirecta:

Teorema: Sea n un nmero entero. Si n2 es par, entonces n es par.

Demostracin por Contradiccin:

Demostrar p q Suponer: p q Probar: r r, para alguna proposicin r

Demostracin por Contradiccin:

Demostrar que 2 es irracional.

Demostracin directa

Probar (x)P(x)
Probar (x)P(x)

Demostracin por Induccin

Probar (n)P(n) P(1) es verdadero P(n) P(n+1)

Demostracin por Induccin Completo

Probar (n)P(n) P(1) es verdadero Paso inductivo. P(1)^ P(2) P(n)P(n+1)