PENSAMIENTO LÓGICO Y MATEMÁTICO

TAREA 1 – PROPOSICIONES Y TABLAS DE VERDAD

Presentado por:
Juan Esteban Rivas Chica
CÓDIGO: 1.116.447.487

Presentado a:
JULIAN DARIO GIRALDO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
PROGRAMA INGENIERIA INDUSTRIAL
PENSAMIENTO LÓGICO Y MATEMÁTICO
ZARZAL, 01 DE OCTUBRE DEL 2018
 Tarea 1 – Proposiciones y Tablas de Verdad

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2

A. Si la Selección Colombia va al mundial y James juega los partidos, entonces

la Selección Colombia será finalista del Mundial de Rusia.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:
 Definir las proposiciones simples del argumento.
P= Si la selección Colombia va al mundial
Q= James juega los partidos
R= La selección Colombia será finalista del mundial de Rusia.

 Definir la expresión del argumento en lenguaje simbólico o formal.

( p ∧q)→ r

 Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico
  Generar una tabla de verdad manualmente a partir del lenguaje
simbólico.

p q r ( p ∧q) A→r

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

A continuación, tomaremos la letra A para definir la siguiente expresión la cual

significara A=( p ∧q )
Por lo tanto, se puede concluir que la tabla de la verdad manual comparada con la
del simulador Truth Table son igual y el ejercicio se realizó correctamente.
Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje

simbólico (argumento) para el desarrollo del ejercicio 3:

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

A partir de la proposición compuesta en lenguaje simbólico que haya

seleccionado deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo

una descripción basada en un contexto, el que se solicita es un
contexto académico,

P: Juan es ingeniero
q: Él es matemático
r: no estudia en la UNAD

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría de
cada estudiante, por lo que de encontrar proposiciones iguales entre
estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.

[(𝑝⟶𝑞) ∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)
Juan es ingeniero por lo tanto él es matemático y es mentira que
Juan es ingeniero luego no estudio en la UNAD en consecuencia si
estudia en la UNAD luego es ingeniero.

 Generar una tabla de verdad con el simulador Truth Table a partir

del lenguaje simbólico (El estudiante encontrará la Guía para el uso
 de recursos educativos Simulador TRUTH, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).

p q r ~ ~r ( p → q) p →r r→p A B
p

V V V F F V V V V V

V V F F V V V V V V

V F V F F F V V F V

V F F F V F V V F V

F V V V F V V V V V

F V F V V V F F F V

F F V V F V V V V V

F F F V V V V F V V
 A continuación, tomaremos la letra A para definir la siguiente expresión la cual
significara: A=[ ( p →q ) ∧ ( ∼ p → r ) ]
A continuación, tomaremos la letra B para definir la siguiente expresión la cual
significara: B=[ ( p → q ) ∧ ( ∼ p → r ) ]→( p → r )

 Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia.

R/ es Tautología.