predicate logic

English - Turkish

Definition of predicate logic in English Turkish dictionary

yüklem mantığı

English - English

Definition of predicate logic in English English dictionary

First-order logic

The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic

Related Terms

monadic predicate logic

The fragment of predicate logic in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters

Hyphenation

pre·di·cate log·ic

Turkish pronunciation

predıkeyt läcîk

Pronunciation

/ˈpredəˌkāt ˈläʤək/ /ˈprɛdəˌkeɪt ˈlɑːʤɪk/