klasslogik, den del av logiken som studerar vissa operationer på klasser och relationer mellan dem utan att som mängdteorin göra bruk av någon abstraktionsprincip. Man utgår vanligen från en given domän D av individer. Klassen av alla individer i D (alltså D själv) kallas allklassen (eller den universella klassen) och skrivs vanligen U (eller ∨), medan nollklassen (eller den tomma klassen), vanligen symboliserad med Ø (eller ∧), är

(68 av 483 ord)
Vill du få tillgång till hela artikeln?

Medverkande

  • Dag Prawitz

Litteraturanvisning

D. Prawitz, ABC i symbolisk logik 1–2 ( 2:a upplagan 1975).
Källangivelse
Nationalencyklopedin, klasslogik. http://www.ne.se/uppslagsverk/encyklopedi/lång/klasslogik