Sei sulla pagina 1di 4

Unidad 1: Tarea 1 - Proposiciones y tablas de verdad

PROPOSICIONES Y TABLAS DE VERDAD

Presentado por:
Yenny Oliveros Martínez
52863855
200611_264

Presentado a:
Eduardo Benjumea.

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Sociales, Artes y Humanidades – ECSAH

Programa de Psicología.

Pensamiento Lógico Matemático.


03/11/2019
Ejercicio 3.
Expresión formal o simbólica (dada en el planteamiento del ejercicio):

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

Definir las proposiciones simples:


p: Juan trabaja en la UNAD
q: estudia psicología
r: pasara las materias.

Reemplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Juan trabaja en la UNAD y estudia psicología, entonces pasara las materias, a no ser que es
falso que estudia psicología.
Generar tabla de verdad manualmente a partir del lenguaje simbólico.

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

V V V F V V V

V V F F V F F

V F V V F V V

V F F V F V V

F V V F F V V

F V F F F F V

F F V V F V V

F F F V F V V

Definir si el argumento seleccionado inicialmente es una tautología, contradicción o


contingencia.

El argumento seleccionado es una contingencia.


Referencias Bibliográficas

Proposiciones y tablas de verdad


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&docID=322
6457&tm=1529246259924

Proposiciones y Conectores lógicos


Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID=31
99701&tm=1529335849013

https://www.youtube.com/watch?v=a5cEaETtTNo

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


http://logicaunad.com/jtruth/

Potrebbero piacerti anche