Día 18 - Leyes de Morgan

El día de ayer falté a clase pero me indicaron que vieron el tema de las Leyes de Morgan. No le encuentro mucha aplicación a este tema, y mucho menos le encuentro lógica. Sin embargo estas leyes son una parte importante de la lógica proposicional y muy útiles cuando se quieren encontrar equivalentes para proposiciones que se obtienen por negación de las proposiciones compuestas.

LEYES DE MORGAN:

"La negación de una conjunción equivale a la disyunción de las negaciones."
¬(P ^ Q) ≡ (¬P v ¬Q)

"La negación de una disyunción equivale a la conjunción de las negaciones."
¬(P v Q) ≡ (¬P ^ ¬Q)

NEGACIÓN DE LA CONDICIONAL Y BICONDICIONAL
La negación de P→Q equivale a:
¬(P → Q) ≡ (P ^ ¬Q)

La negación de P↔Q equivale a:
¬(P ↔ Q) ≡ (P ^ ¬Q) v (Q ^ ¬P)

Read More

Día 16 - Tablas de Verdad

Sinceramente, este tema sólo me interesó cuando estaba en secundaria y lo podía aplicar a varios proyectos de electrónica. Pero, regresar a ver sólamente la teoría y las bases de las tablas de verdad no me llama mucho la atención, pero veremos como se va desarrollando el tema.

Lo que vimos hoy se reduce a:
¿Qué es una proposición? y ¿Qué tipos de proposiciones hay?

Según el libro "Estrategias de Razonamiento", una proposición es una idea o enunciado a la que se le puede asignar uno y solo uno de los valores de verdad, que pueden ser: Verdadero o Falso, pero no ambos.

A las proposiciones se les representa por las letras del alfabeto, que pueden ser: p, q, r, s... etc.

Tipos de Proposiciones:
1. Proposición Abierta: los que constan de una o más variables no definidas.
    Por ejemplo: "Él nació en Guatemala."

2. Proposición Simple: las que se pueden representar por una sola variable definida.
    Por ejemplo: "Luis nació en Guatemala."

3. Proposiciones Compuestas: las que constan de 2 o más enunciados simples.
    Por ejemplo: "Luis nació en Guatemala y Sofía nació en Chile."

Read More