Lógica Matemática

3: p-->s

Premisa 4: ~q-->p

Conclusión: s

Demostraciones

2.1 Demostración a partir de las tablas de verdad forma 1

Proposiciones simples Premisa 1 Premisa 2

Premisa 3 Premisa 4 Conclusión

p q s p v q ~q p-->s ~q-->p s

V V V V F V V V

V V F V F F V F

V F V V V V V V

V F F V V F V F

F V V V F V V V

F V F V F V V F

F F V F V V F V

F F F F V V 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.

2.2.1 Demostración a partir de las tablas de verdad forma 2

[(Premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4) ] ---> Conclusión

[(p v q) ^ (~q) ^ (p-->s) --> (~q -->p)] -->s

Preposiciones simples Premisa 1 Premisa 2

Premisa 3 Premisa 4 Conjunción de las premisas Implicación

p q s p v q ~q p-->s ~q -->p [(p v q) ^ (~q) ^ (p-->s) --> (~q -->p)] [(p v q) ^ ( ~q) ^( p-->s)] --> ( s-->~q)

V V V V F V V F V

V V F V F F V F V

V F V V V V V V V

V F F V V F V F V

F V V V F V V F V

F V F V F V V F V

F F V F V V F F V

F F F F V V F F V

Se obtiene una tautología, demostrando que la conjunción de las premisas implican la conclusión y por lo tanto el razonamiento es válido

2.2.2 Simulador:

Haciendo uso del siguiente simulador, podrás verificar el desarrollo de las tablas de verdad:

Act. 10 TRABAJO COLABORATIVO No. 2

Nombre de curso: 90004 – Lógica Matemática

Temáticas revisadas:

Unidad 2, Razonamiento deductivo e inductivo

Políticas para el desarrollo de la actividad:

Tres son las condiciones que deben ser cumplidas para recibir nota por el desarrollo de

este trabajo colaborativo:

1. Que el estudiante presente una solución individual oportuna de toda la actividad

2. Que el estudiante tenga participaciones significativas, continuas y oportunas en las

que debata su solución frente a las propuestas de sus compañeros.

3. Que el equipo haya hecho entrega de un producto final consolidado a partir de esta

plantilla.

Este trabajo se compone de dos fases con una sola entrega de documento final. El equipo

de trabajo colaborativo debe entregar un único documento-informe que presente la tarea

grupal propuesta.

Los participantes deberán fijar las reglas de funcionamiento del equipo, cuidando de

planificar el tiempo disponible hasta la entrega del trabajo, determinando los distintos

pasos que hay que completar y el tiempo disponible para cada uno de ellos.

GUÍA DE ACTIVIDADES

Profundización de la Unidad 2: Queridos estudiantes, a través de esta actividad

realizaremos el proceso de transferencia de los temas de la segunda unidad. Para lograrlo

desarrollaremos la actividad 10, la cual está dividida en dos fases con una única entrega

de trabajo final, tengan en cuenta que el equipo de trabajo colaborativo debe plantear

fechas límite de participación para la solución de cada etapa. De la participación activa

dependerá la evaluación de su desempeño por parte del tutor asignado al equipo.ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA

Unidad de Ciencias Básicas

Lógica Matemática

Act. 10 TRABAJO COLABORATIVO No. 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseñador: Georffrey Acevedo González 2/4

Problema de aplicación

Los razonamientos lógicos que hemos estudiado en la segunda unidad no son exclusivos

de los espacios académicos. Por el contrario, hacemos uso de éstos en el debate

cotidiano de las ideas. A continuación se propone un diálogo entre varios estudiantes de la

UNAD:

A continuación se plantea un argumento lógico:

“Para nuestra deducción, partamos de aceptar las siguientes premisas: Nos gusta que al abrir un

grifo, por éste salga agua. Nos gusta que existan personas que se dediquen a fabricar zapatos,

también nos gusta que existan médicos. También nos gusta que existan personas que se dedican a

compartir su conocimiento. Luego, tener agua, tener donde comprar zapatos, y tanto médicos como

maestros, implica

...