Unidad 1.
Tarea 1: Proposiciones y tabla de Verdad
Claudia Valentina Ortiz Martínez Cód. 200611 Grupo 60
Septiembre 2019
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Pensamiento Lógico Matemático
Introducción
Cuando realizamos determinada serie de ejercicios es preciso tener un conocimiento
teórico, puesto que este nos permite realizar adecuadamente cada ejercicio sugerido. Así es
que en esta actividad se muestra la temática de cuantificadores, proposiciones y tablas de
verdad en la que podrán ver conceptos y soluciones de situaciones que se presentan en la
vida cotidiana y que con la ayuda de la tabla de verdad en el simulador Simulador Lógica
UNAD logramos comprobar las respuestas.
Objetivo general
El propósito de esta actividad es tener claro cada concepto “cuantificador, cuantificador
existencial, proposiciones y tabla de verdad” para que de esta manera demos una solución
lógica a cada problema planteado, a cada argumento.
Objetivos Específicos
Reconocer el símbolo de cuantificador existencial y la expresión que hace
referencia a la variable.
Identificar las proposiciones simples y compuestas.
Expresar adecuadamente en un argumento el lenguaje natural y en lenguaje
simbólico.
Diferenciar las formas proposicionales.
Realizar una tabla de verdad manualmente con el uso apropiado de los conectores
lógicos.
Ejercicio Nº 1 tema “c”Cuantificador Existencial
Ejercicio 2: Proposiciones y Tablas de verdad
Descripción del ejercicio:
a continuación, encontrará los argumentos para el desarrollo del ejercicio
C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es una
empresa estadounidense y Si Huawei es una empresa china entonces no tiene Android de
Google.
- Definir las proposiciones simples del argumento.
Las proposiciones simples son las expresiones de un enunciado que nos permiten afirmar si
es verdadero o falso, pero no pueden ser las dos al mismo tiempo.
Se simbolizan con las letras p, q, r, s, van en minúscula llamadas letras proposicionales.
Empresas estadounidenses no pueden negociar con empresas chinas o Google es una
empresa estadounidense y Si Huawei es una empresa china entonces no tiene Android de
Google.
p: empresa estadounidense no pueden negociar con empresas chinas
q: google es una empresa estadounidense
r: si Huawei es una empresa china
s: no tiene Android de Google
- Definir la expresión del argumento en lenguaje simbólico o formal.
[(~𝑝𝑣q) ∧ r] → ~𝑠
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.
p q r s ((~p∨q)∧r)→~s
v v v v F
v v v f V
v v f v V
v v f f V
v f v v V
v f v f V
v f f v V
v f f f V
f v v v F
f v v f V
f v f v V
f v f f V
f f v v F
f f v f V
f f f v V
f f f f V
Generar una 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 s ~s ~p (~pvq) ((~p∨q)∧r) ((~p∨q)∧r)→~s
V V V V F F V V F
V V V F V F V V V
V V F V F F V F V
V V F F V F V F V
V F V V F F F F V
V F V F V F F F V
V F F V F F F F V
V F F F V F F F V
F V V V F V V V F
F V V F V V V V V
F V F V F V V F V
F V F F V V V F V
F F V V F V V V F
F F V F V V V V V
F F F V F V V F V
F F F F V V V F V
Definir si el argumento seleccionado inicialmente es una tautología, contradicción o
contingencia.
El resultado de la tabla es contingencia
Ejercicio 3: Problemas de aplicación
A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento)
para el desarrollo del ejercicio 3:
C. [(𝑝 ⋁𝑞) ⟷ 𝑟]
- 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: El colegio Miguel Unía enseña a los estudiantes la modalidad electrónica, agropecuaria
q: comercial asistente y administrativo
r: pueden graduarse los estudiantes que aprueben una de estas modalidades
- Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Las proposiciones simples deben ser de autoría de cada estudiante
El colegio Miguel Unía enseña a los estudiantes la modalidad electrónica, agropecuaria o
comercial asistente y administrativo, si solo si pueden graduarse los estudiantes que
aprueben una de estas modalidades
- Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico
- Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
p q r (p∨q) ((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
Definir si el argumento seleccionado inicialmente es una tautología, contradicción o
contingencia
El resultado es contingencia
Conclusión
De tal manera que apropiarnos teórica y prácticamente en los temas de cuantificador,
proposiciones y tabla de verdad es de gran importancia para resolver diversidad de
problemas, aplicando lo enseñado no solo en la parte académica sino también en nuestra
vida diaria.
Bibliografía
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp.106-112). EdicionesElizcom,Madrid.Recuperad
defile:///C:/Users/1/Downloads/L%C3%B3gica_matem%C3%A1tica_para_ingenier%C3%
ADa_de_sistemas_y_co..._----_(Pg_109--115)%20(2).pdf
Solucionesmatemáticasdiscretas(s.f).recueperadode,https://sites.google.com/site/mathemati
casdiscretesolutions/logica-de-po/cuantificadores
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:EditorialTébarFlores. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=3226
457&tm=1529246259924
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
