first-order logic

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

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

زمرے:

predicate logic