Diferència entre revisions de la pàgina «Àlgebra de Boole»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Càlcul lògic, inventat per Georg Boole per la lògica d'enunciats i la lògica|lògica de...».) |
(Cap diferència)
|
Revisió del 01:05, 5 feb 2015
Càlcul lògic, inventat per Georg Boole per la lògica d'enunciats i la lògica de classes, que constitueix el precedent i el fonament de la lògica moderna o lògica matemàtica. Boole considera que els enunciats poden expressar-se com a equacions simples i els raonaments com un sistema d'equacions. Els enunciats categòrics de tipus A, I, I i O es reescriuen en aquesta àlgebra com:
on l'expressió (1-i) és la classe complemento de i, o bé . Els enunciats universals s'expressen com a equacions i els particulars com a inequacions. Els elements d'aquesta àlgebra són les classes, o els conceptes presos extensionalmente.