Help
Options
Didn't know it?
click below
click below
Knew it?
click below
click below
Don't Know
Remaining cards (0)
Know
retry
shuffle
restart
0:00
Embed Code - If you would like this activity on your web page, copy the script below and paste it into your web page.
Normal Size Small Size show me how
Normal Size Small Size show me how
Math Logic
| Term | Definition |
|---|---|
| Высказывание | всякое предложение утверждающее что-либо о чем-либо, при этом обязательно истинное или ложное |
| Простое высказывание | Одно утверждение в высказывании |
| Сложное высказывание | Высказывание состоящее из нескольких утверждений(и, или, не, если...то) |
| Абсолютно ложное/истинное высказывание | Высказывание, которое во всех возможных ситуациях ложно/истинно |
| Тавтология | Если формула принимает значение 1 при всех входящий в нее переменных |
| Противоречие | Если формула принимает значение 0 при всех входящий в нее переменных |
| Выводимая | Если формула при каком-либо наборе переменных она принимает значение 1 |
| Опровержимая | Если формула при каком-либо наборе переменных она принимает значение 0 |
| Совершенная дизъюнктивная и конъюктивная нормальные формы | ДНФ/КНФ, в которой в каждый конъюнктивный одночлен каждая переменная X из набора f(x1, x2, ... , xn) входит ровно один раз, причем входит либо сама, либо ее отрицание. |
| ДНФ | Всякая дизъюнкция элементарных коеъюнктов |
| КНФ | Всякая конъюнкция простых дизъюнктов |
| Суперпозиция | это образование новой функции из нескольких исходных. |
| Закон двойственности | Формулы А и А*называются двойственными, если формула А*получается из формулы А путем замены в ней каждой операции на двойственную. |
| Теорема суперпозиции | Функция действительная суперпозиции некоторых функций равносильная соответствующей суперпозиции двойственных функций |
| Многочлен Жегалкина | Многочленом Жегалкина называется многочлен, являющийся суммой константы и различных одночленов, в которые каждая из переменных входит не выше, чем в первой степени. |
| Полнота функции | Система функций алгебры логики является полной тогда, и только тогда, когда она целиком не содержится ни в одном из пяти замкнутых классов: Т 0, Т 1, S, M и L. |
| Замкнутость функции | Любая функция, которую можно выразить формулой с использованием функций множества P, снова входит в это же множество. |
| Базис функции | полная система называется базисом если при удалении хотя бы одной функции из этой системы, она перестает быть полной |
| Язык | система аксиом и правил вывода исчисления высказываний |
| Эквивалетность | Формулы F1 и F2 эквивалентны, если реализуемые ими функции совпадают, т.е. имеют одни и те же значения истинности на одинаковых наборах переменных. |
| Двойственность | Булева функция f*(x1, …, xn) называется двойственной булевой функции f(x1, …, xn), если она получена из f(x1, …, xn) инверсией всех аргументов и самой функции |
| Предикат | Предикат - это выражение, содержащее переменные и утверждающее какое-то свойство или отношение между объектами. |
| Логика предикатов | Логическая система в рамках которой исследуется структура и содержание тех высказываний, которые в рамках исследования считаются элементарными |
| Одноместный предикат | произвольная функция переменной x определенная на некотором множестве М и принадлежащая значению из множества {0;1} |
| Множество истинности предиката | множество М которое состоит из всех Х, таких что, предикат принимает значение истинности |
| Тождественно истинный предикат | предикат, который определяется множеством М называется тождественно истинным если множество I и M равны |
| n-местный предикат | называется всякая функция Q(x1, x2, ...., xn) n переменных определенная на множнстве M1 x M2 X ... X Mn и принимающая на этом множестве ожно из этих значений {0;1} |
| Действия с предикатами | коньюнкция, дизъюнкция, отрицание, импликация |
| Атомарная формула | Атомарная формула в алгебре логики - это формула, которая состоит из одной переменной или константы. |
Created by:
SopkinDomik
Popular Math sets