Lógica y Argumentación

Calificación
Taller 31

Prof. Miguel Hernando Guamanga

Grupo: 003
Fecha: 14/10/2022
Estudiante 1 Código: A00398952 correo:
1119150593@u.icesi.edu.co
Estudiante 2 Código: A00399208 correo:
juan.perezsanchez@u.icesi.edu.co

Parte Holística (80%)

Considere el siguiente argumento:

Si el paciente presenta trisomía en el par genético 21 o es diagnosticado con Alzheimer, presenta

discapacidad cognitiva. El paciente NO es diagnosticado con Alzheimer sólo si NO presenta degeneración
en el lóbulo temporal. Igualmente, el paciente NO presenta discapacidad cognitiva NI ha sido diagnosticado
con Alzheimer. Por lo tanto, el paciente NO presenta trisomía 21 NI presenta degeneración en el lóbulo
temporal.

Determine lo siguiente:

1. Variables proposicionales (5%)

p: Presentar trisomía 21

q: Ser diagnosticado con Alzheimer

r: Presentar discapacidad cognitiva

S: Presentar degeneración en el lóbulo temporal

2. Forma lógica (15%)

3. F.B.F (15%)

1 Normas e instrucciones para la presentación de taller: duración (90 minutos), toda entrega extraordinaria no será evaluada;
durante el taller el celular debe estar apagado y guardado dentro del maletín; no está permitido el intercambio de mater ial de
trabajo; no se admiten fotos pegadas en el documento, todo el taller debe realizarse con las herramientas ofrecidas por el
procesador de texto Word; durante la realización del taller no se responden preguntas de contenido. Los operadores que pueden
usar son: (⇒, ¬, ∧, v, ∴) o (¬, &, >, v, ∴), no deben combinar los del primer paréntesis con los del segundo, ni viceversa. En caso
de requerir una agrupación mayor a paréntesis (), corchete [] y llaves {} usar otro paréntesis más grande. Importante: el
documento debe subirse en formato PDF.
 4. Tabla de verdad (5%)

Tautología

5. Simplificación algebraica (20%)

Formula Ley aplicada
A.
A.1
A.2
6. Deducción natural directa o indirecta (20%)
 Parte Disgregada (20%)

Complemente las demostraciones

1. Simplificación algebraica (15%)

Formula Ley aplicada
A. {(q ⇒ ¬𝑠) ∧ [(p ⇒q) ∧ (¬𝑠⇒¬r)]} ⇒ ¬ (p ∧ r) ≡ v
A.1 ((q>~s)
A.2

2. Deducción natural directa o indirecta (5%)

P1: [(p ∧ ¬q) v (p ∧ r)]

P2: (∼q ⟶∼p)

∴r