domingo, 30 de octubre de 2016

Lógica: ASEVERACIÓN.

Hoy daremos un concepto muy útil que nos ayudará a tomar decisiones correctas al elegir una oración (proposición) en nuestro cuadro de oposición o para los diagramas de Venn que será el tema de mañana.

Aseveración: Es una oración con sujeto y predicado que siempre va un cuantificador al inicio y sólo se aceptan oraciones verdaderas; además, respeta la siguiente fórmula:
      Aseveración= Cuantificador + sujeto + verbo (ser/estar) + complemento.

Ejemplo:

  • Tipo A: Todo hombre es mortal.
  • Tipo E: Ningún hombre es mortal.
  • Tipo I: Algún hombre es mortal.
  • Tipo O: Algún hombre no es mortal.
Las aseveraciones verdaderas son la de tipo A "Todo hombre es mortal" y la de tipo I: "Algún hombre es mortal".
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
RETO: ¿Me podría decir cuál o cuáles de las siguientes aseveraciones son verdaderas?

  • Tipo A: Todo ornitorrinco es mamífero.
  • Tipo E: Ningún ornitorrinco es mamífero.
  • Tipo I: Algún ornitorrinco es mamífero.
  • Tipo O: Algún ornitorrinco no es mamífero.

No hay comentarios:

Publicar un comentario