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 (Uploading bot) |
m (Rpl img) |
||
| Línea 4: | Línea 4: | ||
| − | [[File:107. | + | [[File:107.png|400px]] |
donde la expresión ''(1-y) ''es la clase complemento de ''y'', o bien . Los enunciados universales se expresan como ecuaciones y los particulares como inecuaciones. Los elementos de esta álgebra son las [[clase (lógica)|clases]], o los conceptos tomados extensionalmente. | donde la expresión ''(1-y) ''es la clase complemento de ''y'', o bien . Los enunciados universales se expresan como ecuaciones y los particulares como inecuaciones. Los elementos de esta álgebra son las [[clase (lógica)|clases]], o los conceptos tomados extensionalmente. | ||
{{Etiqueta|Etiqueta=Lógica}}{{InfoWiki}} | {{Etiqueta|Etiqueta=Lógica}}{{InfoWiki}} | ||
Última revisión de 11:29 4 may 2013
¿Qué es?
No se ha añadido ninguna twiki todavía.
Cálculo lógico, inventado por Georg Boole para la lógica de enunciados y la lógica de clases, que constituye el precedente y el fundamento de la lógica moderna o lógica matemática. Boole considera que los enunciados pueden expresarse como ecuaciones simples y los razonamientos como un sistema de ecuaciones. Los enunciados categóricos de tipo A, E, I y O se reescriben en esta álgebra como:
donde la expresión (1-y) es la clase complemento de y, o bien . Los enunciados universales se expresan como ecuaciones y los particulares como inecuaciones. Los elementos de esta álgebra son las clases, o los conceptos tomados extensionalmente.