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...».) |
m (Text de reemplaçament - "mente." a "ment.") |
||
| Línia 7: | Línia 7: | ||
| − | 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 [[classe (lògica)|classes]], o els conceptes presos | + | 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 [[classe (lògica)|classes]], o els conceptes presos extensionalment. |
{{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | {{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}} | ||
Revisió del 14:40, 5 abr 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 extensionalment.