El cálculo de proposiciones
El cálculo lógico es una forma segura de razonamiento. Con una serie bien determinada de principios y reglas, el cálculo lógico de proposiciones nos permite inferir de manera que a partir de la suposición de la verdad de una o más hipótesis o premisas, podemos obtener una conclusión válida, que es su consecuencia lógica.
Reglas básicas de conectivas
Nos dicen cómo operar con funciónes lógicas como la conjunción, la disyunción, la condicional y la bicondicional.
Introducción del conjuntor (IC)
La regla nos dice que si tenemos en dos premisas o pasos del razonamiento dos fórmulas cualesquiera (A, B), podemos unirlas mediante el conjuntor:
A
B
_____
A & B
(La conclusión se separa de las premisas o hipótesis mediante una raya horizontal).
Una interpretación: Me gusta el jamón, me gusta la tortilla de patatas (premisas), luego me gusta el jamón y la tortilla de patatas (conclusión).