TRABAJO COLABORATIVO NO. 2 LOGICA MATEMATICA
Enviado por MILOSEVICH • 4 de Marzo de 2013 • 1.898 Palabras (8 Páginas) • 1.882 Visitas
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: [(pq) ^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: pq
P2: ^p
Conclusión: q
Tabla de verdad MPP:
p q pq [(pq) ^ p] [(pq) ^ 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: [(pq) ^~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: pq
P2: ~q
Conclusión: ~p
Tabla de verdad MTT
p q ~p ~q pq [(pq) ^~q] [(pq) ^~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: [(pq) ^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: pq
P2: p
Conclusión: q
Tabla de verdad MPP:
p q pq [(pq) ^ p] [(pq) ^ 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: [(pq) ^~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: pq
P2: ~q
Conclusión: ~p
Tabla de verdad MTT
p q ~p ~q pq [(pq) ^~q] [(pq) ^ ~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
...