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