TRABAJO COLABORATIVO 2

PRESENTADO POR:

MARIA FERNANDA ALCALDE

CODIGO: 1085287039

GRUPO:

90004_325

PROGRAMA:

INGENIERIA DE SISTEMAS

PRESENTADO A:

WILLIAM SAVEDRA

TUTOR

28 DE NOVIEMBRE DEL 2015

SAN JUAN DE PASTO

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

Primera parte.

1.1 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.

1.2 Escribir las premisas en lenguaje simbólico.

P1: p

P2: q

P3: r

P4: (r&p&q)->s

1.5 Probar la validez del argumento empleando las tablas de verdad.

Tabla de verdadPreposiciones simples P1 P2 P3 P4 Conclusión

p q r S p q r (r&p&q)->s sv v v v v v v V Vv v v f v v v f fv v f f v v f f Fv v f v v v f f vv f f f v f f f Fv f f v v f f f Vv f v v v f v f Vv f v f v f v f Ff v v v f v v f Vf v v f f v v f FF v f v f v f F Vf v f f f v f f Ff f v v f f v f Vf f v f f f v f Ff f f v f f f f Vf f f f f f f f F (No existe el caso en que las premisas sean verdaderas y la conclusión sea falsa, por lo tanto el razonamiento es válido.)

1.6 Probar la validez del argumento empleando las leyes de inferencia.

Leyes de inferenciaP1: p P2: qP3: rP4: (r&p&q)->sConclusión: s

rp__________P5: r&p

(r&p)q___________P6: r&p&q

(r&p&q)->s(r&p&q)__________S

1.7 Verificación con simulador

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