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:


107.png


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.

Comentarios

  1. Todos
  2. Los más valorados

No se ha añadido ningun comentario todavía.

0 entradas — página 1 /1
| Ir a página

No se ha añadido ningun comentario todavía.

0 entradas — página 1 /1
| Ir a página