¿Qué es la Lógica? |
¿Qué es un argumento? ¿y la inferencia Lógica? |
¿En qué se diferencia la lógica formal de la material? ¿y la inducción de la deducción? |
¿En qué se diferencia el lenguaje natural de uno artificial? |
¿Qué es un lenguaje formal? |
¿Qué son las conectivas y las fórmulas bien formadas? |
¿Qué es una tabla de verdad? |
¿Qué son las interpretaciones y los modelos? |
¿Qué son las tautologías? ¿En qué se diferencian de las contradicciones y contingencias? |
¿Qué es una implicación tautológica? |
¿Y una equivalencia tautológica? ¿para qué sirven? |
¿Qué es el Modus Ponens? ¿y el Modus Tollens, Silogismo disyuntivo, Simplificación...? |
¿Qué es el cálculo deductivo? |
¿Para qué sirven las reglas de inferencia? |
¿En qué se diferencia una regla básica de una derivada? |