Tipos de proposiciones

Recordemos que en adelante nos referiremos a las proposiciones lógicas, simplemente como PROPOSICIONES.

En general

Las proposiciones se clasifican en dos tipos: Simples y Compuestas, dependiendo de como están conformadas.

Proposiciones Simples

Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer términos de enlace en el sujeto o en el predicado, pero no entre oraciones componentes.

Proposiciones Compuestas

Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o términos de enlace entre oraciones componentes.

Ejemplos

En los siguientes ejemplos usaremos S para las simples y C para las compuestas:

Las medianas de un triángulo se intersecan.	S	No existen negaciones, ni términos de enlace
El 14 y el 7 son factores del 42.	S	Aunque hay un término de enlace, éste afecta al sujeto
El 14 es factor del 42 y el 7 también es factor del 42.	C	Existen dos proposiciones enlazadas por una conjunción
El 2 o el 5 son divisores de 48.	S	Aunque hay un término de enlace, éste afecta al sujeto
El 2 es divisor de 48 o el 5 es divisor de 48.	C	Existen dos proposiciones enlazadas por una disyunción
No todos los números primos son impares.	C	Existe una negación que afecta a una proposición
Un entero no primo mayor de 1, es divisible por un primo.	S	Aunque existe un no, éste afecta al sujeto
Si sumamos dos primos, entonces la suma es un primo.	C	Existe una implicación como término de enlace.
La suma de dos primos es un primo.	S	No existen negaciones, ni términos de enlace

En particular

Existen proposiciones, Simples o Compuestas, que están formuladas en términos de una o más variables como por ejemplo:

1) Si x > 2, entonces 5x - 27 > 5.

2) sen(x) no es un número mayor que 0.5.

3) Si x > 5, entonces 2x - 3 > 16.

4) sen(x+y) = 2sen(x)cos(y).

A este tipo de proposiciones se les conoce como Abiertas dado que son falsas o verdaderas, dependiendo del valor de la variable (o las variables).

Sin embargo algo muy importante al respecto, es que la o las variables deben tener definido un Dominio que hagan que tales proposiciones sean lógicas.

Por ejemplo en la 1), no valdría sustituir x por un número complejo o por una persona. De inmediato se antoja que el Dominio sean números reales.

Este tipo de proposiciones son frecuentes, si no es que las más, en nuestros cursos de matemáticas.