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

В столбце ... таблицы находятся значения импликации
1
2
3
4

Если при любой подстановке вместо переменных из Mi предикат превращается в ложное высказывание, то он называется ...
тождественно-ложным
тождественно-истинным
выполнимым
опровержимым

Формула алгебры высказываний называется опровержимой, если
она на любом наборе высказываний, подставляемых вместо пропозициональных переменных, представляет собой ложное высказывание
существует такой набор высказываний, при подстановке которого в формулу получится ложное высказывание
существует такой конкретный набор высказываний, при подстановке которого в формулу получается истинное высказывание
при подстановке любых наборов конкретных высказываний в формулу получаем истинное высказывание

Формула алгебры высказываний называется выполнимой, если
она на любом наборе высказываний, подставляемых вместо пропозициональных переменных, представляет собой ложное высказывание
существует такой набор высказываний, при подстановке которого в формулу получится ложное высказывание
существует такой конкретный набор высказываний, при подстановке которого в формулу получается истинное высказывание
при подстановке любых наборов конкретных высказываний в формулу получаем истинное высказывание

Формула, выражающая правило объединения и разделения посылок, имеет вид:...

Формула алгебры высказываний называется тождественно-ложной, если . она на любом наборе высказываний, подставляемых вместо пропозициональных переменных, представляет собой ложное высказывание
существует такой набор высказываний, при подстановке которого в формулу получится ложное высказывание
существует такой конкретный набор высказываний, при подстановке которого в формулу получается истинное высказывание
при подстановке любых наборов конкретных высказываний в формулу получаем истинное высказывание

Формула ... выражает один из законов де Моргана

Булевская функция - это такая функция одного или нескольких булевских переменных, которая принимает
любое целочисленное значение
только значение 0 или только значение 1
любые вещественные значения

Булевская переменная - это переменная, которая принимает...
любое целочисленное значение
только одно из следующих значений: 0 или 1
любые вещественные значения

Формула, выражающая правило «Дизъюнкция слабее каждого из слагаемых», имеет вид:...

Если при любой подстановке вместо переменных xi из Мi предикат превращается в истинное высказывание, то он называется ...
тождественно-ложным
тождественно-истинным
выполнимым
опровержимым

Формула ... выражает один из законов поглощения

Предикат P(x1, x2 … xn), заданный на множестве называется выполнимым, если существует такой набор переменных, взятый из множеств Мi, что при подстановке их вместо Xi получим ...
высказывание
формулу
истинное высказывание
известное высказывание

Формула, выражающая правило цепного заключения, имеет вид:...

Под высказыванием понимается утвердительное предложение, которое может быть ...
либо истинным, либо ложным, либо истинным и ложным одновременно
либо истинным, либо ложным, но не то и другое одновременно
только истинным
только ложным

В столбце ... таблицы находятся значения функции конъюнкции
1
2
3
4

Правило Modus tollens имеет вид .

Переменные, вместо которых можно подставлять высказывания, называют ... переменными
предметными
пропозициональными
логическими
предикатными

Формула, выражающая правило «Конъюнкция сильнее каждого из сомножителей», имеет вид:...

В столбце ... таблицы находятся значения функции « »
1
2
3
4