Proposiciones y tablas de verdad

PENSAMIENTO LOGICO Y MATEMATICO

Unidad 1 ejercicio 3 proposiciones y tablas de verdad

DORA YOHANA CLAVIJO LOZANO

Código: 36496527

Grupo No 200611_327

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CEAD_AGUACHICA

2019
Proposiciones y tablas de verdad

Ejercicio 3: Problemas de aplicación

DESARROLLO DE LA ACTIVIDAD

𝐸: (𝑝 → 𝑟) ∧ (𝑞 ∨ ¬𝑝)

pedro estudia a distancia pedro tiene conocimiento del tema

recibe tutorías via Skype pedro no estudia a distancia

P: Pedro estudia a distancia

Q: recibe tutorías vía Skype

R: pedro tiene conocimiento del tema

S: pedro no sabe recibir tutorías vía Skype

TABLA DE VERDAD MANUAL

TABLA DE VERDAD

p q r ¬p p →r q˅¬p (p →r)^(q˅¬p)

v v v f v v v
v v f f f v f
v f v f v f f
v f f f f f f
f v v v v v v
f v f v v v v
f f v v v v v
f f f v v v v
Proposiciones y tablas de verdad

TABLA DE VERDAD EN EL SIMULADOR ONLINE

El resultado es una contingencia

Proposiciones y tablas de verdad

REFERENCIAS BIBLIOGRAFICAS

 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&docI

D=3199701&tm=1529335849013

 Jairo Marin. [Jairo Marin ]. (2019, febr 05). [Ejemplo de uso de un generador de

tablas de verdad]. Recuperado de:

Jairo Marin. [Jairo Marin]. (2019). [Simulador Truth]. Recuperado

de: http://logicaunad.com/jtruth/

 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&docI

D=3226457&tm=1529246259924