Proposición

En filosofía y lógica, el término proposición se usa para referirse a:

• Las entidades portadoras de los valores de verdad.
• Los objetos de las creencias y de otras actitudes proposicionales.
• El significado de las oraciones demostrativas, como «el Sol es una estrella».

Es un producto lógico del pensamiento que se expresa mediante el lenguaje, 
sea éste un lenguaje común o formalizado, cuando adopta la forma de oración gramatical, 
o simbólico, cuando se expresa por medio de signos o símbolos de un lenguaje formal.

En Lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es el producto 
lógico del acto por el cual se afirma o se niega algo de algo, mientras ese acto constituye el juicio.

Es toda oración o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede 
concluir que es verdadero o falso no es proposición. Es cualquier agrupación de palabras o 
símbolos que tengan sentido y de la que en un momento determinado se pueda asegurar si 
es verdadera o falsa. La verdad o falsedad de una proposición es lo que se llama su valor lógico 
o valor de verdad. Las proposiciones se denotan con letras minúsculas.Las proposiciones se denotan 
con letras minúsculas. Ejemplo: p, q, r, a, b. •♦

Ejemplo:

ª       Hoy es lunes. (si es proposición ya que se puede verificar).

ª       Hablo y no hablo.

ª       Viene o no viene.

ª       Carlos Fuentes es un escritor.                                           (Simple)

ª       Sen(x) no es un número mayor que 1.                              (Compuesta)

ª       El 14 y el 7 son factores del 42.                                         (Simple)

ª       El 14 es factor del 42 y el 7 también es factor del 42.        (Compuesta)

ª       El 2 o el 3 son divisores de 48.                                          (Simple)   

ª       El 2 es divisor de 48 o el 3 es divisor de 48.                      (Compuesta)    

ª       Si x es número primo, entonces x impar.                         (Compuesta)

ª       Si x > 10, entonces 2x - 3 > 16.                                          (Compuesta)  

ª       No todos los números primos son impares.                       (Compuesta)

◘ PROPOSICIONES SIMPLES Y COMPUESTAS

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.

PROPOSICIONES COMPUESTAS

Tambien llamadas moleculares y son aquellas que están formadas por 2 o mas proposiciones simples. 
Eje: fui al banco pero estaba cerrado.

Conectores logicos

En programación se utilizan para combinar valores de verdad y obtener nuevos valores 
que determinen el flujo de control de un algoritmo o programa.Las conectivas lógicas son, junto con los 
cuantificadores, las principales constantes lógicas de muchos sistemas lógicos, principalmente la 
lógica proposicional y la lógica de predicados.