PENSAMIENTO LOGICO Y MATEMATICO

EJERCICIO 1, 2 Y 3

Unidad 1 tarea 1: proposiciones y tabla de verdad

TEMA:
LETRA D: cuantificador existencial unico

PRESENTADO POR:
virginia del carmen henriquez diaz

TUTOR:
Marlon andres pineda

NUMERO DE GRUPO:
975

ESCUELA: ECACEN

CONTADURIA PUBLICA
UNIVERSIDAD ABIERTA Y A DISTANCIA
UNAD
COROZAL SUCRE
 INTRODUCCION
En el siguiente trabajo encontraremos los conceptos de cuantificadores, proposiciones y
tablas de verdad y resultados que genero la tabla de verdad, el tema que se escojio para
dicha actividad fue cuantificador existencial unico, se iso con el fin de conocer, interactuar,
participar y desarrollar el anterior tema.
 OBJETIVOS

 Comprender el concepto de proposicion y la forma en que se pueden elaborar

proposiciones compuestas usando conectores logicos.
 Evaluar proposiciones logicas por medio de tabla de verdad.
 Identificar cuando la tabla de verdad genera un resultado teutologia, contadiccion y
contingencia.
 Utilizar los diferentes tipos de cuantificadores de acuerdo el enunciado.
 Conocer cuantificador existencial unico por medio de conceptos y ejercicios
desarrollados.
 Desarrollo de la actividad
Ejercicio 1: conceptualización de cuantificadores
Link
https://prezi.com/p/umfkeiaqczy1/cuantificadores-existencial-unico/
ejercicio 2 proposición y tabla de verdad

ARGUMENTO
D. Sofía estudia medicina o estudia literatura inglesa y Si ella estudia literatura inglesa
entonces escribirá poemas.

Proposición simple:

P: Sofía estudia medicina

Q: Sofía estudia literatura inglesa
R: ella escribirá poemas

Lenguaje simbólico:
(P v Q) ^ (Q ―› R)

 Simulador lógico UNAD

  Tabla de verdad manual

p q r (pvq) (q ―›r) (pvq)^(q ―›r)

V V
V V
V F
V F
F V
F V
F F
F F
V v
F v
V v
F v
V V
F V
V F
F F
v V
F F
V V
V V
V V
F F
V F
V F

 Resultado de la tabla: contingencia

Ejercicio 3- problemas de aplicación.

1. proposiciones compuestas en lenguaje simbólico
D. (pvq) ^ (q ―› (r^s))

2. 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,
ejemplo:

P: Claudia estudia ingles

Q: estudia francés
R: ella estudia música
S: le gusta la televisión

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

natural.

 Claudia estudia inglés o estudia francés y si ella estudia francés entonces ella
escucha música y le gusta la televisión
4. Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.
5. Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).
Tabla de verdad manual en Word.

p q r s (pvq) (r^s) (q (pvq)^(q ―›(r^s))

―›(r^s))
V V V V V V V V
V V V F V F F F
V V F V V F F F
V V F F V F F F
V F V V V V V V
V F V F V F V V
V F F V V F V V
V F F F V F V V
F V V V V V V V
F V V F V F F F
F V F V V F F F
F V F F V F F F
F F V V F V V F
F F V F F F V F
F F F V F F V F
F F F F F F V F

6. Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia

El argumento seleccionado es una contingencia porque tiene resultados falsos y

verdadero.
 CONCLUSIÓN
Con este trabajo concluimos los conceptos básicos de los cuantificadores existenciales
únicos y se desarrolló las proposiciones y tabla de verdad para darle un resultado a cada
ejercicio, se utilizó los diferentes conectores en cada expresión y se definió si el
argumento seleccionado fue tautología, contradicción o contingencia.
 Bibliografías

 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.

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 9-28). Ediciones Elizcom, Madrid

 http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?
ppg=20&docID=3226457&tm=1529246259924