Repasemos algunos conceptos básicos para abordar el tema de la lógica en la informática.

Se define enunciado o proposición a una oración que tiene un valor de verdad (verdadero o falso),pero no ambos a la vez.

En ese sentido, oraciones como:

• Hoy es lunes.
• La puerta se encuentra abierta.
• Entro al curso virtual.
• 2 + 2 = 5
• 7 = 7
• 3 < 2

tienen valor de verdad Verdadero o Falso (el cual dependerá del día de la semana, el estado de la puerta, mi actitud ante el curso por plataforma, las operaciones matemáticas, respectivamente), y por lo tanto, son proposiciones.

Clasificación de proposición: simple o compuesta.

Proposición simple: No es posible descomponerla en proposiciones más simples, es la unidad mínima.

• Por ejemplo: (2 + 2 = 5)

Proposición compuesta: Son las que se descomponen en proposiciones simples, siempre incluyen una conectiva.

• Por ejemplo: (2 + 2 = 5) y (7 = 7)

Es importante conocer las tres conectivas básicas de lógica en vinculación con los operadores de programación (lenguaje Java), como se muestra en la siguiente imagen.

Podemos formalizar o simbolizar una proposición utilizando letras del alfabeto, empezando con la letra p.

Retomando el ejemplo de proposición simple: 2+2=5

Se formaliza así:

p: 2+2=5

p

Retomando el ejemplo de proposición simple: 2+2=5, la negación de tal proposición es: No es cierto que, 2+2=5.

Se formaliza así:

p: 2+2=5

¬ p

Retomando el ejemplo de proposición compuesta: 2+2=5 y 7=7

Se formaliza así:

p: 2+2=5

q: 7=7

p ˄ q

Otro ejemplo de proposición compuesta: 2+2=5 o 7=7

Se formaliza así:

p: 2+2=5

q: 7=7

p ˅ q