UNIDAD 1

Ejercicio 2 “ Proposiciones y tablas de verdad”

Grupo 200611_28

Presentado por
Fabián David Infante Páez
Código 1076668688

Presentado a
Elieth Alina Hoyos Montoya
Tutor

Universidad nacional abierta y a distancia UNAD

Pensamiento lógico y matemático 200611_28
Programa Ingeniería Industrial
 Proposiciones y tablas de la verdad
Ejercicio 2

ARGUMENTO
D. Juan juega básquet por hobby o practica tenis de forma profesional. Si practica tenis de forma
profesional entonces juega por más de tres horas diarias y quema muchas calorías.

PROPOSICIONES SIMPLES

p = Juan juega básquet por hobby

q = practica tenis de forma profesional
r = juega por más de tres horas diarias
s = quema muchas calorías

LENGUAJE SIMBOLICO

(pVq) ∧ q→(r∧s)

( p ∨q ¿ →(q → r ∧ s)
TABLA DE LA VERDAD (MANUAL)

p q r s (pVq) (pVq) ∧ q (r∧s) (pVq) ∧ q→(r∧s)

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

RESULTADO DE TABLA DE LA VERDAD

- CONTINGENCIA
SIMULADOR LOGICA UNAD

JTabla - Resultados

p q r s (p∨q)∧q→(r∧s)
v v v v V
v v v f F
v v f v F
v v f f F
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f F
f v f v F
f v f f F
f f v v V
f f v f V
f f f v V
f f f f V
BIBLIOGRAFIA
 Editorial Tébar Flores. Recuperado de http:// 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:
bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?
ppg=20&docID=3226457&tm=1529246259924
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 9-
28). Ediciones Elizcom, Madrid.
Recuperadodehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013
 Marin J.  (2019). [Simulador Lógica UNAD]. Recuperado
de:http://logicaunad.com/jtruth/