谓词逻辑

wèicì luójí

логика предикатов (англ. predicate logic)