Unidad 1

Lógica proposicional, tablas de verdad.

TAREA 1

Martha Liliana Mora Celis

04 Mayo 2019.

Universidad Nacional Abierta y a Distancia.

Escuela de Ciencias Básicas, Tecnología e Ingeniería.
Pensamiento Lógico Matemático.
 INTRODUCCIÓN.

Este trabajo comprende los conocimientos adquiridos en esta primera unidad, en esta
primera tarea se basan en la lógica proposicional y tablas de verdad, aprender a crear las
mismas, desarrollar proposiciones simples, definir con lenguaje simbólico o formal.
 OBJETIVOS.

1.iniciar conocimiento de lógica matemática.

2.Desarrollar ejercicios.
3.Resolucion de problemas.
4. creación de tablas de verdad.
5. Definir lenguaje formal y simbólico.
 Ejercicio 1 – Unidad 1 Conceptualización de Cuantificadores
- Desarrollo Punto D

Enlace PREZI

https://prezi.com/view/lEm1CgMPz4S19hrs3Zza/
 Ejercicio 2 Unidad 1
Proposiciones y Tablas de verdad

DESARROLLO EJERCICIO 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 del argumento.

P: Juan juega básquet.

q: Juan practica tenis.
r: juan juega tres horas diarias.
S: Juan quema muchas calorías.

*Definición de la expresión del argumento en lenguaje simbólico.

( p ˄q)→(r ˅ s)

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 determinación de
resultado.
p q r s (p^q) (r v s) (p ^ q) → (r v s )
v v v v v v v
v v v f v v v
v v f v v v v
v v f f v f f
v f v v f v v
v f v f f v v
v f f v f v v
v f f f f f v
f v v v f v v
f v v f f v v
f v f v f v v
f v f f f f v
f f v v f v v
f f v f f v v
f f f v f v v
f f f f f f v

*La fórmula lógica de la table es:

Contingente.
 Ejercicio 3
Unidad 1 Proposiciones compuestas en lenguaje simbólico.

Desarrollo punto D ejercicio 3.

D.
(p^q)→(qv¬r)

*Definición de proposiciones simples- variable en lenguaje natural

Liliana estudia ingeniería y trabaja, no es cierto que Liliana sale a bailar.

p. Liliana estudia ingeniería.

q. Liliana trabaja.
r. Liliana no sale a bailar.

*TABLA DE VERDAD CON SIMULADOR TABLA UNAD.

*TABLA DE VERDAD MANUAL.

p q r ~r (p^q) ( q v ~r) (p ^ q ) → (q v ~r )
v v V F V V V
v v F V V V V
v F V F F V V
v F F V F F V
F V V F F F V
F V F V F V V
F F V F F V V
F F F V F V V

*EL RESULTADO DE LA TABLA ES:

UNA TAUTOLOGIA.

CONCLUSIONES.

Definir las expresiones en lenguaje simbólico, crear tablas de verdad manuales y con el
simulador, aprender a manejar nuevos recursos digitales.

BIOGRAFIA.

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=3226457&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
dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013
Cuantificadores
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=109&docID=3199701&tm=1529510366591
Tablas de verdad
Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de
proposiciones, [Vídeo]. Recuperado de http://hdl.handle.net/10596/7961
OVI Unidad 1 - Proposiciones y tablas de verdad
Este Objeto Virtual de Información, titulado aplicación de las tablas de verdad en el álgebra
de proposiciones, tiene como objetivo, orientar al estudiante acerca dela determinación del
valor de verdad, en un lenguaje formal. El OVI, igualmente, servirá como documento de
consulta para realizar una de las actividades propuestas en la Guía Integrada de Actividades
del curso.
Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado
de http://hdl.handle.net/10596/13871
.
Recursos educativos adicionales para el curso (Bibliografía complementaria)
Los recursos educativos adicionales, sirven de apoyo para ampliar información relacionada
con el tema de la unidad y puede ser consultada cuando así lo requiera, especialmente, para
complementar información que le permita desarrollar los diferentes ejercicios propuestos
para esta unidad.
Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas
universitarias. México: McGraw-Hill Interamericana. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069.