LÓGICA PARA TEÓLOGOS II

Guía teórico-práctica de tablas semánticas para lógica de primer orden

Resumen

This work shows the relationship between logical consecuence and firstorder logic. This peculiar perpective has two objetives: first, to show how we can teach first-order logic, and second, to offer some basic materials that can be used to achieve our goal satisfactorily.