Cuantificadores

Cards (23)

  • ¿Cuál es el propósito de la lógica de cuantificadores?
    Resolver ejercicios de cuantificadores
  • ¿Qué es la cuantificación en lógica?
    Es utilizar particularidades lógicas para referirse a cantidades de individuos de un grupo
  • ¿Cómo se formaliza la afirmación "Todos son estudiosos"?
    (∀x)Ex
  • ¿Qué significa el cuantificador existencial (∃)?
    Significa que hay al menos un individuo que cumple con la propiedad
  • ¿Cómo se formaliza la afirmación "Algunos son estudiosos"?
    (∃x)Ex
  • ¿Qué representa el cuantificador universal (∀)?
    Equivale a TODOS
  • ¿Qué representa el cuantificador existencial (∃)?
    Equivale a AL MENOS UNO
  • ¿Qué significa la expresión (∀x)Ex?
    Significa que para todo individuo x, ese individuo tiene la propiedad de ser estudioso
  • ¿Qué significa la expresión (∃x)Ex?

    Significa que hay al menos un individuo x que tiene la propiedad de ser estudioso
  • ¿Cuáles son las proposiciones categóricas y sus características?
    • Afirmaciones o negaciones sobre clases o grupos de objetos
    • Tipos: "todos son...", "algunos son...", "ninguno es..."
    • Enunciados atómicos o simples
    • Expresan un solo juicio
    • Referidos a cantidad y calidad
  • ¿Cuáles son las categorías según la cantidad y calidad de las proposiciones categóricas?
    Cantidad:
    • Universales
    • Particulares

    Calidad:
    • Afirmativas
    • Negativas
  • ¿Cuál es la forma de una proposición universal afirmativa (UA)?
    'Todos los S son P'
  • ¿Qué representa 'S' y 'P' en la proposición universal afirmativa?
    'S' representa un grupo de sujetos y 'P' un predicado que se refiere a ellos
  • Da un ejemplo de una proposición universal afirmativa.
    Todos los hombres son mortales
  • ¿Cuál es la forma de una proposición universal negativa (UN)?
    'Todos los S no son P' o 'Ningún S es P'
  • Da un ejemplo de una proposición universal negativa.
    Ningún mamífero es ave
  • ¿Cuál es la forma de una proposición particular afirmativa (PA)?
    'Algunos S son P' o 'Existen S que son P'
  • Da un ejemplo de una proposición particular afirmativa.
    Algunos abogados son incumplidos
  • ¿Cuál es la forma de una proposición particular negativa (PN)?
    'Algunos S no son P' o 'Existen S que no son P'
  • Da un ejemplo de una proposición particular negativa.
    Algunos pingüinos no son buenos nadadores
  • ¿Qué significa 'Existen S que no son P' en una proposición particular negativa?
    Significa que hay al menos un individuo S que no cumple con la propiedad P
  • ¿Cómo se relacionan las proposiciones categóricas con los cuantificadores lógicos?
    Las proposiciones categóricas utilizan cuantificadores para expresar la cantidad y calidad de los sujetos en relación con un predicado
  • ¿Cuál es la diferencia entre una proposición universal afirmativa y una particular afirmativa?
    La universal afirmativa se refiere a todos los individuos, mientras que la particular afirmativa se refiere a al menos uno