LÓGICA I

Catalog description

Estudio de métodos para analizar enunciados e inferencias en la lógica proposicional, por ejemplo, tablas veritativas y tablones analíticos; construcción de derivaciones tanto en la lógi ca proposicional como en la lógica de primer orden; metalógica de la lógica proposicional.