INSTITUTO UNIVERSITARIO DE TECNOLOGÍA DE ADMINISTRACIÓN

INDUSTRIAL
DECRETO 771 del 15-02-90
Asignatura: LÓGICA
Profesora: Samantha Díaz
Sección: 281A1
Evaluación I: Valor 20%

Estudiantes:
Ítalo León CI: 30221923
Luis Yánez CI: 28524669
Efraín Caldera CI: 30072582
Instrucciones:
En los siguientes planteamientos aplique los conceptos estudiados en cuanto
a cuantificadores Lógicos, y condiciones suficientes y necesarias.

1.- Traduzca, la equivalencia tal sea el cuantificador según sea el caso:

(VALOR 10%= 50PTOS) Recuerde: definir y explicar las parte de la
simbolización.

1. Todas las hormigas son insectos

2. Hay animales carnívoros
3. Todos los gatos tienen cola
4. Algunas mujeres no son compresibles.
5. Todas las venezolanas son bellas.

2.- Simbolice, la simbolización en los siguientes enunciados las

condiciones suficientes o necesarias según preposición lógica. (VALOR
10%= 50PTOS) Recuerde: definir y explicar Las parte de la
simbolización.
1. Para reservar en este Hotel es Suficiente con dar el nombre y número de
Visa.
2. La derivalidad en un punto es condición suficiente para que la función sea
continua en el punto.
3. Para comprar Zapatos es suficiente ir a la zapatería
4. Rellenar la solicitud es necesario para asistir al curso de lógica
5. Que es un matriz sea cuadrada es condición necesaria para que tenga
inversa
DESARROLLO

1.- Traduzca, la equivalencia tal sea el cuantificador según sea el caso:

(VALOR 10%= 50PTOS) Recuerde: definir y explicar las parte de la
simbolización.

1. Todas las hormigas son insectos:

R): para toda x, si x es hormiga entonces x es insecto que se puede
simbolizar de la manera siguiente:(∀x) (Hx→Ix)
Donde Hx simboliza la expresión: " x es hormiga", e Ix simboliza la expresión
"x es insecto".
2. Hay animales carnívoros:
R): se observa que se puede escribir como:
” Existe al menos un x, tal que x es animal y x es carnívoro “que se puede
simbolizar como:
(∃x) (A x ∧Cx).
3. Todos los gatos tienen cola:
R): Hallar primero el ámbito del cuantificador universal, que es “Si x es un
gato, entonces x tiene cola” y se define como:
Gx↔x es un gato
Cx↔x tiene cola
(∀x) Gx→Cx
4. Algunas mujeres no son compresibles.
R): tengamos en cuenta que no todas son comprensibles y se expresa de la
siguiente manera:
Ax↔x algunas mujeres
Nx↔x no son comprensibles
(∃x) Ax→Nx
5. Todas las venezolanas son bellas.
R): para su comprensión lo expresaremos de la siguiente manera:
Tx↔x todas las venezolanas
Sx↔x son bellas
(∀x) Tx→Sx

2.- Simbolice, la simbolización en los siguientes enunciados las

condiciones suficientes o necesarias según preposición lógica. (VALOR
10%= 50PTOS) Recuerde: definir y explicar Las parte de la
simbolización.

1. Para reservar en este Hotel es Suficiente con dar el nombre y número de

Visa.
R1: Para reservar en este hotel: p
Es suficiente con: →
Dar el nombre y número de Visa: q
R1= p→q

2. La derivalidad en un punto es condición suficiente para que la función sea

continua en el punto.
R2: La derivalidad en un punto: p
Es condición suficiente para que: →
La función sea continua en el punto: q
R2= p→q
3. Para comprar Zapatos es suficiente ir a la zapatería
R3: Para comprar zapatos: p
Es suficiente: →
Ir a la zapatería: q
R3= p→q

4. Rellenar la solicitud es necesario para asistir al curso de lógica

R4: Rellenar la solicitud: p
Es necesario para: →
Asistir al curso de lógica: q
R4= p→q

5. Que es un matriz sea cuadrada es condición necesaria para que tenga

inversa
R5: Que es un matriz sea cuadrada: p
Es condición necesaria para que: →
Tenga inversa: q
R5= p→q