TRABAJO INDIVIDUAL

PENSAMIENTO LOGICO Y MATEMATICO

PASO 2 – PROPOSICIONES Y TABLA DE VERDAD

REALIZADO POR:

YANINIBED MERCADO CARRILLO: CODIGO 26947264.

GRUPO: 200611_57

TUTOR: GONZALO FESTER

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
PROGRAMA DE SOCIOLOGÍA
VALLEDUPAR 2018
 INTRODUCCION

El desarrollo de esta actividad devela el apropiamiento que el estudiante adquirió

de los conceptos, elementos y herramientas teórico-prácticas; sobre
razonamientos lógicos, estructuración y validez, también la representación y
estructuración en lenguaje simbólico de las diversas premisas y conclusiones
dadas para cada caso; elaborando sus respectivas tablas de verdad, para de este
modo fortalecer la destreza en la formulación de argumentos e hipótesis que den
validez lógica a nuevas concepciones o actualizaciones cognitivas, que serán de
gran utilidad en la vida cotidiana y en el quehacer profesional.
 OBJETIVOS

OBJETIVO GENERAL
Desarrollar las temáticas de proposiciones, tablas de verdad, conjuntos y sus
operaciones
OBJETIVOS ESPECIFICOS
Utilizar estrategias basadas en problemas
Interactuar con los diferentes compañeros
Adquirir herramientas útiles para nuestra vida profesional
TAREA 1
E
p: en la UNAD hay 5 periodos académicos anualmente
q: La UNAD tiene 3 periodos de 8 semanas cada uno

(𝑝∧¬𝑞) →(¬ 𝑝)

De acuerdo a la información suministrada un estudiante ha decidió estudiar las

opciones de estudiar en la UNAD, la información suministrada es la siguiente:

Si en se tiene que en la UNAD hay 5 periodos académicos anualmente y a si mismo

estos no son de 8 semanas cada uno entonces en la UNAD no hay periodos
académicos anuales

P Q ~Q ~P
F F V V
(𝑝∧¬𝑞)
F
(𝑝∧¬𝑞) →(¬ 𝑝)
V

TAREA 2
E
Si enero tiene 31 días y febrero 28 días entonces marzo tiene 31 días y abril no
tiene 31 días

a: enero tiene 31 días

b: Febrero tienes 28 días
c: Marzo tiene 31 días
d: abril tiene 31 días
Expresión simbólica
(𝒂˄𝒃) → (𝒄 ˄~𝒅)
Tablas de Verdad
a b c d ~𝒅 (𝒂˄𝒃) 𝒄 ˄~𝒅 Expresión
total

V V V V F V F F
V V V F V V V V
V V F V F V F F
V V F F V V F F
V F V V F F F V
V F V F V F V V
V F F V F F F V
V F F F V F F V
F V V V F F F V
F V V F V F V V
F V F V F F F V
F V F F V F F V
F F V V F F F V
F F V F V F V V
F F F V F F F V
F F F F V F F V
Simulador
 Conclusión
De acuerdo a lo expresado anteriormente podemos ver que la tabla manual y la
generada por el simulador son idénticas luego el procedimiento es correcto,
además de esto podemos ver se trata de una contingencia.

TAREA 3
E
[[(𝑝→𝑞) ∧(𝑟→𝑠)]∧[(𝑞 ∧𝑠)→𝑡] ∧(𝑝∧𝑟)] →𝑡

P Ángela entrega a tiempo las actividades del foro

Q María puede recopilar todo el trabajo

R Andrés sube a tiempo el punto a de la tarea 1

S María puede realizar las conclusiones a tiempo

T El trabajo es entregado a tiempo al tutor del curso

 EXPRESIÓN FORMAL

Si Ángela entrega a tiempo las actividades del foro entonces María puede recopilar

todo el trabajo. Si Andrés sube a tiempo el punto a de la tarea 1 entonces María

puede realizar las conclusiones a tiempo. Si es cierto que María puede recopilar

todo el trabajo y realizar las conclusiones a tiempo entonces el trabajo es entregado

a tiempo al tutor del curso. Ángela entrega a tiempo las actividades del foro y

Andrés sube a tiempo el punto a de la tarea 1. Luego por todo lo anterior El trabajo

es entregado a tiempo al tutor del curso.

P Q R S T 𝑝⟶𝑞 𝑟⟶𝑠 𝑞∧𝑠 (𝑞∧𝑠)⟶𝑡 𝑝∧𝑟 1y2y3y4 Expresión

(1) (2) (3) (4) total
V V V V V V V V V V V V

V V V V F V V V F V F V

V V V F V V F F V V F V

V V V F F V F F V V F V

V V F V V V V V V F F V

V V F V F V V V F F F V

V V F F V V V F V F F V

V V F F F V V F V F F V

V F V V V F V F V V F V
V F V V F F V F V V F V

V F V F V F F F V V F V

V F V F F F F F V V F V

V F F V V F V F V F F V

V F F V F F V F V F F V

V F F F V F V F V F F V

V F F F F F V F V F F V

F V V V V V V V V F F V

F V V V F V V V F F F V

F V V F V V F F V F F V

F V V F F V F F V F F V

F V F V V V V V V F F V

F V F V F V V V F F F V

F V F F V V V F V F F V

F V F F F V V F V F F V

F F V V V V V F V F F V

F F V V F V V F V F F V

F F V F V V F F V F F V
F F V F F V F F V F F V

F F F V V V V F V F F V

F F F V F V V F V F F V

F F F F V V V F V F F V

F F F F F V V F V F F V

SIMULADOR
 CONCLUSIÓN

En efecto la tabla manual y la del simulador coinciden y ambas a su vez muestran

que el enunciado es una tautología

 CONCLUSIONES

Con esta actividad, se desarrollarán las competencias para la identificación de las

estructuras fundamentales de los razonamientos lógicos. Identificar estas estructuras en el
lenguaje natural y las expresiones complejas que se forman cuando éstas se relacionan entre
sí, permitirán encontrar el valor de verdad que asumen expresiones complejas de acuerdo al
valor de verdad que asumen en un momento dado las estructuras lógicas más simples.
Reforzamos los conocimientos adquiridos en la anterior unidad al dar usode las formas
básicas de las tablas de verdad, los principios de lógica y los razonamientos lógicos para
demostrar la validez o no validez de las situaciones problémicas propuestas.
 REFERENCIAS BIBLIOGRAFICAS

Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos

11: serie para la educación media. Bogotá, CO: Educar Editores
S.A. Páginas 13 -19 Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.
action?ppg=14&docID=10345286&tm=1492518671601