Test eye — Disynergy

Скачать тест — (Test eye_61a5e454.pdf)

Сложное высказывание «Неверно, что первым пришел Петр или Павел» может быть записано формулой …
Высказывание «Если а – четное число, b – нечетное число, то их произведение делится на 2» в символической форме имеет вид …
Высказывание «Произведение целых чисел a и b не делится на 2 в том и только в том случае, если a или b нечетное» в символической форме имеет вид …
Высказывание «Если а – нечетное число, b – четное число, то их произведение делится на 2» в символической форме имеет вид …
Высказывание является …
Высказывание является …
Высказывание является …
Пусть тогда …
Пусть тогда …
Пусть тогда …
Значение X ,определяемое уравнением , равно …
Конъюнкция через импликацию и отрицание в символической форме имеет вид …
Дизъюнкцию через импликацию и отрицание в символической форме имеет вид …
Высказывания S1 S2 S3 (см.ниже), состоящие из двух элементарных высказываний A и B , равносильны тогда, когда …
Существенной переменной логической функции является …
Фиктивной переменной логической функции является …
Полную систему связок образуют такие пары связок, как …
Между высказываниями S1: «Если треугольники равны, то равны их стороны» S2: «Стороны треугольников равны тогда и только тогда, когда равны треугольники» существует такое отношение следствия, как …
Если заключение истинно, то при правильном рассуждении посылки могут быть ….
Число слагаемых СДНФ формулы составляет …
СДНФ, построенная по функции (*) , заданной так, что на всех наборах значений переменных (**) она принимает значение 1, содержит … слагаемых
Если СДНФ формулы содержит 3 слагаемых, то ее СКНФ содержит …
Форму следующей формулы можно определить как …
Количество «нулевых» значений таблицы истинности формулы равно …
Логической функции соответствует формула алгебры высказываний …
Релейно-контактной схеме (см.ниже) соответствует формула алгебры высказываний …
Предикат 1=0 является …
Если – множество натуральных чисел, то истинное высказывание имеет вид …
Результатом конъюнкции предикатов на множестве действительных чисел является …
Если из высказывания S1 следует S2, то между S1 и S2 существует такое отношение следствия, как …
Формула, выражающая правило modus ponens, имеет вид …
Значения функции находятся в … столбце таблицы (см.ниже)
Значения функции находятся в … столбце таблицы (см.ниже)
Число сомножителей СКНФ невыполнимой формулы составляет …
СКНФ, которая построена по функции: , содержит …
Форму следующей формулы можно определить как …
Количество «единичных» значений таблицы истинности формулы составляет …
Логической функции , соответствует формула алгебры высказываний …
Релейно-контактной схеме (см.ниже) соответствует формула алгебры высказываний …
В предикате переменные … являются свободными
Предикат ln(x²+y³) = 21, где х, у – действительные числа, является …
Предикат x2+y2 ≥ -25, где х, у – действительные числа, является …
Значение выражения на множестве действительных чисел равно …
Символ в выражении следует заменить символом …, чтобы получить тавтологию логики предикатов