UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD.

PROGRAMA

CONTADURIA PÚBLICA

ALUMNO

JORGE JUNIOR TOVAR GARCIA

CURSO

PENSAMIENTO LOGICO Y MATEMATICO

TEMA

PROPOSICIONES Y TABLA DE LA VERDAD

TUTOR

CARLOS BOCANEGRA
 Introducción.

El presente trabajo contiene tres ejercicios. El ejercicio número 1 se trata de un infograma hecho en
la herramienta digital llamada Prezi. El contenido del ejercicio trata acerca de una explicación de los
cuantificadores universales negativos. En el segundo ejercicio es sobre las proposiciones y la tabla
de la verdad, donde nos dan diferentes tipos de frases que les tenemos que resolver sacando sus
proposiciones simples, resolver su lenguaje simbólico y hacer las tablas de la verdad, una por medio
de un simular y otra manual. En el tercer y último ejercicio nos dan unos ejercicios en lenguaje
simbólico y tenemos que formar una oración a cada uno en el contexto académico teniendo en
cuenta el lenguaje simbólico, debemos hacer las tablas de la verdad, una por medio del simulador y
otra manual, luego debemos identificar si el argumento es contingente, contradictorio o tautología.
Este trabajo tiene como fin aprender a manejar mucho mejor los temas propuestos por medio de
los ejercicios que se han resuelto.
OBJETIVOS

Objetivos Generales:
 La realización de este trabajo tiene como objetivo el conocer de forma práctica los
conceptos de cuantificador universal negativo, proposiciones y tabla de la verdad utilizados.
por medio de los ejercicios propuestos y realizados, con el propósito de demostrar cómo
saber hacer un infograma por medio de la herramienta prezi, y además resolver ejercicios
de proposición y tablas de verdad teniendo en cuenta el lenguaje simbólico de cada frase.

Objetivos específicos:

 Aprender a realizar un infograma por medio de la herramienta prezi.

 Conocer los conceptos utilizados en los ejercicios (cuantificador universal, proposiciones y
tabla de la verdad).
 Aprender a realizar ejercicios de forma práctica los conceptos anteriores (cuantificador
universal, proposiciones y tabla de la verdad).
 Identificar cuando un argumento es contingencia, tautología y contradicción.
Ejercicio 1.

https://prezi.com/view/WcigqubX3KvqEDjVlFUH/

CUANTIFICADOR UNIVERSAL NEGATIVO

En efecto, el cuantificador universal afirmativo (del tipo Todo A es B) ... Estas consecuencias
conllevan el error de conversión en las aserciones con el cuantificador particular negativo, que
ocurre cuando el sujeto cree que Algunos A no son B implica necesariamente que Algunos B no son
A (inferencia errónea).

Ejemplos
Ejercicio 2:

A)

- Proposición Simple:
p= Laura chatea en su celular
q= Laura conduce por la autopista
r= Laura tiene una alta probabilidad de accidentarse
s= Laura puede dañar su automóvil

- Lenguaje Simbólico:

(p∧q)→(r∨s)
- Tabla Del Simulador:

p q r s (p∧q)→(r∨s)
v v v v V
v v v f V
v v f v V
v v f f F
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V
 - Tabla Manual:

p ∧ q → r ∨ s
v v v V v v v
v v v V v v f
v v v V f v v
v v v F f f f
v f f V v v v
v f f V v v f
v f f V f v v
v f f V f f f
f f v V v v v
f f v V v v f
f f v V f v v
f f v V f f f
f f f V v v v
f f f V v v f
f f f V f v v
f f f V f f f

Contingencia.

B)

- Proposición Simple:

p= Aprender matemáticas desarrolla el razonamiento lógico.

q= se posee una buena comprensión lectora.

r= Buena ortografía.

- Lenguaje Simbólico:

p↔(q∧r)

- Tabla Del Simulador:

p q r p↔(q∧r)

v v v V

v v f F

v f v F

v f f F
 p q r p↔(q∧r)

f v v F

f v f V

f f v V

f f f V

- Tabla Manual:

p ↔ q ∧ r
v V v v v
v F v f f
v F f f v
v F f f f
f F v v v
f V v f f
f V f f v
f V f f f

Contingencia.

C)

- Proposición Simple:

p= Pereira es el nombre de una ciudad.

q= Pereira es un apellido.

r= Pereira es un sustantivo.

- Lenguaje Simbólico:

(p∨q)→r

- Tabla Del Simulador:

p q r (p∨q)→r
v v v V
v v f F
 p q r (p∨q)→r
v f v V
v f f F
f v v V
f v f F
f f v V
f f f V

- Tabla Manual:

p V q → r
v v v V v
v v v F f
v v f V v
v v f V f
f v v V v
f v v F f
f f f V v
f f f V f
Contingencia.

D)

- Proposición Simple:

p= Juan practica básquet por hobby.

q= Practica tenis de forma profesional.

r= Juega más de tres horas diarias.

s= Quema muchas calorías.

- Lenguaje Simbólico:

[(p∨q)∧(q→{r∧s})]
- Tabla Del Simulador:

p q R s [(p∨q)∧(q→{r∧s})]
v v V v V
v v V f F
v v F v F
 p q R s [(p∨q)∧(q→{r∧s})]
v v F f F
v f V v V
v f V f V
v f F v V
v f F f V
f v V v V
f v V f F
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
- Tabla Manual:

p V q ∧ q → r ∧ s
v v v v v v v v v
v v v F v f v f f
v v v F v f f f v
v v v F v f f f f
v v f V f v v v v
v v f V f v v f f
v v f V f v f f v
v v f V f v f f f
f v v V v v v v v
f v v F v f v f f
f v v F v f f f v
f v v F v f f f f
f f f F f f v v v
f f f F f f v f f
f f f F f f f f v
f f f F f f f f f
Contingencia.

E)

- Proposición Simple:

p= Si Lina consume alimentos balanceados y practica ejercicio regularmente.

q= Entonces goza de buena salud.

r= Si Lina no practica ejercicio regularmente o se dedica a otras actividades.

s= Gozará de buena salud.

- Lenguaje Simbólico:

(p∧q)→(r∧~q∨s~r)
- Tabla Del Simulador:

p q r s (p∧q)→(r∧~q∨s~r)
v v v v V
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 V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V

- Tabla Manual:

p ∧ q → r ∧ ~ q V s ~ r
v v v V v f f v v v f v
v v v V v f f v v f f v
v v v V f f f v v v v f
v v v V f f f v v f v f
v f f V v v v f v v f v
v f f V v v v f f f f v
v f f V f f v f v v v f
v f f V f f v f f f v f
f f v V v f f v v v f v
 f f v V v f f v v f f v
f f v V f f f v v v v f
f f v V f f f v v f v f
f f f V v v v f v v f v
f f f V v v v f f f f v
f f f V f f v f v v v f
f f f V f f v f f f v f

Tautología.

Ejercicio 3:

A.si Andrés estudiaba en el Liceo Celedon y hacía las tareas entonces si a Andrés le aparece
perdido el año es porque no iba al colegio o no hacia las tareas.

-Proposiciones simples:

p= Andrés estudiaba en el Liceo Celedon

q= hacía las tareas

r= si a Andrés le aparece perdido el año es porque no iba al colegio.

-Tabla Del Simulador:

p q r (p∧q)→(r∨~q)
v v v V

v v f F

v f v V

v f f V

f v v V

f v f V

f f v V

f f f V
-Tabla Manual:

p ∧ q → r V ~ q
v v v V v v f v
v v v F f f f v
v f f V v v v f
v f f V f v v f
f f v V v v f v
f f v V f f f v
f f f V v v v f
f f f V f v v f

-Este argumento es: Contingencia

B.si no eres bachiller entonces puedes graduarte del SENA y tienes las opciones de terminar el
bachillerato o puedes graduarte del SENA.

-Proposiciones Simples:

p= eres bachiller

q= puedes graduarte del SENA

r= tienes las opciones de terminar el bachillerato.

-Tabla Del Simulador:

p q r (~p→q)∧(r∨q)

v v v V

v v f V

v f v V

v f f F

f v v V

f v f V

f f v F
 p q r (~p→q)∧(r∨q)

f f f F

-Tabla Manual:

~ p → q ∧ r V q
f v v v v v v v
f v v v v f v v
f v v f v v v f
f v v f f f f f
v f v v v v v v
v f v v v f v v
v f f f f v v f
v f f f f f f f

-Este argumento es: Contingencia.

C. Juan pasa el primer semestre si y solo si no deja de hacer sus tareas o deja de hacer sus
tareas y pierde el semestre.

- Proposiciones simples:

p= Juan pasa el primer semestre

q= deja de hacer sus tareas

r= pierde el semestre.

-Tabla Del Simulador:

p q r (p↔~q)∨(q∧r)

v v v V

v v f F

v f v V

v f f V

f v v V
 p q r (p↔~q)∨(q∧r)

f v f V

f f v F

f f f F

-Tabla Manual:

p ↔ ~ q V q V r
v f f v V v v v
v f f v F v v f
v v v f V f v v
v v v f V f f f
f v f v V v v v
f v f v V v v f
f f v f F f v v
f f v f F f f f

-Este argumento es: Contingencia.

D. Si Andrea es egresada de la UNAD y Pedro estudia en la UNAD entonces Pedro estudia en la

UNAD o Pedro mientras estudia en la UNAD no puede ser egresado.

-Proposiciones Simples:

p= Andrea es egresada de la UNAD

q= Pedro estudia en la UNAD

r= Pedro mientras estudia en la UNAD puede ser egresado de la UNAD.

-Tabla Del Simulador:

p q r (p∧q)→(q∨~r)

v v v V

v v f V

v f v V

v f f V
 p q r (p∧q)→(q∨~r)

f v v V

f v f V

f f v V

f f f V

-Tabla Manual:

p ∧ q → q V ~ r
v v v V v v f v
v v v V v v v f
v f f V f f f v
v f f V f v v f
f f v V v v f v
f f v V v v v f
f f f V f f f v
f f f V f v v f

-Este argumento es: Tautología.

E. si yo manejo pensamiento lógico matemático entonces voy bien en ese curso y si me va mal al
final del periodo es porque no estudié o yo no manejo pensamiento lógico matemático.

-Proposiciones Simples:

p= yo manejo pensamiento lógico matemático

q= voy bien en ese curso

r= si me va mal al final del periodo es porque no estudié.

-Tabla Del Simulador:

p q r (p→r)∧(q∨~p)

v v v V

v v f F
 p q r (p→r)∧(q∨~p)

v f v F

v f f F

f v v V

f v f V

f f v V

f f f V

-Tabla Manual:

p → r ∧ q V ~ P
v v v V v v f v
v f f F v v f v
v v v F f f f v
v f f F f f f v
f v v V v v v f
f v f V v v v f
f v v V f v v f
f v f V f v v f

-Este argumento es: Contingencia.

 Conclusión

Los cuantificadores universales, proposiciones y tabla de la verdad, y los ejercicios propuestos no

enseñan a identificar como se desarrolla cada tema, como cuantificadores universales negativos,
sacar proposiciones simples, lenguajes simbólicos a través de frases y tabla de la verdad, con la
realización del presente trabajo y el desarrollo de los ejercicios propuestos nos permite concluir,
que dichas herramientas nos enseñó conocer las proposiciones y traducirlo a los lenguajes
simbólicos, y además a saber identificar cuando un argumento es contingencia, contradicción y
tautología, y tener claro los conceptos y forma de entendimiento de los temas propuestos.
Bibliografía:

Corral De Zurita, Nilda J. (2005) UNIVERSIDAD NACIONAL DEL NORDESTE Comunicaciones

Científicas y Tecnológicas La cuantificación universal negativa en la semántica del lenguaje natural,
Facultad de Humanidades – UNNE, Resistencia – Argentina. Recuperado de
http://www.unne.edu.ar/unnevieja/Web/cyt/com2005/2-Humanidades/H-026.pdf
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&d
ocID=3199701&tm=1529510366591
Herramienta prezi https://prezi.com/es/

Ing. López, T. Bruno Cuantificadores Universales. Recuperado de

http://www.itnuevolaredo.edu.mx/takeyas/Apuntes/inteligencia%20artif
icial/Apuntes/IA/Filminas-Cuantificadores.PDF
Jairo Marin. [Jairo Marin]. (2019). [Simulador Truth]. Recuperado
de: http://logicaunad.com/jtruth/