|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
||||||||
|
|
|
|
||||||||
|
|
||||||||||
|
|
|
|
||||||||
|
|
|
|
||||||||
|
|
|
|
||||||||
|
|
||||||||||
 ¿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? |