PENSAMIENTO LOGICO Y MATEMATICO.

ALUMNA: SULLY PAULINA DIAZ GOMEZ

CC: 1067720768

GRUPO: 200611_55

TUTOR (RA): ARMANDO JAVIER LOPEZ

PROGRAMA: PSICOLOGIA

ESCUELA: CIENCIAS SOCIALES, ARTES Y

HUMANIDADES

CEADVALLEDUPAR
FECHA: 22 FEBRERO 2018

UNIVERSIADA NACIONAL ABIERTA Y A DISTANCIA

(UNAD)
 Tarea 1: Proposiciones
Transcribir en el lenguaje natural la expresión formal que se relaciona y
determinar el valor de verdad de la proposición compuesta, a partir del
valor de verdad de cada proposición simple:
A. p: El estadio del Deportivo Cali se llama “Palmaseca”
q: Un equipo de futbol lo componen 12 jugadores

(𝒑⋀𝒒)↔(¬𝒑∨¬𝒒)
Proposición compuesta en lenguaje Natural:
Si el estadio del deportivo Cali se llama “palmaseca” y un
equipo de futbol lo componen 12 jugadores. Si solo si el
estadio del deportivo Cali no se llama “palmaseca” o el
equipo de futbol no lo componen 12 jugadores.

Determinación del valor de verdad:

(𝒑⋀𝒒)↔(¬𝒑∨¬𝒒)
P=F q=F

(𝒑⋀𝒒)↔(¬𝒑∨¬𝒒)

(F ⋀ F) ↔ (V v V)
F↔V
F
Tarea 2: Tablas de verdad
A. Si en las mañanas llueve entonces en la tarde hace frio y si
en la tarde hace frio entonces en la noche llueve.
 Expresión en lenguaje simbólico o formal.

(p→ q) ⋀ (𝐪 → r)
 Generar la tabla de verdad manualmente y a través del
simulador Truth Table.

p q r p→ q 𝐪→r (p→ q) ⋀
(𝐪 → r)

V V V V V V

V V F V F F

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

F V V V V V

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

F F F V V V
 Comprobar el resultado de la tabla de verdad manual
versus simulador Truth Table.
Tarea 3: Problemas de aplicación

A. [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

1. Definición de las proposiciones simples:

P: me arreglo
q: estoy bonita
r: me maquillo
S: necesito un espejo

2. Lenguaje natural de la expresión formal:

Si p, entonces q, y no p entonces r, y si r, entonces s, si no q,

entonces s.
 Si me arreglo, entonces estoy bonita, y no me arreglo,
entonces me maquillo, y si me maquillo, entonces
necesito un espejo, por lo tanto si no estoy bonita,
entonces necesito un espejo.
 3. Generar la tabla de verdad manualmente y a través del
simulador Truth Table.
[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

K R N Z M H

p q r s ~p ~q p⟶q ~p⟶r ~q⟶s kᴧR MᴧN H⟶Z

r⟶s

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

F F F F V V V F V F F F V
 4. Comprobar el resultado de la tabla de verdad manual versus
simulador Truth Table.

5. Definir si el argumento es una Tautología, contradicción o

contingencia:

Expression is a tautology(es una Tautología).