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

Contingut suprimit Contingut afegit
m Corregit: necesari > necessari
m Corregit: ales", tot i que > ales", encara que
Línia 599:
Així, no és el mateix dir: "Hs = Sòcrates és un home" (on atribuïm una qualitat que afecta el ser mateix de Sòcrates), de dir: "S <math> \in </math> H = Sòcrates part de l'classe dels homes. "
 
La classe té sentit encara que no hi hagi individus. Així, la classe home, com a concepte d'home, existeix encara que no existeixin els homes. De la mateixa manera que existeix el concepte de "cavalls amb ales", tot iencara que no hi hagi [[Pegàs (mitologia)|pegàs]] s.
 
Actualment la [[lògica]] anomenada tradicional, [[sil·logisme|silogística]], s'interpreta com lògica de classes.