Việt
logic vị ngữ
Anh
predicate logic
PL
Đức
Prädikatenlogik
Prädikatenlogik /f (PL)/TTN_TẠO/
[EN] predicate logic (PL)
[VI] logic vị ngữ
PL /v_tắt (Prädikatenlogik)/TTN_TẠO/
[EN] PL (predicate logic)