Trabajo colaborativo 2- Lógica Matemática

TRABAJO COLABORATIVO 2

LOGICA MATEMATICA

PRESENTADO POR:

Delcy Yadira Álvarez Guerrero

CODIGO: 1053684291

PRESENTADO A:

Patricia Leguizamón P

Univecidad Nacional Abierta Y A Distancia

UNAD

(Tunja)

06/11/2015

Trabajo colaborativo 2- Lógica Matemática

PRIMERA PARTE PROBLEMA DE APLICACIÓN

¿Qué es el razonamiento propuesto es deductivo o inductivo? El razonamiento es deductivo. Debido a que siempre tiene en cuenta las premisas, usando leyes de inferencia para obtener conclusiones. Premisa 1: Los pueblos del meridional poseen agudeza mental. Premisa 2: los pueblos del frio norte son valerosos. Premisa 3: Italia se ubica en una zona meridional norte. Premisa 4: Italia se ubica en una zona meridional norte entonces La población de Italia es

fuerte Física y mentalmente

Plantear las proposiciones simples.

P= Los pueblos del meridional poseen agudeza mental.

q= los pueblos del frio norte son valerosos

r= Italia se ubica en una zona meridional norte. s= son fuerte física y mentalmente.

Escribir las premisas en lenguaje simbólico.

P1: p

P2: q

P3: r

P4: (r^p^q) →s

Probar la validez del argumento empleando las tablas de verdad.

Tabla de verdad

Preposiciones simples P1 P2 P3 P4 Conclusión

p q r S p q r (r^p^q) →s s

v v v v v v v V v

v v v f v v v F f

v v f f v v f F F

v v f v v v f F v

v f f f v f f F F

v f f v v f f F V

v f v v v f v F V

Trabajo colaborativo 2- Lógica Matemática

v f v f v f v F F

f v v v f v v F V

f v v f f v v F F

F v f v f v f F V

f v f f f v f F F

f f v v f f v F V

f f v f f f v F F

f f f v f f f F V

f f f f f f f F F

Probar la validez del argumento empleando las leyes de inferencia. 𝑟 ∧∨ Leyes de inferencia P1: p P2: q P3: r P4:(𝑟 ∧ 𝑝 ∧ 𝑞) → 𝑠 Conclusión: s r p __________

P5: 𝑟 ∧ 𝑝 .(𝑟 ∧ 𝑝) q ___________ P6 :(𝑟 ∧ 𝑝 ∧ 𝑞) → 𝑠 (𝑟 ∧ 𝑝 ∧ 𝑞) → 𝑠 (𝑟 ∧ 𝑝 ∧ 𝑞) __________ S Verificación con simulador

Trabajo colaborativo 2- Lógica Matemática

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/