Cálculo proposicional.

Denominado también lógica proposicional: se define como la ciencia que

trata de los principios válidos del razonamiento y la argumentación. El estudio de lógica es el
esfuerzo por determinar las condiciones que justifican a una persona para pasar de una
proposición dada, llamadas premisas, a una conclusión que se deriva de aquellas. Según L.García,
1990, la Lógica proposicional estudia las operaciones proposicionales y la deducción
proposicional.

Es la más antigua y simple de las formas de lógica, permite representar y manipular aserciones
sobre el mundo que nos rodea, a través del razonamiento, primeramente evaluando sentencias
simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales. Es
diseñada para analizar ciertos tipos de argumentos, en ella las fórmulas representan proposiciones
y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas
de mayor complejidad. Como otros sistemas lógicos la lógica proposicional intenta esclarecer
nuestra comprensión de la noción de consecuencias lógicas para el rango de argumentos que
analiza

Gramática[editar]

Una vez definido el alfabeto, el siguiente paso es determinar qué combinaciones de símbolos
pertenecen al lenguaje del sistema. Esto se logra mediante una gramática formal. La misma
consiste en un conjunto de reglas que definen recursivamente las cadenas de caracteres que
pertenecen al lenguaje. A las cadenas de caracteres construidas según estas reglas se las llama
fórmulas bien formadas. Las reglas del sistema L son:

Las variables proposicionales del alfabeto de L son fórmulas bien formadas.

Si {\displaystyle \phi \,} \phi \, es una fórmula bien formada de L, entonces {\displaystyle \neg \phi
\,} {\displaystyle \neg \phi \,} también lo es.

Si {\displaystyle \phi \,} \phi \, y {\displaystyle \psi \,} \psi \, son fórmulas bien formadas de L,
entonces {\displaystyle (\phi \land \psi )} {\displaystyle (\phi \land \psi )}, {\displaystyle (\phi \lor
\psi )} {\displaystyle (\phi \lor \psi )}, {\displaystyle (\phi \to \psi )\,} {\displaystyle (\phi \to \psi )\,}
y {\displaystyle (\phi \leftrightarrow \psi )} {\displaystyle (\phi \leftrightarrow \psi )} también lo
son.

Sólo las expresiones que pueden ser generadas mediante las cláusulas 1 a 3 en un número finito
de pasos son fórmulas bien formadas de L.
Según estas reglas, las siguientes cadenas de caracteres son ejemplos de fórmulas bien formadas:

{\displaystyle p\,} {\displaystyle p\,}

{\displaystyle \neg \neg \neg q\,} {\displaystyle \neg \neg \neg q\,}

{\displaystyle (p\land q)} {\displaystyle (p\land q)}

{\displaystyle \neg (p\land q)} {\displaystyle \neg (p\land q)}

{\displaystyle (p\leftrightarrow \neg p)} {\displaystyle (p\leftrightarrow \neg p)}

{\displaystyle ((p\to q)\land p)} {\displaystyle ((p\to q)\land p)}

{\displaystyle (\neg (p\land (q\lor r))\lor s)} {\displaystyle (\neg (p\land (q\lor r))\lor s)}

Y los siguientes son ejempos de fórmulas mal formadas[cita requerida]:

Fórmula Error Corrección

{\displaystyle (p)\,} {\displaystyle (p)\,} Sobran paréntesis {\displaystyle p\,} {\displaystyle

p\,}

{\displaystyle \neg (p)\,} {\displaystyle \neg (p)\,} Sobran paréntesis {\displaystyle \neg
p\,} {\displaystyle \neg p\,}

{\displaystyle (\neg p)\,} {\displaystyle (\neg p)\,} Sobran paréntesis {\displaystyle \neg
p\,} {\displaystyle \neg p\,}

{\displaystyle p\to q\,} {\displaystyle p\to q\,} Faltan paréntesis {\displaystyle (p\to q)\,}
{\displaystyle (p\to q)\,}

{\displaystyle (p\land q\to r)} {\displaystyle (p\land q\to r)} Faltan paréntesis
{\displaystyle ((p\land q)\to r)\,} {\displaystyle ((p\land q)\to r)\,}

Por otra parte, dado que la única función de los paréntesis es desambiguar las fórmulas, en
general se acostumbra omitir los paréntesis externos de cada fórmula, ya que estos no cumplen
ninguna función. Así por ejemplo, las siguientes fórmulas generalmente se consideran bien
formadas:

{\displaystyle p\land q} {\displaystyle p\land q}

{\displaystyle \neg p\to q\,} {\displaystyle \neg p\to q\,}

{\displaystyle (p\land q)\lor \neg q} {\displaystyle (p\land q)\lor \neg q}

{\displaystyle (p\leftrightarrow q)\leftrightarrow (q\leftrightarrow p)} {\displaystyle

(p\leftrightarrow q)\leftrightarrow (q\leftrightarrow p)}

Otra convención acerca del uso de los paréntesis es que las conjunciones y las disyunciones tienen
«menor jerarquía» que los condicionales materiales y los bicondicionales. Esto significa que dada
una fórmula sin paréntesis, las conjunciones y las disyunciones deben agruparse antes que los
condicionales materiales y los bicondicionales. Por ejemplo:

Fórmula Lectura correcta Lectura incorrecta

{\displaystyle p\land q\to r\,} {\displaystyle p\land q\to r\,} {\displaystyle (p\land q)\to r\,}
{\displaystyle (p\land q)\to r\,} {\displaystyle p\land (q\to r)\,} {\displaystyle p\land (q\to r)\,}

{\displaystyle \neg p\leftrightarrow q\lor r\,} {\displaystyle \neg p\leftrightarrow q\lor r\,}
{\displaystyle \neg p\leftrightarrow (q\lor r)\,} {\displaystyle \neg p\leftrightarrow (q\lor
r)\,} {\displaystyle (\neg p\leftrightarrow q)\lor r\,} {\displaystyle (\neg p\leftrightarrow q)\lor
r\,}

{\displaystyle p\land q\leftrightarrow r\lor s\,} {\displaystyle p\land q\leftrightarrow r\lor s\,}
{\displaystyle (p\land q)\leftrightarrow (r\lor s)\,} {\displaystyle (p\land q)\leftrightarrow
(r\lor s)\,} {\displaystyle (p\land (q\leftrightarrow r))\lor s\,} {\displaystyle (p\land
(q\leftrightarrow r))\lor s\,}

Estas convenciones son análogas a las que existen en el álgebra elemental, donde la multiplicación
y la división siempre deben resolverse antes que la suma y la resta. Así por ejemplo, la ecuación 2
+ 2 × 2 podría interpretarse como (2 + 2) × 2 o como 2 + (2 × 2). En el primer caso el resultado sería
8, y en el segundo caso sería 6. Pero como la multiplicación siempre debe resolverse antes que la
suma, el resultado correcto en este caso es 6, no 8.

https://www.ecured.cu/C%C3%A1lculo_Proposicional