Introduccion a la Logica de Proposiciones..

La lógica de proposiciones es la parte mas elemental de la lógica moderna o matemática. La lógica de proposiciones estudia las relaciones formales extraproposicionales, es decir, aquellas relaciones existentes entre proposiciones y no las que se dan dentro de ellas.

Concepto de proposición:

La proposición es una oración aseverativa de la que tiene sentido decir que es verdadera o falsa.

Ejemplo:
a) Dolly fue la primera oveja clonada. - Verdadera.
b) El átomo es una molécula. - Falso.

En consecuencia, la verdad y la falsedad son sus propiedades, es decir, solo las proposiciones pueden ser verdaderas o falsas.

Expresiones lingüísticas que no son proposiciones:

Todas las proposiciones son oraciones, pero no todas las oraciones son proposiciones. Para que una expresión lingüística sea proposición debe cumplir con los siguientes requisitos:

1. Ser oración.
2. Ser oración aseverativa, y
3. Ser o bien verdadera o bien falsa.

Por esto, no son ejemplos de proposiciones:

1. Las oraciones interrogativas,imperativas,desiderativas,exclamativas y las dubitativas.
2. Los juicios de valor.
3. Las pseudoproposiciones.
4. Las funciones proposicionales.
5. Las descripciones definidas, y
6. Los filosofemas.

Proposición,oración y enunciado:

Es necesario distinguir una proposición (objeto conceptual) de las oraciones (objetos lingüísticos) que la designan, así como es preciso distinguir una oración de sus diversas enunciaciones (acto psicofisico) orales, escritas.