Sección 1,1

Proposiciones
Que es una proposición?
Una proposición es una afirmación con sentido completo, y constituye la
forma más elemental de la lógica. Las proposiciones brindan información
sobre un acontecimiento falso, es decir, que puede ser verdadero o falso.
Por ejemplo: La Tierra es plana, está lloviendo, su gato es marrón.
 Proposiciones simples y
compuestas
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”.

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: “Si el perro es negro, el perro no es azul ni rojo”.

Fuente: https://concepto.de/proposicion/#ixzz7L7JY1cdL
Proposición en matemática
Dado que la matemática es un lenguaje formal muy próximo a la
lógica, su abordaje de las proposiciones no es demasiado
diferente, con la salvedad de que emplea números, variables y
signos matemáticos para expresar la relación y las conexiones
entre los términos de una proposición, o de una con otras.
Así, las proposiciones matemáticas también afirman o niegan
algo, estableciendo una conexión que puede juzgarse como cierta
o como falsa.
Por ejemplo, la expresión 4 + 5 = 7 afirma una relación formal
entre dichas cantidades, que en este caso puede considerarse
como falsa, pues su resolución indica que 4 + 5 = 9. Sin embargo,
a pesar de ser falsa, se puede enunciar, o sea, se puede proponer.