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

• Författare:
• Dag Prawitz