Proposición
Keywords: Proposición, Criterios de verdad, Lógica bivalente, Oración, Valor de verdad, Razonamiento, Lógica moderna
En lógica moderna, una proposición es lo que se afirma cuando se usa una oración para decir algo verdadero o falso. Así pues, una proposición corresponde al significado de una oración enunciativa, ya que las oraciones interrogativas, desiderativas o exclamativas carecen de valor de verdad.
Las proposiciones pueden ser afirmativas y negativas. En lógica bivalente, la negación de una proposición negativa equivale a una afirmación.
Por su extensión, las proposiciones pueden clasificarse en universales ( "Todo S es P" ), particulares ( "Algun S es P" ) y existenciales ( "Sócrates existe" ).
La combinación de ambos criterios da lugar a los siguientes tipos de proposiciones:
- Universal afirmativa ( "Todos los humanos son mortales" ). - Universal negativa ( "Ningún humano es mortal" ). - Particular afirmativa ( "Algunos planetas giran alrededor del Sol" ). - Particular negativa ( "Algunos planetas no giran alrededor del Sol" ). - Existencial afirmativa ( "Sócrates existe" ). - Existencial negativa ( "Sócrates no existe" ).
Todas ellas pueden ser verdaderas o falsas. Su valor de verdad, sin embargo, no depende de la lógica, sino de la aplicación de otro tipo de criterios de verdad.
La combinación de distintas proposiciones crea proposiciones más complejas: conjunciones (A y B), disyunciones (A o B, o ambas), condicionales (Si A entonces B) y bicondicionales (Si y sólo si A entonces B).
Las proposiciones son los elementos a partir de los cuales se construyen los razonamientos.