Quiz Lógica Algorítmica

Si todos los libros son pesados entonces son voluminosos:

• ∀x (P(x) → V(x))

• (P(x) → V(x))

• ∃x (V(x) → P(x))

• ∀x (P(x) ˄ V(x))

Algunas películas son románticas

• ∃x R(x)

• ∃x ⌐R(x)

• ∀x ⌐R(x)

• ∀x R(x)

⌐∀x P(x) su negacion es:

• ∃x P(x)

• ∀x P(x)

• ∃x ⌐P(x)

• ∀x ⌐P(x)

Como se leen las siguientes expresiones:

⌐(∀x P(x))

• Existe un x, tal que P(x) es falso

• algun x, tal que P(x) es verdadero

• No es cierto que, para todo x, P(x) es verdadero

• Para todo x, P(x) es falso

Todos aman a alguien se representa como:

• ∃y ∀x (x, y)

• ∃y ∀x A(x, y)

• ∀y ∃x A(x, y)

• ∀x ∃y A(x, y)

P1: Algún vehículo eléctrico es automóvil                                      

P2: Todo automóvil es medio de transporte                                    

P3: Por tanto, algún medio de transporte es vehículo eléctrico

Cual es el termino medio?

• Vehiculo Electrico

• automovil

• No hay

• Medio Transporte

P1: Toda hamburguesa es comida rápida

P2: Toda hamburguesa es alimento

C:   Por tanto, algún alimento es comida rápida

Cual es el termino menor?

• Alimento

• Ha,burguesa

• comida rapida

• Todos

Todos los mamíferos son seres de sangre caliente.

¿Esta mamiferos distruido en el termino anterior?

• Indeterminado

• No esta distribuido

• Si esta distribuido

Si la conclusión es particular exactamente una de las premisas debe ser particular; si la conclusión es universal, ambas premisas deben ser universales.

• Es verdadero

• Es falso