JHOJANNA PATRICIA VELEZ BUITRAGO

CÓDIGO 1120581521

YENNY MARISOL CAYACHOA

TUTOR

NÚMERO DEL GRUPO

200611_1300

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CCAV SAN JOSE DEL GUAVIARE

10/MARZO/2019
 INTRODUCCION

En este trabajo escrito encontraremos el estudio del cuantificador afirmativo que es un

enunciado de la forma “para todo” identificándose con el símbolo (∀) sea (p) el predicado y (x)

el mecanismo indeterminado del que desempeña el predicado, las proposiciones y las tablas de

verdad son, por una parte, uno de las sistemáticas más naturales y acreditados de la lógica

formal, Hallar bien las tablas de verdad es, en gran disposición nos da para hallar bien a la

lógica formal misma e identificar si el argumento es una tautología, contradicción o

contingencia.
 OBJETIVOS

Indagar información sobre el cuantificador universal afirmativo y realizar una

presentación en Prezi, identificar, crear y reconocer las proposiciones y tablas de verdad.

OBJETIVOS ESPECIFICOS:

 Identificar el cuantificador universal afirmativo

 Generar tablas de verdad manual y por el simulador de la UNAD

 Reconocer las proposiciones simples del argumento

 Definir la expresión del argumento en lenguaje simbólico o formal.

 Identificar si el argumento es una tautología, contradicción o contingencia.

 Ejercicio 1: Conceptualización de Cuantificadores Descripción del ejercicio

Los temas propuestos son:

https://prezi.com/view/k9VoBBF1pM9YqO9WSBe7/

A. Cuantificador Universal Afirmativo.

El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto

cumplen con una determinada posesión. Universal (para todo) ∀

Las frases que comúnmente se usan para indicar el cuantificador universal afirmativo

son:

• Todos x - Todo x

• Para cada x

• Cada x

• Cada uno x

• Siempre que x

• Cualquiera x

• Para todo x
 ejemplos: ∀x

• Todos los aprendices del Sena les encanta la música y bailar. ∀x (aprendices (x)

música (x) ^ bailar(x))

• todos los vecinos hacen asados y escuchan música. ∀x (vecinos (x) asados (x)

^ escuchan música(x))

Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

Argumento A: Si Laura chatea en su celular y conduce por la autopista entonces

Laura tiene una alta probabilidad de accidentarse o Laura puede dañar su automóvil

 Definir las proposiciones simples del argumento.

P= Si Laura chatea en su celular

Q= conduce por la autopista

R= Laura tiene una alta probabilidad de accidentarse

S= Laura puede dañar su automóvil

 Definir la expresión del argumento en lenguaje simbólico o formal.

 lenguaje simbólico: (p^q) →r v s

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

 El resultado de la tabla es Contingencia, aunque la mayoría sean verdaderas hay

una falsa.

Si Laura chatea en su celular y conduce por la autopista entonces Laura tiene una alta
probabilidad de accidentarse o Laura puede dañar su automóvil
p: Si Laura chatea en su celular
q: 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) → rVs

p q r s (p^q) (p^q) → r (p^q) → rVs

V V V V V V V
V V V F V V V
V V F V V F 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 V 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 V 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 V V
CONTINGENCIA
 Ejercicio 3: Problemas de aplicación

 Expresión formal o simbólica (dada en el planteamiento del ejercicio):

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

P= Janna trabaja

Q= estudia en la UNAD virtual

R= ella dedicara dos horas diarias para estudiar

 Lenguaje natural: Janna trabaja y estudia en la UNAD virtual entonces ella dedicara

dos horas diarias para estudiar o Janna no estudia en la UNAD virtual.

  Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador

Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,

Excel o foto del desarrollo manual).

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

Janna trabaja y estudia en la UNAD virtual entonces ella dedicara dos horas diarias para estudiar o Janna no
estudia en la UNAD virtual.

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

V V V V V F V
V V F V V V F
V F V F V F V
V F F F F V V
F V V F V F V
F V F F V V V
F F V F V F V
F F F F F V V
CONTINGENCIA

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción

o contingencia

 Es contingencia porque tiene verdadero y falso en la tabla.

 Evidencias de participación en el foro.
 CONCLUSION

En este trabajo después de indagar información y plantearla utilizando herramienta Prezi

dándonos más información sobre los cuantificadores universal afirmativo, también se logró

entender más a fondo el manejo de la herramienta digital que nos dispone la UNAD como es la

tabla de verdad, y su correcto manejo, por el cual muestra el valor de verdad de una las

proposiciones, el desarrollo de problemas de la Lógica Proposicional. Gracias a las actividades

propuestas se logra identificar los elementos esenciales y comprenderlos en la lógica

proposicional resolviendo problemas cotidianos por medio de tablas de verdad con la

herramienta digital o ya sean hechos manualmente de las actividades planteadas en la guía.

 BIBLIOGRAFIA

https://www.google.com/search?q=cuantificador+universal+afirmativo&rlz=1C1CHBD_esC

O839CO839&source=lnms&tbm=isch&sa=X&ved=0ahUKEwiz3-

SZ9PLgAhVCs1kKHQdDCNAQ_AUIDigB&biw=1366&bih=625#imgrc=F8tcrCkS0

KKz1M:

https://www.google.com/search?rlz=1C1CHBD_esCO839CO839&biw=1366&bih=576&tbm

=isch&sa=1&ei=sZKCXLeJDKav5wLBo6zIAQ&q=cuantificador+universal+afirmati

vo&oq=cuantificador+universal+&gs_l=img.1.0.35i39j0l9.87065.94314..96786...0.0..

1.292.3867.0j23j1......2....1..gws-wiz-img.....0..0i67.Vrrs995uShQ#imgrc=TQk-68H-

nnItbM:

https://campus08.unad.edu.co/ecbti47/mod/forum/discuss.php?d=2638#p61352

http://logicaunad.com/jtruth/resolver.php

http://newton.matem.unam.mx/calculo/Logica/l_logic07_d.html