Lógica Proposicional
¿Qué es?:
La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre
proposiciones, capaces de formar otras proposiciones de mayor complejidad.
La lógica proposicional estudia las sentencias u oraciones del lenguaje corriente o formal, a las que se les
puede asignar un valor de verdad, esto es verdadero (V) o falso (F).
a. El sol sale por el oriente.
b. Juan, ¿tienes el computador?
c. Rosa es la niña más linda de la clase.
a. A la oración “El sol sale por el oriente”, a la que se le asigna el valor de verdad “verdadero” (V).
b. En “Juan, ¿tienes el computador?”, no le puede asignar un valor de verdad. En general, las oraciones
interrogativas y a las exclamativas no se les puede asignar un valor de verdad.
c. A “Rosa es la niña más linda de la clase.”, no se le puede asignar un valor de verdad. La belleza es
subjetiva y todas las personas de la clase puede que no estén de acuerdo con esa afirmación.
Ejercicio:
Dadas las siguientes oraciones:
- La semana tiene siete días.
- Me voy de viaje.
- Una hora tiene sesenta segundos.
Las proposiciones son
a. 1. y 3.
b. 1. y 2.
c. 2. y 3.
d. 1., 2. y 3.
Learning Objectives:
El objetivo de aprender lógica proposicional radica en desarrollar habilidades para razonar de manera formal y precisa, y para analizar y evaluar argumentos de manera rigurosa. La lógica proposicional es una parte fundamental de la lógica matemática y proporciona las bases para comprender conceptos más avanzados en lógica y matemáticas.