8pUNIVERSIDAD CENTRAL DEL ECUADOR

CURSO DE NIVELACIÓN DE CARRERA

CARRERA DE AGRONOMÍA
ASIGNATURA MATEMÁTICAS

TAREA GRUPAL N°1

GRUPO N°4
NOMBRE DE LOS INTEGRANTES DEL GRUPO:
1. Miranda Marlon
2. Molina Antoni
3. Montalvan Ivan
4. Niza Denis
5. Oyos Shirley
6. Panamá Alex
7. Paucar Judit
8. Pillajo Anahi

FECHA: 09 / 08 / 2023
 TAREA N°1t

1. DETERMINE LAS PROPOSICIONES SIMPLES, NIEGUE LA PRIMERA

PROPOSICIÓN Y LUEGO REALICE LA DOBLE NEGACIÓN DE TODA LA
PROPOSICIÓN COMPUESTA CON LA PRIMERA NEGACIÓN (EN LENGUAJE
SIMBÓLICO Y REDACTADO):
• El reglamento ambiental es completo pero confuso.
• El sílabo del curso de matemática contiene lógica proposicional, aritmética y álgebra.
• El animal ni es felino ni canino.

TRADUCCIÓN AL LENGUAJE SIMBÓLICO:

• Si llovió durante la noche, el día amanece frío pero despejado. Si el día ni amanece frío ni
llovió durante la noche, entonces es falso que el día amanece despejado.
• El combo # 3 incluye hamburguesa, papas y gaseosa. Si incluye hamburguesa pero no
papas, la orden es incorrecta. Solamente si incluye gaseosa, papas y hamburguesa, la
orden es correcta.
Conociendo que los valores de verdad de p , q , r y s son F , V , V y F respectivamente .
DETERMINA LOS VALORES DE VERDAD DE LAS SIGUIENTES
PROPOSICIONES COMPUESTAS :
2. DETERMINE LOS VALORES DE VERDAD DE LAS PROPIEDADES SIMPLES SI
LA SIGUIENTE PROPOSICIÓN COMPUESTA ES VERDADERA.
 3. DETERMINE LOS VALORES DE VERDAD DE LAS PROPIEDADES SIMPLES SI
LA SIGUIENTE PROPOSICIÓN COMPUESTA ES VERDADERA

5. ELABORE LAS TABLAS DE VERDAD DE LAS SIGUIENTES PROPOSICIONES COMPUESTAS

Determinar si los siguientes polinomios son tautologias,contradicciones o contingencias.
Realizar las siguientes demostraciones
ARITMÉTICA

x
Cuantificadores

En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que
un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo,
pertenencia, equivalencia u orden). Existen muchos tipos de cuantificadores, entre los
más utilizados están:

• Cuantificador universal

∀ x, y…
Para todo x, y…
Otros ejemplos

Imagen1, 2 y 3. citar con APA (Nombre del canal “Catedra de la Matemática” nombre del
video “Cuantificadores” https://www.youtube.com/watch?v=WDctu8MMPTU
• Cuantificador existencial

∃ x, y…
Existe al menos un x, y...
Otros ejemplos
Imagen4, 5 y 6. citar con APA (Nombre del canal “Catedra de la Matemática” nombre del
video “Cuantificadores” https://www.youtube.com/watch?v=WDctu8MMPTU

• Cuantificador existencial único

∃! x, y…
Existe exactamente un x, y...
El cuantificador existencial con marca de unicidad se usa para indicar que hay un único
elemento de un conjunto A que cumple una determinada propiedad. Se escribe:

∃! x∈ A: P(x)
Se lee: Existe un único elemento x de A, que cumple P(x). (Citar: Fuente: Real Academia de
Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario esencial de las ciencias. )

• Negación del cuantificador existencial

∄ x, y… = ¬ (∃ x, y…)
No existe ningún x, y...
Ejemplo

¬ (∃ x P(x)) = ∀x ¬(P(x))
(∄ x P(x)) = ∀x ¬(P(x))
Se lee: Para todo x en el universo de discurso, no se cumplirá el predicado. (Citar,
Nombre de la página: El blog de Leo – título del blog: Álgebra Superior I: Negaciones de
proposiciones con conectores y cuantificadores – Autor: Guillermo Oswaldo Cota
Martínez. )