Філософський енциклопедичний словник
А Б В Г Д Е Є Ж З І Й К [Л] М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ю Я S
логіка предикатів
ЛОГІКА ПРЕДИКАТІВ - розділ математичної логіки, що являє собою певне розширення логіки висловлювань. На відміну від логіки висловлювань, де висловлювання розглядають як єдине ціле, в Л. п. береться до уваги їхня суб'єктнопредикативна структура.
Ви можете поставити посилання на це слово:

матиме такий вигляд: логіка предикатів


матиме такий вигляд: Що таке логіка предикатів