UNIDAD1: TAREA 1- PROPOSICIONES Y TABLAS DE VERDAD

PRESENTADO POR:
LEIDY JOHANA VELASQUEZ ANACONA

PRESENTADO A:
NINI JOHANNA VARGAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LÓGICO Y MATEMÁTICO
GRUPO: 200611_1052
06 MARZO DEL 2020
 INTRODUCCION

El presente trabajo consiste en la realización de actividades que

permiten afianzar los conocimientos en el área de la lógica mediante la
explicación propia de conceptos teóricos, la solución de ejemplos
prácticos desde el lenguaje formal al natural y viceversa. La presente
actividad facilitó la apropiación de conceptos, el acercamiento a
softwares de desarrollo automático de tablas de verdad y a problemas
de aplicación.
 OBJETIVOS

General:
 Afianzar los conceptos de la lógica matemática.
Específicos:
 Emplear los conceptos en ejercicios prácticos de aplicación.
 Aprender el manejo del software Lógica UNAD.
EJERCICIO 1.
EJERCICIO 2.

EJERCICIO 2: PROPOSICIONES Y TABLAS DE VERDAD.

B. Gabriel García Márquez escribió Cien años de soledad o La Ilíada. Si y

solo si es un escritor brillante e ingenioso.

PROPOSICIONES SIMPLES:

P: Gabriel García Márquez escribió Cien Años de Soledad.

Q: La Ilíada.
R: Es un escritor brillante e ingenioso.

EXPRESION DEL ARGUMENTO EN LENGUAJE SIMBOLICO O FORMAL:

(pVq¿ →r

SIMULADOR LÓGICO UNAD:

TABLA DE VERDAD:

P Q R PVQ
(P∨Q) ↔R

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

CONTINGENCIA

EJERCICIO 3.

EJERCICIO 3: PROBLEMAS DE APLICACIÓN.

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

B: [ ( p ∧q ) ⟷ ( ∼r ⋀ s ) ]

PROPOSICIONES SIMPLES:

P: Erika hace los ejercicios

Q: Erika presenta los Quiz

R: Erika obtendrá buenos resultados

S: Erika pasara el curso de Pensamiento Lógico Matemático

LENGUAJE NATURAL:

Erika hace los ejercicios y presenta los quiz a tiempo, haciendo esto
Erika obtendrá buenos resultados y pasará el curso de Pensamiento
Lógico Matemático.

SIMULADOR LOGICA UNAD:

p q r s ((p∧q)↔(~r∧s))
 v v v v F
v v v f F
v v f v V
v v f f F
v f v v V
v f v f V
v f f v F
v f f f V
f v v v V
f v v f V
f v f v F
f v f f V
f f v v V
f f v f V
f f f v F
f f f f V

TABLA DE VERDAD:

P Q R S ∼R (PVQ) (R∧ S) [ ( p ∧q ) ⟷ ( ∼ r ⋀ s ) ]
V V V V F V F F
V V V F F V F F
V V F V V V V V
V V F F V V F F
V F V V F F F V
V F V F F F F V
V F F V V F V F
F F F F V F F V
F V V V F F F V
F V V F F F F V
F V F V V F V F
F V F F V F F V
F F V V F F F V
F F V F F F F V
F F F V V F V F
F F F F V F F V
CONTINGENCIA.

CONCLUSIONES.

 Se pusieron en práctica los conocimientos adquiridos durante el

desarrollo de la clase de Pensamiento Lógico Matemático.

 Se pudo verificar mediante el software Lógica UNAD, los

resultados obtenidos manualmente a través de las 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 de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=12
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 https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3226457&ppg=20
Marín J.  (2019). [Simulador Lógica UNAD]. Recuperado
de: http://logicaunad.com/jtruth/