predicate logic

Английский Язык - Турецкий язык

Определение predicate logic в Английский Язык Турецкий язык словарь

yüklem mantığı

Английский Язык - Английский Язык

Определение predicate logic в Английский Язык Английский Язык словарь

First-order logic

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

Связанные Термины

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

Расстановка переносов

pre·di·cate log·ic

Турецкое произношение

predıkeyt läcîk

Произношение

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