Acciones con Proposiciones

Operaciones lógicas

Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas dos proposiciones cuyos valores de verdad se conocen, se trata de caracterizar (conocer la verdad o falsedad) la proposición resultante, a través de su valor de verdad.

Si se conocen los valores de verdad de las proposiciones atómicas dentro de las moleculares, entonces es posible dar los valores de verdad de éstas. en consecuencia, la verdad o falsedad de una proposición molecular, depende de la verdad o falsedad de las atómicas que la componen y de los términos de enlace que las ligan.

Definición semántica de conectivas

Intuitivamente podemos afirmar que la semántica nos informa el significado de las proposiciones en el mundo real. Las conectivas generan un significado de las frases compuestas a partir de las proposiciones componentes que conectan. Para ello se utilizarán tablas de relación entre significados de las proposiciones componentes y de la compuesta por cada conectiva, estas tablas se denominan tablas de verdad.

Se denomina interpretación de una fórmula a una asignación de significados a sus fórmulas componentes básicas. Una interpretación es una línea de la tabla de verdad de la fórmula

Para "concluir" con este post, y para no abrumarte con tanta información, en el siguiente post describiremos cada una de las tablas de verdad de cada conectiva.