Tarea 1 Proposiciones y Tablas de Verdad.

Pensamiento Lógico y Matemático

Grupo 200611_348

Tutor

Universidad Nacional abierta y a distancia-UNAD

Escuela De Ciencias Básicas, Tecnología E Ingeniería (ECBTI)
Ingeniería De Sistemas
Valledupar
2020
 Ejercicio 2: Proposiciones y Tablas de verdad

D. El día sin carro en Medellín fue el 12 de febrero y buscan con esta medida reducir los
niveles de contaminación, si y solo si, dejan de transitar vehículos particulares o serán
sancionados con multa.
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Definir las proposiciones simples del argumento.

P= El día sin carro en Medellín fue el 12 de febrero.

Q= Niveles De Contaminación.
R= Dejan De Transitar Vehículos Particulares.
S= Serán Sancionados Con Multas.

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

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico
(El estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica
UNAD, 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 y determinar si
el resultado es una tautología, contingencia o contradicción.

2n=2 4=16 filastendra latabla

p q r s p^q rvs (p^q)↔( rvs)

v v v v v v v
v v v f v v v
v v f v v v v
v v f f v f f
v f v v f v f
v f v f f v f
v f f v f v f
v f f f f f v
f v v v f v f
f v v f f v f
f v f v f v f
f v f f f f v
f f v v f v f
f f v f f v f
f f f v f v f
f f f f f f v

Es una contingencia ya que puede ser verdadera o falsa.

Ejercicio 3: Problemas de aplicación

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para el
desarrollo del ejercicio 3:

[ p ∧ ( p ⟶ q ) ∧ ( q →r ) ]→ r

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:

P: pedro es un buen trabajador.

Q: es un buen mecánico.

R: ganara mucho dinero.

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples Deben ser de autoría de cada estudiante.

Si Pedro es un buen trabajador y Pedro es un buen trabajador entonces es un buen mecánico,

y si es un buen mecánico entonces gana mucho dinero, entonces gana mucho dinero.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
 Lógica UNAD, 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^(p→q p^(p→q)^(q→r [p^(p→q)^(q→r)]→

p q r (p→q) (q→r) ) ) r
v v v v v v v v
v v f v f v f v
v f v f v f f v
v f f f v f f v
f v v v v f f v
f v f v f f f v
f f v v v f f v
f f f v v f f v

Es una tautología ya que puede ser verdadera o falsa.

Bibliografía
 https://ebookcentral-proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3226457&ppg=20
 http://logicaunad.com/jtruth/