klasslogik
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
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