123

Apuntes

• Subtema: Evaluación de Argumentos Lógicos Evalúa todas las combinaciones posibles. Si no hay contraejemplo (V...V → F), el argumento es válido. Un argumento válido asume la negación de la conclusión (p→q, ¬q) y busca una contradicción (rama cerrada). Si todas las ramas cierran, es válido. • Subtema: Deducción Natural La deducción natural deriva la conclusión a partir de las premisas usando reglas válidas, paso a paso. En la reducción al absurdo (RA), se asume la negación de la conclusión y se busca una contradicción lógica (A ∧ ¬A). Si la suposición es falsa, el argumento original es válido. Este método es fundamental para garantizar la solidez de los argumentos en ingeniería lógica. • Subtema: Tablas de Verdad Completas Procedimiento: 1. Cálculo de dimensiones: n = variables simples. Por ejemplo, 2^3 = 8 filas. 2. Asignación de valores: Cobertura exhaustiva de todas las combinaciones V/F. 3. Evaluación de premisas y conclusión: Cálculo de verdad para cada componente y el argumento final. Ejemplo de tabla de verdad: \[ \begin{array}{|c|c|c|c|c|} \hline p & q & p \to q & (p \to q) \land p & ((p \to q) \land p) \to q \\ \hline V & V & V & V & V \\ V & F & F & F & V \\ F & V...