No se ha añadido ninguna twiki todavía.

Teorema de lógica de enunciados, que se enuncia:


3789.png


y teorema de álgebra de clases, que se enuncia:


3789-1.png


y que permiten escribir, respectivamente, como inferencias válidas,

También, de acuerdo con los Principia Mathematica de Whitehead y Russell, regla de inferencia de lógica de enunciados, que se enuncia:


3789-2.png


y que permite sustituir, en las inferencias lógicas, el primer miembro de la equivalencia por el segundo, y viceversa.

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