Actividad 10 unad

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LÓGICA MATEMÁTICA

Trabajo COLABORATIVO NO. 2

II) Demuestra a continuación la validez de la conclusión planteada por Carlos:

Ana: O construimospaz o generamos violencia.
María: Digamos pues que si generáramos violencia, entonces no nos preocuparíamos por el bien común.
Carlos: Entonces todos generamos violencia.

Declaración deproposiciones simples:

p= O construimos paz
q= O generamos violencia
s= entonces no nos preocupamos por el bien común.
t= Entonces todos generamos violencia

Premisas:

Premisa 1: p v q
Premisa 2: q~s
Premisa 3: t
Premisa 4: t ~p

Conclusión: q

Demostración:

q = S.D
Las premisas 2 y 4 = MTT
Las premisas 3 = MPP

Ejemplo:

El benefactor hubo de ser: o Pedro, o Andrés
- Sihubiera sido Pedro, tuvo que estar presente, pero estaba de viaje.
En conclusión: tuvo que ser Andrés.

Declaración de proposiciones simples:

p = El benefactor fue Pedro
q = El benefactor fueAndrés
s = Pedro estaba presente
t = Pedro estaba de viaje

Premisas:

premisa 1: p v q
premisa 2: p --> s
premisa 3: t
premisa 4: t --> ~s

Conclusión: q

Demostración:

premisa 1: pv q
premisa 2: p --> s
premisa 3: t
premisa 4: t --> ~s
____________________
2. ~s 3, 4 MPP
3. ~p 5, 2 MTT
4. q 6, 1 S.D

2. Finalmente, haciendo uso de las tablas deverdad determina la validez del siguiente razonamiento:

Para dar solución a este tercer punto puedes apoyarte en el módulo, en la lectura “a que viene la lógica” y el material de apoyo dispuestopara la unidad:
http://campus01.unadvirtual.org/moodle/mod/resource/view.php?id=5026

[pic]

Tomamos para el análisis la premisa: Si Estudio entonces aprendo y descanso, por eso estudio, decimos:Premisa 1: Estudio entonces aprendo
Premisa 2: Aprendo y descanso
Conclusión: Estudio

Por lo que observamos en la tabla de verdad que solo es falsa cuando no estudiamos por tanto ni...