Está en la página 1de 11

PENSAMIENTO LOGICO MATEMATICO

PASO 7

TRABAJO PRESETANDO POR LA ESTUDIANTE:


YENNY FERNANDA SOLER OJEDA

ENTREGADO AL TUTOR:
CAROLINA CASTAÑO

PROGRAMA DE PSICOLOGIA
CEAD: TUNJA-BOYACA
MUNICIPIO: RONDON-BOYACA

CELULAR: 3118848101
GRUPO: 200611_141

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


ESCUELA DE ARTES, SOCIALES Y HUMANIDADES

2018
INTRODUCCIÓN

La Teoría de los conjuntos es un tema aplicable en la vida diaria, lo que se puede evidenciar cuando
vamos al supermercado, en el salón de clase, en el trabajo, etc. Los conjuntos nos permiten
solucionar de forma sencilla problemas cotidianos. Un conjunto es la colección de objetos que
tienen características similares. Varios conjuntos pueden interactuar mediante la unión de
conjuntos, intersección, diferencia, entre otros. Los conjuntos pueden ser nombrados por extensión
o enumeración. Los conjuntos pueden ser representados por los diagramas de Venn que permiten
entender la información fácilmente y desarrollar diversos problemas.

Las tablas de verdad son una herramienta para analizar proposiciones y hallar sus valores de verdad.
Es una representación esquemática de las relaciones entre las proposiciones. También se pueden
analizar fórmulas y nos dice si una fórmula es verdadera. Si un razonamiento es válido o no.
Constituye un procedimiento de decisión que en un número finito de pasos nos dice si una fórmula
es una tautología o no. Toda tabla de verdad consta de dos tipos de columnas: las columnas de la
izquierda (llamadas de referencia) en donde se pondrán todas las posibilidades de verdad y falsedad
de las letras o variables proposicionales, y las columnas de la derecha que contienen los valores de
verdad de las funciones presentes en la fórmula. Existen unos conectivos lógicos a los cuales se les
asigna un lenguaje simbólico y son la conjunción, disyunción, la negación, el condicional y el
bicondicional.

El método científico es una serie de pasos lógicos que mediante la observación, planteamiento de
hipótesis, experimentación y análisis de resultados nos permite solucionar un problema científico.
En este trabajo colaborativo se presente solucionar ejercicios de conjuntos, teoría de los conjuntos y
tablas de verdad. Además, bosquejar un diagrama que nos permite conocer lo que sucede en el
método científico.
ACTIVIDADES A DESARROLLAR
TABLA 1:PLAN DE ACCION - GRUPO 200611_155
Datos Estudiante Fotografía Ejercicios Ejercicios
seleccionado seleccionado s
sa revisar
desarrollar
1049633378 Tarea 1: D Tarea 1:A
Yeny Fernanda Soler
Tarea 2: A Tarea 2: C
Cead Tunja
Tarea 3: 1 Tarea 3: 2

Tarea 1: Tarea 1:

Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Actividades a desarrollar

Tarea 1: Proposiciones y tablas de verdad

𝑫. {[𝒑 → (𝒒 ∨ 𝒓)] ∧ (𝒔 →∼ 𝒒) ∧ (𝒕 →∼ 𝒓) ∧ (𝒑 ∧ 𝒕)} → 𝒒

Desde su rol como estudiante, tendrá la libertad de definir las proposiciones simples bajo una
descripción basada en el contexto académico, remplazando las variables expresadas simbólicamente
para llevarlas al lenguaje natural.
La solución de los enunciados debe contar con las siguientes etapas:

➢Definición de las proposiciones simples


P= Estudio en la unad
Q= estudio virtual
R= estudio a presencial
S= soy dependiente
T= estudio de a distancia

➢Lenguaje natural de la expresión formal


Si estudio en la UNAD entonces estudio de manera virtual o estudio presencial, y soy dependiente
entonces no estudio de manera virtual; y si estudio en la UNAD y estudio a distancia entonces
estudio de manera virtual.
➢Generar la tabla de verdad manualmente y a través Del simulador TruthTable.
➢Comprobar el resultado de la tabla de verdad manual versus simulador TruthTable.
Definir si el argumento es una Tautología, contradicción o Contingencia

Rta. Este argumento es una Tautología. Una Tautología es una fórmula bien formada que resulta
verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad
que se haga a sus fórmulas atómicas. La construcción de una tabla de verdad es un método efectivo
para determinar si una fórmula cualquiera es una tautología o no.

Tarea 2: Teoría de Conjuntos

La solución debe contener:

 Identificación de los conjuntos


 Elaboración del Diagrama de Venn
 Descripción de la solución del Problema
 Argumentación de la validez de su respuesta.

A. Se ha realizado una encuesta a 200 madres de familia, se sabe que las madres que solo son amas
de casa son tantas como las que son amas de casa y trabajan y además que las que solo trabajan
son la tercera parte de las que son amas de casa.

Total de Madres = 200

1/3 De las amas de casa son las que trabajan


Las que son solo ama de casa = a las que trabajan y son amas de casa
X: solo las más de casa
Y : las que trabajan y son amas de casa
X=Y
Z : Solo las que trabajan

Z = 1/3 X

X+ Y + Z = 200

X + X+ 1/3 X = 200

3X +3 X +X = 600

7X = 600

X = 86

¿Cuántas amas de casa solo trabajan?

1/3X = 28

La amas de casa que solo trabajan son 28

¿Cuántas amas de casa trabajan o son amas de casa, pero no las dos
simultáneamente?

112 amas de casa trabajan o son amas de casa

Se plantean las siguientes interrogantes:

Diagrama de Venn

MADRES QUE
MADRES AMAS
SOLO
DE CASA
28 TRABAJAN
86 86
Tarea 3: Leyes de Inferencia
Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través de:

 Generar la tabla de verdad manualmente y a través del simulador TruthTable.


 Comprobar el resultado de la tabla de verdad manual versus simulador TruthTable.
 Aplicación de las reglas de inferencia.

1. Supongamos que tenemos el argumento “Si no compramos una parcela, entonces


construimos una casa. Si construimos una casa, no compramos un apartamento. Si no
compramos un apartamento entonces compramos muebles. No compramos una parcela. No
compramos muebles o compramos un apartamento. Por lo tanto, compramos un
apartamento”. X

Solución:

[(~𝒑 → 𝒒) ∧ (𝒒 → ~𝒓) ∧ (~𝒓 → 𝒔) ∧ (∼ 𝒑) ∧ (∼ 𝒔 ∨ 𝒓)] → 𝒓

REGLAS DE INFERENCIA

p: Compramos una parcela


q: Construimos una casa
r: Compramos un apartamento
s: Compramos muebles

(~𝒑 → 𝒒)
(𝒒 → ~𝒓)
(~𝒓 → 𝒔)
∼𝒑
∼𝒔∨𝒓

Conclusión: r

Entonces

Premisa 1. (~𝒑 → 𝒒)
Premisa 2. (𝒒 → ~𝒓)
Premisa 3. (~𝒓 → 𝒔)
Premisa 4. ∼ 𝒑
Premisa 5. ∼ 𝒔 ∨ 𝒓
Conclusión 6. 𝒓
7. 𝒒 Modus Ponendo Ponens en 1, 4
8. ~𝒓 Modus Ponendo Ponens en 2, 7
9. 𝒔 Modus Ponendo Ponens en 3, 8
10. 𝒓 Modus Tollendo Ponens en 5, 8
TABLA DE VERDAD

p q r s ~𝒑 ~𝒓 ~𝒔 (~𝒑 → 𝒒) (𝒒 → ~𝒓) (~𝒓 → 𝒔) (∼ 𝒔 ∨ 𝒓) (~𝒑 → 𝒒) ∧ (𝒒 → ~𝒓) (~𝒑 → 𝒒) ∧ (𝒒 → ~𝒓) ∧ (~𝒓 → 𝒔) (~𝒑 → 𝒒) ∧ (𝒒 → ~𝒓) ∧ (~𝒓 → 𝒔) ∧ (∼ 𝒑) [(~𝒑 → 𝒒) ∧ (𝒒 → ~𝒓) ∧ (~𝒓 → 𝒔) ∧ (∼ 𝒑) ∧ (∼ 𝒔 ∨ 𝒓)] [(~𝒑 → 𝒒) ∧ (𝒒 → ~𝒓) ∧ (~𝒓 → 𝒔) ∧ (∼ 𝒑) ∧ (
∼ 𝒔 ∨ 𝒓)] → 𝒓

V V V V F F F
V V V F F F V
V V F V F V F
V V F F F V V
V F V V F F F
V F V F F F V
V F F V F V F
V F F F F V V
F V V V V F F
F V V F V F V
F V F V V V F
F V F F V V V
F F V V V F F
F F V F V F V
F F F V V V F
F F F F V V V
TURH TABLE
CONCLUSIONES

 La teoría de los conjuntos permiten solucionar problemas cotidianos sencillos como los que se
resolvieron en el trabajo colaborativo.

 Los diagramas de Venn permitieron entender fácilmente las diversas relaciones entre conjuntos
y solucionar los diversos problemas.

 Las tablas de verdad se solucionaron manualmente y luego se verificaron con el simulador


Truth.

 El método científico fue representado mediante un cuadro conceptual.


BIBLIOGRAFÍA

Acevedo, G. 2012. Lógica Matemática. Universidad Nacional Abierta y a Distancia. UNAD.


Medellín. Recuperado en:

Díaz, H. Proposiciones y Tablas de verdad. 2015. Recuperado en:


https://www.youtube.com/watch?v=y3kIK9seIuw.

Gutiérrez, A. 2015. Retroalimentación Trabajo colaborativo Lógica Matemática. Recuperado en:


http://es.slideshare.net/alexgutirrezlondono/retroalimentacion-trabajo-colaborativo-1-46895182.
López, L.J. Lógica para todos (2ª Edición).

Gaitán, M.P. (2014). Introducción a la lógica. Cali, Valle. Recuperado


de:http://www.slideshare.net/MariaGaitan2/introduccin-a-la-lgica-42022687.

Rubio, G. (2014). Teoría de conjuntos. Ibagué, Colombia. Recuperado


de:http://www.slideshare.net/patricialeguizamon397/teoria-de-conjuntosyproposiciones.

Gaitán, M.P. (2014). Lógica proposicional. Cali, Valle. Recuperado


de:http://www.slideshare.net/MariaGaitan2/lgica-proposicional-42022784.

Rodríguez B, G. Predicados y cuantificadores (2014). Recuperado


de:https://www.youtube.com/watch?v=gVzEIUBetWM.

Simulador Truth. Recuperado


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

También podría gustarte