unidad 3 - ual.dyndns.orgual.dyndns.org/biblioteca/logica_matematica/pdf/unidad_03.pdf · unidad 3...
TRANSCRIPT
Unidad 3
Lógica Cuantificacional
3.1 Argumento y predicado3.2 Los cuantificadores “todos” y “algunos”3.3 Leyes de la lógica cuantificacional3.4 La prueba en la lógica cuantificacional3.5 Cálculo cuantificacional3.6 La deducción natural