Proposiciones

Se denomina la unidad de razonamiento que expresa un contenido semántico al que se puede asignar un valor de verdad, es decir, que puede ser cierto o falso. Para ello, la proposición debe expresarse mediante una lengua natural, aunque también puede realizarse en lenguajes formales.

La lógica formal representa las proposiciones a través de letras del alfabeto, para así estudiar las conexiones lógicas entre ellas abstraídas de su contenido semántico: “si p entonces q”.
A partir de dicha la relación, luego puede determinarse en qué casos el contenido expresado es cierto, y en qué casos es falso, mediante las llamadas “tablas de la verdad”, que asignan valores verdaderos (V) o falsos (F) a la relación establecida, para estudiar sus resultados posibles.

Proposiciones Simples

Son aquellas que están compuestas por un sujeto y un predicado directamente relacionados, sin que aparezcan factores de negación (no), conjunción (y), disyunción (o) o implicación (si… entonces). En términos oracionales, se corresponden con oraciones simples sin subordinadas. 

Por ejemplo: 

• El perro es negro.
• La Revolucion Francesa fue en 1789.
• Las plantas generan oxigeno.
• Socrates fue un filosofo griego.

Proposiciones Compuestas

Son aquellas de tipo complejo, que incorporan elementos adicionales a través de factores de negación, conjunción, disyunción o implicación, y que en términos oracionales consisten en oraciones con subordinadas y otros componentes. 

Por ejemplo: 

• Compró el vestido negro o el rojo
• Estás conmigo o estás contra mí.
• La sobrepoblación y la delincuencia son dos de los principales problemas de México.
• Si colocas en el refrigerador la gelatina, entonces cuajará rápido.