Revisió del 15:13, 14 maig 2010 modifica Mcapdevila (discussió \| contribucions) 185.518 edits Cap resum de modificació ← Edició anterior		Revisió del 15:16, 14 maig 2010 modifica desfés Mcapdevila (discussió \| contribucions) 185.518 edits →‎Elements i la seva simbolització Edició següent →
Línia 652: ==== Elements i la seva simbolització ==== [[fitxer: ~~CLASSE~~CLASE UNIVERSAL.jpg\|thumb\|Classe universal.]] * ''' Univers ''': és la classe de totes les classes, de tots els elements de l'univers que estiguem considerant. Es la flama classe universal. U * ''' Classe buida ''': classe que no té cap element: Ø Línia 667: * ''' Generalitzat ''': <math> \bigwedge x </math> Tot x. * ''' Particularitzat ''': <math> \bigvee x </math> Algun x * ''' Connectives ''': <math> \land, \~~veïx~~vee, \rightarrow, \leftrightarrow </math> - Definides de la mateixa manera que en la lògica d'enunciats relatives a la pertinença o no pertinença d'un individu a una classe. * La ''' negació ''' es defineix com una operació entre les classes, la classe complementària.

Càlcul lògic: diferència entre les revisions