Lógica 09: cuantificación universal y existencial
En la publicación anterior vimos acerca de la lógica de predicados y su lenguaje formal. Ahora hablaremos acerca de los cuantificadores. CUANTIFICACIÓN UNIVERSAL Las proposiciones universalmente cuantificadas son aquellas que hablan de un grupo o conjunto de todo o ninguno: Afirmativa universal: Todos los humanos son mortales. Negativa universal: Ningún humano es mortal. Estas proposiciones…
Leer más