publicerad: 2021  
predikatlogisk predikat­logiskt predikat­logiska
pre·dik·at|­log·isk
adjektiv
predika`tlogisk
som har att göra med predikatlogik
den predikat­logiska formeln för satsen "Olle sover" är S(O), dvs. sover (Olle)
belagt sedan 1950