Leit
Orðasöfn
Um orðabankann
Hafðu samband
Innskráning
Hér er að finna allar skráðar upplýsingar um hugtakið.
Úr orðasafninu
Máltækni
Flokkun:
merkingarfræði
[enska]
first order predicate calculus
, FOPC
[íslenska]
umsagnarökfræði
kv.
[
skilgr.
] Umsagnarökfræði er
merkingarlýsing
sem notar röktengi og magnara til að tákna merkingu
segða
.
Aftur í leitarniðurstöður
Leita aftur
