Introducción

El orden en que se presenta el documento es el siguiente: Primeramente se

establece lo que son los cuantificadores, después definimos el concepto de
cuantificadores universales y los negativos. Se establece el significado y utilidad
de conectivos lógicos para formar proposiciones simples y compuestas. Más
tarde abordamos las proposiciones condicionales y bicondicionales. Definimos
tautología, contradicción y contingente, y proporcionamos de ejercicios, así
mismo realizamos una serie de tablas de verdad de forma manual y automática.
Finalizando con la definición de si son tautologías contradicciones o
contingencias

En este trabajo se trata además de presentar las explicaciones con ejemplos que
le sean familiares. Nuestro objetivo es aprender a realizar demostraciones
formales por el método establecidas, Ya que la mayoría de los libros comerciales
únicamente se quedan en explicación y demostración de reglas de inferencia.
Consideramos que sí aprendemos lógica matemática no tendremos problemas
para aprender otras ciencias exacta.
Objetivos
Objetivos generales
Revisar la bibliografía dada con la cual se definirán los conceptos necesarios
para la realización de los ejercicios propuestos en la guía de actividades
Objetivos específicos
 Definir los cuantificadores universales negativos
 Definir la expresión del argumento en lenguaje simbólico o
formal.
 Generar una tabla de verdad manualmente y automática a partir
del lenguaje simbólico
 determinar si el resultado de las tablas de verdad es una
tautología, contingencia o contradicción.
 Desarrollo de las actividades

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.

A. Cuantificador Universal negativo.

CUANTIFICADORES

Una palabra o una frase que indique cuantos objetos cumplen con
determinadas propiedad se llaman cuantificador
Los cuantificadores se clasifican como:
a) Existenciales: “existe”, “algún”. “Por lo menos uno”, entre otros
b) Universales: “para todo”; “ninguno”.
CUANTIFICADORES UNIVERSALES

En una gran mayoría de situaciones matemáticas es interesante considerar la

posibilidad de que el conjunto de verdad de una función proposicional sea la
totalidad de los elementos del conjunto universo, llamado también conjunto
referencial (que se simboliza por U o R respectivamente), este se simboliza
como ∀x que se lee: “para todo x”, “todo x”, “para cada x” o “cada x” y se llama
cuantificador universal. En este caso la proposición se simboliza como (∀x ∈U)
P(x), que se lee: “para todo x elemento de U, se cumple P(x)”, y si el dominio
de la variable está sobreentendido, se escribe simplemente (∀x) P(x), que se
puede leer como: “para todo x P(x)”, “para cada x P(x)” o bien “para cualquier x
P(x)”.

CUANTIFICADORES UNIVERSALES NEGATIVOS

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

negativo son:
 Para ningún x
 Ninguno
 No
 Nadie
 Nada

EJEMPLOS DE CUANTIFICADORES UNIVERSALES NEGATIVOS

 La oración “ningún ave tiene plumaje” es una proposición universal

negativa. Esta afirma la negación del predicado en todo el grupo al que
hace referencia.
 Ningún atleta es vegetariano significa que se excluye la totalidad de
todos los atletas de la clase vegetarianos. y significa también que la
clase vegetarianos está excluida de la clase atletas. Las proposiciones E
distribuyen tanto a su término sujeto como a su término predicado.
Descripción del ejercicio:
A continuación, encontrará los argumentos para el desarrollo del
ejercicio 2:
B. …Aprender matemáticas desarrolla el razonamiento lógico si y
solo si se posee una buena comprensión lectora y buena
ortografía.

 Definir las proposiciones simples del argumento.

Sean las preposiciones

p: aprender matemáticas desarrolla el razonamiento lógico
q: buena compresión lectora
r: Buena ortografía

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

formal.

p ↔ (q ˄ r)

 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 y determinar si el resultado es una tautología,
contingencia o contradicción.

p q r (q ˄ r) p ↔ (q ˄ r)
v v v v v
v v f f f
v f v f f
v f f f f
f v v v f
f v f f v
f f v f v
f f f f v

Esta tabla es una contigencia

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje

simbólico (argumento) para el desarrollo del ejercicio 3:

B.(¬𝑝 → 𝑞) ∧ (𝑟 ∨ 𝑞)

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

seleccionado deberá:
  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: Carlos estudia en la UNAD.

q: La UNAD es una Universidad Pública

R/sean p, q y r las siguientes proposiciones simples

p: la raíz cuadrada de 16 es 4
q: 3 es un número impar
r: 4 es múltiplo de dos

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría
de cada estudiante, por lo que de encontrar proposiciones iguales
entre estudiantes se considerará como copia y se tomarán las
medidas correctivas estipuladas por la UNAD.

R/ sean p, q y r las siguientes proposiciones simples

p: la raíz cuadrada de 16 es 4
q: 3 es un número impar
r: 4 es múltiplo de dos
( ¬𝑝 → 𝑞 ) ∧ ( 𝑟 ∨ 𝑞 )

La raíz cuadrada de 16 no es 4 entonces 3 es un número impar y 4 es

múltiplo de 2 o 3 es un número impar

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

p q r ¬p (p →q ) (¬p →q ) (r ꓦ q ) (¬p →q ) ˄ (r ꓦ q )
v v v f v v v v
v v f f v v v v
v f v f f v v v
v f f f f v f f
f v v v v v v v
f v f v v v v v
f f v v v f v f
f f f v v f f f

 Definir si el argumento seleccionado inicialmente es una

tautología, contradicción o contingencia

La anterior tabla generada tanto por el simulador de la UNAD, como manual es

una contingencia
 Conclusiones

La idea principal de este trabajo es aprender el concepto de proposición, la

forma en que se pueden formar proposiciones simples y compuestas usando los
conectores lógicos, representar enunciados por medio de simbología lógica,
conocer los conceptos de tautología, equivalencia lógica, regla de inferencia.
Realizar demostraciones de teoremas por medio del método directo y
contradicción. Pero con problemas que le sean familiares e interesantes. Se trata
de que en cada uno de los subtemas participemos proponiendo nuestros propios
ejemplo y que sobre todo al final de la unidad él tenga la habilidad, confianza e
iniciativa para inferir posibles soluciones.

Bibliografía

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
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
Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado
de http://hdl.handle.net/10596/13871
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&d
ocID=3226457&tm=1529246259924