CÁLCULO PROPOSICIONAL

Es denominado también en lógica proposicional y es definido como la ciencia que trata de los principios válidos del razonamiento y la argumentación.

También se condidera como una rama de la lógica que se encarga de estudiar las formas del razonamiento y establece las reglas y principios que determinan la validez de un razonamiento o de un argumento.

EJEMPLO
EL PASTO ES VERDE, ENTONCES, SE PUEDE DECIR QUE ES VERDADERO O FALSO SEFÚN EL COLOR DEL PASTO.

EL AGUA ESTÁ FRÍA , ENTONCES, SE PUEDE DECIR QUE ES VERDADERO SI AL TOCARLA ESTA FRÍA.