Lógica de predicados

¿Cuál de los siguientes términos es una constante de individuo?

• Manuel Belgrano

• Eloy

• estudiante

¿Cuál de los siguientes términos es una propiedad?

• grandiosos

• es grande

• es más grande que

¿Cuál de los siguientes términos es una relación?

• grandiosos

• es grande

• es más grande que

Cuantificador universal

• Ninguno

• Algunos

• Todos

Cuantificador existencial

• Ninguno

• Algunos

• Todos

¿Cuál es una formalización válida para?

Todas las bandas son nacionales

• ∀x.B (x )

•     B (x)   

• ∃x.B (x ) 

• ∄x.B (x )

¿Cuál es una formalización válida para?

Algunas las bandas son nacionales

• ∀x.B (x )

•     B (x)   

• ∃x.B (x ) 

• ∄x.B (x )

¿Cuál es una formalización válida para?

es una banda nacional

• ∀x.B (x )

•     B (x)   

• ∃x.B (x ) 

• ∄x.B (x )

¿Cuál es una formalización válida para?

Todas las bandas son nacionales

• ∀x.B (x )

•     B (x)   

• ∃x.B (x ) 

• ∄x.B (x )

¿Cuál es una formalización válida para?

Ninguna banda es nacional

• ∀x.B (x )

•     B (x)   

• ∃x.B (x ) 

• ∄x.B (x )