Capšalera
 FiloXarxa Diccionari enciclopŔdic de filosofia: autors, conceptes, textos

Temes  -

El saber filos˛fic El coneixement La realitat L'Ússer humÓ L'acciˇ humana La societat

Hist˛ria -

Filosofia antiga i medieval Filosofia moderna Filosofia contemporÓnia Mapa del web Ajuda i altres Descarregar "font grega"
Cerca continguts al web Pensament: autors, conceptes, textos, obres ...
Loading

absorció LĎG.

Teorema de lògica d'enunciats, que s'enuncia:


i teorema d'àlgebra de classes, que s'enuncia:


i que permeten escriure, respectivament, com a inferències vàlides,

p ˅ (p ˄ q) en comptes de p, o p ˄ (p ˅ q) en comtpes de p

(A ă B) en comptes de A, o A ă (A  B) en comptes de A

També, d'acord amb els Principia Mathematica de Whitehead i Russell, regla d'inferència de lògica d'enunciats, que s'enuncia:

i que permet substituir, en les inferències lògiques, el primer membre de l'equivalència pel segon, i viceversa.
 

Licencia de Creative Commons
Aquesta obra estÓ sota una llicŔncia de Creative Commons.