Humord
Symbolic logic
Symbolsk logikk
Relasjonsalgebra
Relational algebra
Predikater
Predikatkalkykler
Predikatkalkylar
Predikatkalkyle
Kvantorlogikk
Predikatlogikk (også predikatkalkyle eller kvantorlogikk) er en gren av logikken som analyserer setninger som inneholder kvantorer («alle», «noen», «ingen» osv.) og variabler. <wikipedia>
Lukket bemerkning: ubo24
Predikatlogikk
Predicate logic
Innholdsbeskrivende emne
Topic