перейти на главную страницу

Элементы теории и математической логики

Купить ответы
http://www.oplata.info/asp2/pay_wm.asp?lang=ru-RU&id_d=2226376

Алгебра Буля широко применяется
Ассоциативный закон утверждает, что
Буль представляет логику как
В алгебре логике считается, что
В булевой алгебре основными операциями над классами являются
В высказывании “7 - простое число”,
Важным законом в булевой алгебре является принцип двойственно­сти, согласно которому
Выберите формулу, соответствующую закону исключенного третьего.
Выберите формулу, соответствующую закону противоречия.
Высказывание “если число 12 делится на 6, то оно делится на 3”
Высказывание, представляющее собой одно утверждение, принято называть
Две формулы алгебры логики А и В называются равносильными, если
Для высказываний «6 делится на 2», «6 делится на 3» их конъюнкцией будет высказывание
Для того, чтобы формула алгебры логики была тождественно истинна,
Для того, чтобы элементарная дизъюнкция была тождественно истинной,
Если формула F не является тождественно ложной, то в её произвольной дизъюнктивной нормальной форме должны присутствовать слагаемые, удовлетворяющие условию:
Закон склеивания (расщепления) имеет вид:
Используя равносильности, можно
Истинное значение в алгебре логике обозначают
Исчисление И называется семантически полным в языке Я, если
Исчисление И называется семантически пригодным для языка Я, если
Исчислением в математической логике называется
Каждая полная элементарная дизъюнкция d
Как формулируется закон двойственности ?
Какая связь существует между понятиями равносильности и эквивалентности?
Какие законы существуют в алгебре высказываний?
Какие из примеров являются высказываниями?
Какие преобразования можно производить над формулами алгебры логики?
Какие формулы относятся к законам Моргана?
Какова дизъюнктивная нормальная форма?
Какова конъюнктивная нормальная форма?
Какое высказывание будет двойным отрицанием для высказывания «Река Волхов вытекает из озера Ильмень»?
Какое высказывание относительно парадокса является истинным?
Какое из утверждений верно?
Какое из утверждений верно?
Какое из утверждений верно?
Какое утверждение верно?
Какое утверждение справедливо для штриха Шеффера?
Какое утверждение справедливо?
Какой вид имеет закон Блейка- Порецкого?
Какой вид имеет закон свертки логического выражения?
Какой вид имеют законы поглощения?
Какой закон алгебры логики выражает данную равносильность ?
Какой закон алгебры логики выражает данную равносильность ?
Логический парадокс «Лжец» был сформулирован
Логическое значение двойного отрицания высказывания Х
Математическая логика - это
Найти выражение равносильное
Найти выражение равносильное
Нулями элементарных дизъюнкций являются
Одноместным предикатом Р(x) называется
Отношение исчислений к семантике в математической логике выражается понятиями
Под высказыванием понимают
Предикат - это
Предикат F(x) - “диагонали параллелограмма x взаимно перпендикулярны”
Применение в логике математических методов становится возможным тогда, когда
Пример n - местного предиката:
Равносильные преобразования используются для
Рассматриваем булеву алгебру. Чему равна сумма двух А?
Рассматриваем булеву алгебру. Чему равно 1+1?
Рассматриваем булеву алгебру. Чему равно Х+0?
Рассматриваем булеву алгебру. Чему равно Х+1?
Рассматриваем булеву алгебру. Чему равно произведение двух А?
Рассмотрим парадокс «Лжец». Что является верным?
Рассмотрим парадокс Рассела. Допустим, что в некотором поселке нет бородатых людей и все мужчины бреются либо сами, либо у местного парикмахера. Допустим также, что в этом поселке принято правило, согласно которому парикмахер бреет тех и только тех, кто не бреется сам. Спрашивается: бреет ли парикмахер самого себя?
Рассмотрим систему . О каком законе идет речь?
Рассмотрим систему. О каком законе идет речь?
Семантикой в математической логике называется
Синтаксисом в математической логике называется
Сложные высказывания получаются из элементарных с помощью следующих грамматических связок:
Формула F называется дизъюнктивной нормальной формой от высказывательных переменных системы (x1,x2,…,xn),
Формула F называется конъюнктивной нормальной формой от высказывательных переменных системы (x1,x2,…,xn),
Формула F называется совершенной дизъюнктивной нормальной формой от высказывательных переменных системы (x1,x2,…,xn) x1,…,xn,
Формула F называется совершенной конъюнктивной нормальной формой от высказывательных переменных системы (x1,x2,…,xn) x1,…,xn,
Формула F является совершенной дизъюнктивной нормальной формой, если
Формула F является совершенной конъюнктивной нормальной формой, если она отвечает следующим условиям:
Формула А считается проще равносильной ей формулы В, если она содержит
Формулу F называют выполнимой,
Формулы А и А* называются двойственными, если
Функция “дизъюнкция” - это
Функция “дизъюнкция” - это
Функция “конъюнкция” - это
Функция “конъюнкция” равна 1 тогда и только тогда, когда
Функция “отрицание” - это функция
Функция “стрелка Пирса” - это
Функция “штрих Шеффера”
Функция “штрих Шеффера” - это
Характерная особенность булевой алгебры заключается в том, что в ней
Что можно сказать про высказывание ?
Что справедливо относительно тождественно истинной формулы?
Что справедливо относительно тождественно ложной формулы?
Что является справедливым?
Элементарная дизъюнкция является полной,
Элементарная конъюнкция является полной,
Элементарной дизъюнкцией высказывательных переменных из системы (x1,x2,…,xn) называется
Элементарной конъюнкцией высказывательных переменных из системы (x1,x2,…,xn) называется
х =0, y =0, то равно
х =0, y =1, то равно
х =1, y =1, то равно
х =1, y =1, то равно


перейти на главную страницу