Proposiciones Simples.- También denominadas atómicas. Son aquellas proposiciones que no se pueden dividir. Ejemplo:
El cielo es azul. (verdadero)
Nomenclatura: p

LOGICA PROPOSICIONAL

En lógica y matemática, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En la lógica proposicional, las fórmulas representan proposiciones y las constantes lógicas son operaciones sobre las fórmulas que producen otras fórmulas de mayor complejidad.[1] Como otros sistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza
En el idioma científico, una proposiciòn se refiere a un enunciado que puede ser verdadero o falso, generalmente una oración enunciativa, base de lo que constituye el lenguaje formal de la lógica simbólica.
Una proposición lógica es Expresión enunciativa a la que puede atribuirse un sentido o función lógica de verdad o falsedad.
Aunque existen lógicas polivalentes, en orden a la claridad del concepto, aquí consideramos únicamente el valor de Verdad o Falsedad.