PROPOSICIONES Y TABLAS DE VERDAD

ESTUDIANTE:
YULY TATIANA PINEDA TOBO

PRESENTADO A:
JHEIMER JULIAN SEPULVEDA

CURSO:
200611_1153

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

DUITAMA
2018
Ejercicio 1: Conceptualización de Cuantificadores

DESCRIPCIÓN DEL EJERCICIO

Con base en los contenidos desarrollados en la lectura, el estudiante debe escoger uno de
los siguientes temas y presentarlo de manera gráfica a través de una presentación,
utilizando un recurso didáctico tipo PREZI, PowerPoint u otra herramienta digital. A partir
del tema deberá dar su definición y dos ejemplos.

 Cuantificador Existencial

https://prezi.com/view/RvrteisJ6lHtefV6M8uE/

Ejercicio 2: Proposiciones y Tablas de verdad

DESCRIPCIÓN DEL EJERCICIO

A continuación, encontrará los argumentos para el desarrollo del ejercicio:

 Este fin de semana, voy a hacer un asado y voy a realizar una actividad en la piscina
y voy a pasar tiempo agradable con mi familia.

1. Definir las proposiciones simples del argumento.

En las proposiciones simples no se usan operadores lógicos. Además esta frase presenta
conectivos lógicos, estas son palabras que sirven para enlazar proposiciones, en este caso
encontramos: “y”.

(Este fin de semana, voy a hacer un asado y voy a realizar una actividad en la piscina y voy
a pasar tiempo agradable con mi familia.)

2. Expresión del argumento en lenguaje simbólico o formal.

(P^Q) ^R
P: Este fin de semana voy a hacer un asado.
Q: Voy a realizar una actividad en la piscina.
R: Voy a pasar tiempo agradable con mi familia.
3. Tabla de verdad con el simulador Truth Table.

John Karts. [John Karts]. (1819). [Simulador Truth]. Recuperado

de:http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

4. Tabla de verdad manualmente a partir del lenguaje simbólico.

P Q R (P^Q) (P^Q) ^R
V V V V V
V V F V F
V F V F F
V F F F F
F V V F F
F V F F F
F F V F F
F F F F F

Ejercicio 3: Problemas de aplicación

DESCRIPCIÓN DEL EJERCICIO

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento)

para el desarrollo del ejercicio:

 [(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)]⟶r

A partir de la proposición compuesta en lenguaje simbólico que haya

Seleccionado deberá:

1. Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico.

P: Los estudiantes de la UNAD estudian con esmero.

Q: Sacan buenas calificaciones.
 R: Estudian más.

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

 [(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)]⟶r ⟶ Si p entonces q
∧ Pyq
∼ no
Si los estudiantes de la UNAD estudian con esmero entonces sacan buenas calificaciones y
al no sacar buenas calificaciones y si estudian más entonces sacan buenas calificaciones
entonces estudian más.

3. Tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico.

John Karts. [John Karts]. (1819). [Simulador Truth]. Recuperado

de:http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

4. Tabla de verdad manualmente a partir del lenguaje simbólico.

P Q R (P⟶Q) ∧ (∼Q) (R⟶Q)]⟶R [(P⟶Q)∧(∼Q)∧(R⟶Q)]⟶R

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

5. El argumento seleccionado inicialmente es una tautología, contradicción o contingencia.

Es una Tautología púes siempre es verdadera, independientemente de la verdad o falsedad
de las proposiciones simples que la constituyen. Las tautologías son designadas
habitualmente en los textos.

 [(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)]⟶r

REFERENCIAS BIBLIOGRAFICAS
 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
 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
 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
 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