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 (Uploading bot) |
||
| Línea 1: | Línea 1: | ||
| − | + | {{ConceptoWiki}} | |
[[cálculo lógico|Cálculo]] lógico, inventado por [[Autor:Boole, Georg|Georg Boole]] para la [[lógica|lógica de enunciados]] y la [[lógica|lógica de clases]], que constituye el precedente y el fundamento de la lógica moderna o [[lógica, historia de la|lógica matemática]]. Boole considera que los [[enunciado|enunciados]] pueden expresarse como ecuaciones simples y los [[razonamiento|razonamientos]] como un sistema de ecuaciones. Los [[enunciado categórico|enunciados categóricos]] de tipo [[A|A]], [[E|E]], [[I|I]] y [[O|O]] se reescriben en esta álgebra como: | [[cálculo lógico|Cálculo]] lógico, inventado por [[Autor:Boole, Georg|Georg Boole]] para la [[lógica|lógica de enunciados]] y la [[lógica|lógica de clases]], que constituye el precedente y el fundamento de la lógica moderna o [[lógica, historia de la|lógica matemática]]. Boole considera que los [[enunciado|enunciados]] pueden expresarse como ecuaciones simples y los [[razonamiento|razonamientos]] como un sistema de ecuaciones. Los [[enunciado categórico|enunciados categóricos]] de tipo [[A|A]], [[E|E]], [[I|I]] y [[O|O]] se reescriben en esta álgebra como: | ||
| − | + | [[File:107.gif]] | |
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}} | ||
Revisión de 00:25 26 may 2012
¿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.