Está comparando dos ediciones. La más antigua a la izquierda y la más reciente a la derecha.
Ir a la versión actual.
Las nuevas contribuciones te aparecerán en rojo, en la columna de la derecha. Desde éstas podrás ver las diferencias con el texto anterior.
m (Rpl img) |
|||
| Línea 2: | Línea 2: | ||
En la lógica tradicional, el supuesto de que los [[enunciado categórico|enunciados categóricos]] universales, [[A|A]] y [[E|E]], no se refieren en ningún caso a conjuntos vacíos, de modo que un [[enunciado|enunciado]] como «Todos los hombres son mortales», dado que implica que existen «hombres», implica también que «algún hombre es mortal». En la lógica actual, este supuesto no se da, por lo que los enunciados universales se interpretan según la lógica de [[álgebra de Boole|Boole]] de la siguiente manera: | En la lógica tradicional, el supuesto de que los [[enunciado categórico|enunciados categóricos]] universales, [[A|A]] y [[E|E]], no se refieren en ningún caso a conjuntos vacíos, de modo que un [[enunciado|enunciado]] como «Todos los hombres son mortales», dado que implica que existen «hombres», implica también que «algún hombre es mortal». En la lógica actual, este supuesto no se da, por lo que los enunciados universales se interpretan según la lógica de [[álgebra de Boole|Boole]] de la siguiente manera: | ||
| − | [[File:97. | + | [[File:97.png|400px|center]] |
Como estas afirmaciones se aplican igualmente a clases vacías, la interpretación booleana no permite deducir de «todos los hombres son mortales» que «algún hombre es mortal». | Como estas afirmaciones se aplican igualmente a clases vacías, la interpretación booleana no permite deducir de «todos los hombres son mortales» que «algún hombre es mortal». | ||
Última revisión de 11:33 4 may 2013
¿Qué es?
No se ha añadido ninguna twiki todavía.
En la lógica tradicional, el supuesto de que los enunciados categóricos universales, A y E, no se refieren en ningún caso a conjuntos vacíos, de modo que un enunciado como «Todos los hombres son mortales», dado que implica que existen «hombres», implica también que «algún hombre es mortal». En la lógica actual, este supuesto no se da, por lo que los enunciados universales se interpretan según la lógica de Boole de la siguiente manera:
Como estas afirmaciones se aplican igualmente a clases vacías, la interpretación booleana no permite deducir de «todos los hombres son mortales» que «algún hombre es mortal».
Relaciones geográficas