publicerad: 2021
predikatlogisk
predikatlogiskt predikatlogiska
pre·dik·at|log·isk
adjektiv
●
som har att göra med
predikatlogik
den predikatlogiska formeln för satsen "Olle sover" är S(O), dvs. sover (Olle)
belagt sedan 1950