first-order logic

collection of formal systems used in mathematics, philosophy, linguistics, and computer science

en-US/ˈfɝst - ˈɑɹdɚ ˈlɑd͡ʒɪk/
en-GB/ˈfɜːst - ˈɔːdə ˈlɒd͡ʒɪk/

الفئات:

predicate logic