Unidad 3 - ual.dyndns.orgual.dyndns.org/Biblioteca/Logica_Matematica/Pdf/Unidad_03.pdf · Unidad 3...
20
Unidad 3 Lógica Cuantificacional 3.1 Argumento y predicado 3.2 Los cuantificadores “todos” y “algunos” 3.3 Leyes de la lógica cuantificacional 3.4 La prueba en la lógica cuantificacional 3.5 Cálculo cuantificacional 3.6 La deducción natural
Transcript of Unidad 3 - ual.dyndns.orgual.dyndns.org/Biblioteca/Logica_Matematica/Pdf/Unidad_03.pdf · Unidad 3...
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