Безліч істинності - це
АЛГОРИТМІЧНА СВІДОМІСТЬ — одне з основних понять алгоритмів теорії та її додатків Виникло у зв'язку з тим, що нерозв'язність (і розв'язність) багатьох алгоритмічних проблем встановлюється здебільшого не безпосередньо, а шляхом зведення до досліджуваної проблеми такої… Математична енциклопедія
ОБ'ЄМНОСТІ ПРИНЦИП - або принцип екстенсіональності (від лат. extentio протяг) один з головних принципів, що лежать в основі теорії множин: дві множини (або класу), що складаються з одних і тих же елементів (тобто мають один і той самий обсяг), рівні (збігаються). При … Філософська енциклопедія
АЛГЕБРАЇЧНА СИСТЕМА - безліч з певними на ньому операціями та відносинами. А. с. належать до основних математич. структур і мають глибоко розроблену загальну теорію, що сформувалася на початку 50-х років. 20 ст. на межі між алгеброю та математич. логікою.… … Математична енциклопедія
МНОГОЗНАЧНА ЛОГІКА - безліч логічних систем, в яких область істиннісних значень висловлювань складається з більш ніж двох значень. У цьому плані багатозначна логіка постає як узагальнення класичної двозначної логіки, яка обмежила область… … Філософія науки: Словник основних термінів
НАУКОВА ІСТИНА - безліч емпіричних і теоретичних тверджень науки, відповідність змісту яких своєму предмету засвідчена науковою спільнотою. Двома основними формами такого посвідчення є: 1) відповідність результатам систематичних, … … Філософія науки: Словник основних термінів
ПРОТОКОЛЬНІ ПРОПОЗИЦІЇ (протоколи) — безліч одиничних (за логічною формою) висловлювань про дані, що спостерігаються, отримані в ході безпосереднього або непрямого спостереження (як правило, за допомогоюнаукових приладів) над об'єктивними (природними чи штучно створеними в … … Філософія науки: Словник основних термінів
БАГАТОЗНАЧНА ЛОГІКА - сукупність логічних систем, що спираються на багатозначності принцип. У класичній двозначній логіці висловлювання при інтерпретації набувають лише двох значень «істинно» і «хибно», в М.Л. розглядаються та ін значення, напр. «невизначено», … … Філософська енциклопедія
Булева функція — У цій статті чи розділі є список джерел або зовнішніх посилань, але джерела окремих тверджень залишаються незрозумілими через відсутність виносок… Вікіпедія
МНОГОЗНАЧНА ЛОГІКА - розділ математичної логіки, що вивчає математич. моделі логіки висловлювань. Ці моделі відображають дві основні риси останньої множинності значень істинності висловлювань і можливість побудови нових складніших висловлювань із заданих … Математична енциклопедія