ClubEnsayos.com - Ensayos de Calidad, Tareas y Monografias
Buscar

TRABAJO COLABORATIVO NO. 2 LOGICA MATEMATICA


Enviado por   •  4 de Marzo de 2013  •  1.898 Palabras (8 Páginas)  •  1.874 Visitas

Página 1 de 8

INTRODUCCION

En la realización de este significativo trabajo aprenderemos y mostraremos de una manera practica y sencilla la forma simbólica y sus premisas, de las Inferencias Lógicas tales como el Modus Ponendo Ponens (MPP), Modus Tollendo Tollens (MTT), Silogismo Hipotético (S: H), Modus Tollendo Ponens (MTP), Dilema constructivo (D.C); haciendo su debida representación por medio de tablas de verdad; con el fin de aprender a razonar lógicamente.

OBJETIVOS ESPECIFICOS

• Profundizar el tema tratado de la 2 unidad del modulo de Lógica matemática.

• Ayudar en el debido desarrollo del trabajo colaborativo con el fin de que cada integrante entienda y razone respecto a los temas del modulo 2 unidad.

• Desenvolver apropiadamente las temáticas planteadas por la tutora.

OBJETIVO GENERAL

• Desarrollar un taller de ejercicios sobre los contenidos de la unidad 2 del curso de Lógica Matemática, los cuales le permitirán profundizar en los temas tratados.

DESARROLLO DE ACTIVIDADES

1. Cada integrante del grupo colaborativo elabora un ejemplo de la forma estándar de un silogismo categórico para que sea analizado y realimentado por sus compañeros y luego lo anexe al producto final de trabajo Colaborativo 2.

Silvia Veronica Castiblanco Muñoz 1:

P1: Ningún niño juega a las muñecas.

P2: Todas las de mi curso son niñas.

... Todas las de mi curso juegan a las muñecas.

Mayra Alejandra Lopera Zambrano 2:

P1: Todos los perros tienen 4 patas.

P2: Todas las aves tienen 2 patas.

... Ninguna ave tiene 4 patas.

Nelson David Valencia Cubillos 3:

P1: Toda leopardo es rápido.

P2: Ninguna tortuga es rápida.

... Ninguna tortuga es leopardo.

Diego Alejandro Fernández 4:

P1: todos los niños juegan con carros

P2: Algunos adultos juegan con carros.

... Todo adulto no juega con carros.

2. Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusión, establecer la naturaleza del silogismo y verificar si está en forma estándar.

“Todos los delincuentes juveniles son personas inadaptadas y algunos delincuentes juveniles son productos de familias desunidas; por tanto, algunos individuos desadaptados son producto de familias desunidas”.

P1: Termino mayor - Predicado de la conclusión

P2: Termino menor - Sujeto de la conclusión

... Conclusión

En el análisis anterior nos permite afirmar que es un silogismo categórico en forma estándar el cual se puede escribir así:

P1: Todos los delincuentes juveniles son personas inadaptadas

P2: Algunos delincuentes juveniles son productos de familias desunidas

... Algunos individuos desadaptados son producto de familias desunidas

3. Para las siguientes proposiciones simples, aplique el MPP y MTT, identifique las premisas y la conclusión, represente simbólicamente y construya la tabla de verdad:

A. p: Estoy ocioso

q: Me vuelvo holgazán

RTA:

MPP: [(pq) ^p]q

P1: si estoy ocioso entonces, me vuelvo holgazán

P2: Estoy ociosos

... me vuelvo holgazán

.

Simbólicamente, si p: estoy ocioso

q: me vuelvo holgazán

Entonces: P1: pq

P2: ^p

Conclusión: q

Tabla de verdad MPP:

p q pq [(pq) ^ p] [(pq) ^ p]q

V V V V V

V F F F V

F V V F V

F F V F V

La inferencia lógica es correcta, además, es una tautología.

MTT: [(pq) ^~q]~p

P1: Estoy ociosos entonces me vuelvo holgazán

P2: no me vuelvo holgazán

... no estoy ocioso

.

Simbólicamente, si p: El Estoy ocioso.

q: me vuelvo holgazán.

Entonces: P1: pq

P2: ~q

Conclusión: ~p

Tabla de verdad MTT

p q ~p ~q pq [(pq) ^~q] [(pq) ^~q]~p

V V F F V F V

V F F V F F V

F V V F V F V

F F V V V V V

La inferencia lógica es correcta, además es una tautología.

B. p: el software está bien instalado

q: Los alumnos pueden utilizar el programa

RTA:

MPP: [(pq) ^p]q

P1: el software está bien instalado entonces Los alumnos pueden utilizar el programa

P2: el software está bien instalado

... Los alumnos pueden utilizar el programa

Simbólicamente, si p: el software está bien instalado

q: Los alumnos pueden utilizar el programa

Entonces: P1: pq

P2: p

Conclusión: q

Tabla de verdad MPP:

p q pq [(pq) ^ p] [(pq) ^ p]q

V V V V V

V F F F V

F V V F V

F F V F V

La inferencia lógica es correcta.

MTT: [(pq) ^~q]~p

P1: el software está bien instalado entonces Los alumnos pueden utilizar el programa

P2: los alumnos no pueden utilizar el programa

... el software no está bien instalado

Simbólicamente, si p: el software está bien instalado

q: Los alumnos pueden utilizar el programa

Entonces: P1: pq

P2: ~q

Conclusión: ~p

Tabla de verdad MTT

p q ~p ~q pq [(pq) ^~q] [(pq) ^ ~q]~p

V V F F V F V

V F F V F F V

F V V F V F V

F F V V V V V

La inferencia lógica es correcta.

4. Para

...

Descargar como (para miembros actualizados) txt (11 Kb)
Leer 7 páginas más »
Disponible sólo en Clubensayos.com