Que es una proposicion en logica

Qué es una proposición en lógica
Una proposición es entendida generalmente en el contexto de la lógica como una expresión lingüística cuya función es informativa.
Esto es, una proposición esuna oración que afirma o niega algo.
La presencia de esta dimensión semántica o relacional implica, entonces, que la oración es verdadera o es falsa.
A veces a las proposiciones se las llama enunciados,precisamente por ser una de sus características poseer valor de verdad, pero dentro de la lógica el término más comúnmente usado es "proposición".
Quien esté aprendiendo lógica deberá saber que elhecho de que una proposición tenga valor de verdad no singifica que lo conozcamos, ni tampoco que lo lleguemos alguna vez a conocer.
La propiedad de ser verdadera o ser falsa de una proposición es decarácter semántico y depende de la relación que establece la oración con aquello que designa.
Las formas proposicionales como expresiones veritativo funcionales
Analizaremos cómo las formasproposicionales son fórmulas veritativo funcionales, o sea, de qué modo son susceptibles de adoptar uno u otro valor de verdad según las proposiciones simples que contengan sean verdaderas o falsas y segúnel significado de las conectivas que las unen.
Dentro de la lógica simbólica, que se vale de símbolos para analizar razonamientos y sus partes, se encuentra la lógica proposicional.
La lógicaproposicional simboliza, generalmente con letras minúsculas del alfabeto (p, q, r, s, por ejemplo) las denominadas proposiciones simples o atómicas que constituyen las partes de ciertas oraciones máscomplejas.
Por ejemplo, en la oración "llueve y hace frío" nos encontramos con dos proposiciones simples ("llueve" es una y la otra "hace frío") que se encuentran unidas por una conectiva lógicallamada conjunción.
En este caso, al simbolizar la oración a partir de sus proposiciones componentes y el modo cómo se unen obtenemos una expresión que se denomina forma proposicional, y a veces algo...