Unidad 1 – Ciclo de la tarea 1: proporciones y tablas de verdad

PENSAMIENTO LOGICO Y MATEMATICO

EJERCICIO-1-2-3

PRESENTADO POR:
MARIA LAURA MANDON
CODIGO: 53051889
GRUPO: 200611_1269

PRESENTADO A:
EDGAR CASTILLO GAMBA
GRUPO: 200611B_474

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES
PROGRAMA DE PSICOLOGÍA
PENSAMIENTO LÓGICO MATEMÁTICO
SEPTIEMBRE DEL 2018
 OBJETIVOS

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
Con base en los contenidos desarrollados en la lectura, el estudiante debe escoger uno de
los siguientes temas y presentarlo de manera gráfica a través de una presentación,
el estudiante presenta de forma categórica, clara y precisa la temática escogida y los dos
ejemplos. Definir las proposiciones simples del argumento. Definir la expresión del
argumento en lenguaje simbólico o formal. Generar una tabla de verdad con el simulador
Truth Table.
 DESCRIPCIÓN DEL EJERCICIO 1

Con base en los contenidos desarrollados en la lectura, el estudiante debe escoger uno de
los siguientes temas y presentarlo de manera gráfica a través de una presentación,
utilizando un recurso didáctico tipo PREZI, PowerPoint u otra herramienta digital. A partir
del tema deberá dar su definición y dos ejemplos.

Los temas propuestos son:

C. Cuantificador Existencial.

CUANTIFICADORES EXISTENCIALES
 Ejercicio 2: Proposiciones y Tablas de verdad

C. Este fin de semana, voy a hacer un asado y voy a realizar una actividad en la piscina
y voy a pasar tiempo agradable con mi familia.

Descripción del ejercicio:

encontrará el argumento para el desarrollo del ejercicio 2
Este fin de semana, voy a hacer un asado y voy a realizar una actividad en la piscina y voy
a pasar tiempo agradable con mi familia.

p- este fin de semana voy a hacer un asado

Q- voy a realizar una actividad en piscina
R- voy a realizar una actividad en la piscina

Expresión en lenguaje simbólico:

C. [(𝑝^𝑞)∧r
Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

p Q r p⋀ q (p^q)^r
V V V V V
V V F V F
V F V F F
V F F F F
F V V F F
F V F F F
F F V F F
F F F F F
 Tabla de verdad simulador Truth table a partir del lenguaje simbólico.
D. [(𝑝^𝑞)∧r
 Ejercicio 3: Problemas de aplicación

Proposición compuesta en lenguaje simbólico.

C. [(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)]⟶r

Definición de las proposiciones simples (contexto académico).

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento)

para el desarrollo del ejercicio 3:

C- [(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)]⟶r

Proposiciones simples

Truth Table

C- [(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)]⟶r

(p→q)Λ(¬ q)Λ(r→q)→r 
P Q R ˜Q P→Q R→Q (P→Q) ꓥ (˜Q) [(P→Q)ꓥ(˜Q)ꓥ(R→Q)] [(P→Q)ꓥ(˜Q)ꓥ(R→Q)]→R
V V V F V V F F V
V V F F V F F F V
V F V V F V F F V
V F F V F V F F V
F V V F V V F F V
F V F F V F F F V
F F V V V V V V V
F F F V V V V V F

p q r ˜q p→q (p→q) ^ (˜q) (p→q) {(p→q) ∧(˜q)} ^(r→q)

 CONCLUCIONES

Con base en los contenidos desarrollados en la lectura y lo ejercicios que envió el tutor a
desarrollar aprendí la lógica por medio de la formalización del lenguaje y de sus reglas
básicas proporciona las herramientas necesarias para poder tratar e intentar resolver
rigurosamente problemas que tienen sus orígenes y aplicaciones en diferentes áreas de las
ciencias.
 REFERENCIAS BIBLIOGRAFICAS

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid,
España: Editorial Tébar Flores. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?
ppg=20&docID=3226457&tm=1529246259924

Proposiciones y Conectores lógicos

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado
dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013