ABSTRACT
Como hablantes de una lengua podemos establecer relaciones de significado entre las proposiciones expresadas por las oraciones que emitimos. Sabemos que si es verdad que Ahora llueve en Macondo entonces también es verdad que Ahora llueve en alguna parte, y que si es verdad que Remedios la bella subió al cielo entonces es falso que Nadie subió al cielo. Esta capacidad es una de las manifestaciones de nuestra competencia semántica. En este capítulo haremos una breve introducción a la lógica proposicional, el sistema lógico más simple y básico que existe y que nos permite centrarnos en las relaciones de significado desde un punto de vista formal. Examinaremos varias relaciones posibles entre pares de contenidos proposicionales (independencia, entrañamiento, paráfrasis, contrariedad y contradictoriedad, presuposición y negación), considerando a las proposiciones como unidades mínimas de significado. También veremos la forma en que las proposiciones complejas (p. ej., conjunción, disyunción, condicional material) adquieren su valor de verdad a partir del valor de verdad de sus componentes simples. Se incluye una breve sección sobre las lecturas pragmáticas habituales de algunas proposiciones complejas que no se corresponden con su semántica (por ejemplo, un bicondicional a partir de un condicional, una disyunción exclusiva a partir de una disyunción inclusiva o no marcada lingüísticamente como exclusiva).
