. Expresión simbólica: [(p) ∧ (p → ~q) ∧ (r ∨ q)] → (p ∧ r)
Premisas dadas:
P1: p
P2: p →~q
P3: r ∨ q A partir de la expresión simbólica seleccionada, el estudiante deberá:
➢ Definir las proposiciones simples, tendrá la libertad de definirlas
bajo una descripción basada en un contexto académico o social.
Las proposiciones simples deben contener 1. Sujeto, 2. Verbo
y 3. Predicado.
Ejemplo:
• p: Andrés estudia cálculo integral
• q: Andrés resuelve los ejercicios
• r: Andrés aprueba la evaluación
➢ Remplazar las variables expresadas simbólicamente y llevarlas al
lenguaje natural. Las proposiciones simples deben ser de autoría
de cada estudiante, por lo que de encontrar proposiciones iguales
entre estudiantes se considerara como copia y se tomaran las
medidas correctivas estipuladas por la UNAD (Rubrica).
➢ Complete la tabla de demostración de la validez del argumento
mediante leyes de inferencia lógica. (Un argumento será válido
cuando su valor de verdad es una tautología)