Tarea 1 - Proposiciones y tablas de verdad

Presentado A:
Ángela Dorelly Holguín
Tutora

Presentado Por:
Norma Constanza Gutiérrez
Código: 1.061.220.028
Estudiante

Pensamiento Lógico y Matemático

Grupo 42

Universidad Nacional Abierta y a Distancia – UNAD

Cead La Plata Huila
Septiembre 2019
Ejercicio 2: Proposiciones y Tablas de Verdad

D. Sofía estudia medicina o estudia literatura inglesa y Si ella estudia literatura

inglesa entonces escribirá poemas.

- Definiciones simples del argumento

p=Sofia estudia medicina

q=Estudia literatura inglesa

r =escribira poemas

- Argumento en lenguaje simbólico o formal

[ ( pvq)∧(∼ p) ] =¿r
- Tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.
- Tabla de verdad manualmente a partir del lenguaje simbólico y
determinar si el resultado es una tautología, contingencia o
contradicción.

p q r (pvq) [ ( pvq)∧(∼ p)] =¿r

∼p (rʌ∼p)
 
v v v v v v v
v v f v v f f
v f v v v v v
v f f v v f f
f v v f v f f
f v f f v f f
f f v f f f v
f f f f f f v
Es una contingencia

Bibliografía
 Marin J. (2019). [Simulador Lógica UNAD]. Recuperado de:
http://logicaunad.com/jtruth/
 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=3199701&tm=1529335849013