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
Litteraturanvisning
Information om artikeln
Medverkande
Dag Prawitz
Källangivelse