Begreppskarta över grundläggande SPM-logik

Detta dokument utgör ett litet matematiskt lexikon rymmande den specifika terminologi, notation och begreppsbildning ur elementär SPM-logik – vilket är min förkortning för Satslogik, Predikatlogik och Mängdlogik (mängdlära, klasslogik) – som dyker upp och kommer till användning inom i stort sett alla grenar av matematiken (matematikvetenskapen) och dess tillämpningar.

Man kan säga att dessa grundläggande element ur SPM-logiken hör till ''allmänbildning'' för den som studerar eller använder högre matematik i något sammanhang. De dyker, som sagt, upp inom alla grenar av den högre matematiken, inte bara inom de speciella forskningsgrenar som heter just ''matematisk logik'' eller ''mängdlära''.

Uppsatsen ingår i del V (Allmänna dokument och extramaterial) av studien Den första matematiken.

Nivå: gymnasium, inledande högskola/universitet