Aseveraciones

Aseveraciones de acuerdo a la relación de sus conceptos.

Inclusión: es el tipo de relación que expresa que todos los elementos de una clase están contenidos en la otra clase.

Para este tipo de relación se utiliza el cuantificador TODOS.

Nota: Clase es igual a concepto.

Exclusión: es el tipo de relación que expresa que cualquier característica que esté incluida en una clase, nunca podrá estar incluida en la otra clase.

Para este tipo de relación se utiliza el cuantificador NINGUNO.

Intersección: es el tipo de relación en la que se expresa que algunas, pero no todas las características de una clase, son también miembros de la otra.

Para este tipo de relación se utilizan los cuantificadores ALGUNOS y NO TODOS.

Relaciones entre aseveraciones

Contradicción: Cuando dos aseveraciones tienen los mismos conceptos pero con formas cuyos significados se contradicen, se dice que se tiene una relación de contradicción.

En este caso, una aseveración es verdadera y otra falsa.

Algunos salones de clase son pequeños.

Todos los salones de clase son grandes.

Implicación: Cuando una aseveración deriva de la primera, se dice que se tiene una relación de implicación.

Si la primera aseveración es verdadera, la segunda por lógica debe serlo también.

Así, cada clase tiene dentro una clase más específica.

Dos aseveraciones están relacionadas por implicación cuando la veracidad de una está determinada por la veracidad de la otra.

Una es más general y otra más específica; en este caso, la primera implica a la segunda.

Todas las naranjas son frutas.

Todas las frutas son nutritivas.

Coherencia: Permite identificar ideas que no se contradicen entre sí; las aseveraciones se refieren al mismo asunto o a temas relacionados entre sí.

NO se contradicen ni tienen relación de implicación; pueden ser ambas verdaderas o falsas, o una verdadera y otra falsa.

Algunos libros son de historia.

Algunos cuentos están en libros.

...