28 Nov Tema 6 – El cálculo de proposiciones y de predicados.
También llamada lógica matemática, o logística. A veces se denomina, sencillamente, lógica moderna, o formal o cálculo lógico[1]. Se llama “lógica simbólica” o “lógica formal” a la lógica moderna que, mediante el simbolismo lógico, o mediante un lenguaje formal...