LÓGICA PARA TEÓLOGOS

Guía teórico-práctica de tablas semánticas para la cátedra lógica en la facultad de teología (UCAB)

Resumen

In this work it is intended to serve both as an introduction to Propositional Logic andas an exposition of new results and techniques in 'semantic' or 'analytic' methods for theologian. Ifocus on two main aims. The primary aim is to show how can teach propositional logic and then treat the basic syntactic and semantic fundamentals of propositional logic. A secondary aim of the paper is to ojfer some basic materials -which we give a detailed presentation of the tableau method for propositional logic- can use to achieve our goal satisfactorily.