ALGEBRA I

Una proposición describe un estado de cosas. La lógica tradicional distingue entre juicio y proposición: El juicio es el acto del espíritu por medio del cual se afirma o niega algo de algo, la proposición es el producto lógico de dicho acto, es decir, lo pensado e dicho acto. Para Russell la proposición es "la clase de todas las sentencias que poseen la misma significación que una sentencia da". Los escolásticos establecieron dos tipos de proposiciones: las simples y compuesta, hoy llamadas elementales y moleculares.

• Elementales o atómicas: Son las proposiciones de forma más simple (o más básicas); también se les llama simples o monádicas por estar constituidas por un solo predicado. Una proposición atómica es una proposición completa sin términos de enlace. Son afirmativas. Por ejemplo: "Llueve", "Arequipa está cerca del Misti", "Hay seres inteligentes en Saturno"; y

• Moleculares: Se da cuando se juntan una o varias proposiciones atómicas con un términos de enlace; se llaman también Compuestas, por integrar dos o más proposiciones atómicas. Por ejemplo: "Llueve y hace frío", "Si está nublado, entonces podrá llover". En estas proposiciones, las oraciones elementales o simples están unidas mediante partículas como "y", "o", etc., por ejemplo: "Fugimori nació en Lima y Quito es la capital de Ecuador". En la lógica proposicional se trata de la vinculación de oraciones. No se ocupa ni de la forma ni del contenido de las frases, sino exclusivamente de su forma de conexión.