Какие существуют виды предикатов в логике?

Некоторые виды предикатов в логике:

• Одноместный предикат. amstarm.ru Зависит от одной переменной. amstarm.ru
• n-местный предикат. amstarm.ru Зависит от n переменных, таким образом бывают двухместные, трёхместные и т. д. предикаты. amstarm.ru
• Нуль-местный предикат. amstarm.ru Любое высказывание можно рассматривать как нуль-местный предикат. portal.tpu.ru

Также предикаты могут быть тождественно-истинными, если при любых допустимых значениях их переменных они превращаются в истинное высказывание. portal.tpu.ru ru.wikipedia.org Тождественно-ложными, если при любых допустимых значениях их переменных они превращаются в ложное высказывание. portal.tpu.ru ru.wikipedia.org Выполнимыми, если найдётся хотя бы один набор допустимых значений их переменных, при котором они превращаются в истинное высказывание. portal.tpu.ru ru.wikipedia.org Опровержимыми, если найдётся хотя бы один набор допустимых значений их переменных, при котором они превращаются в ложное высказывание. portal.tpu.ru