Верны ли определения?
А) Формула А называется тождественно истинной, если она принимает значение 1 при всех значениях входящих в нее переменных
В) Формула А называется тавтологией, если она принимает значение 1 при всех значениях входящих в нее переменных
Подберите правильный ответ
(*ответ*) А – да, В – да
А – да, В – нет
А – нет, В – да
А – нет, В – нет
Верны ли утверждения?
А) Импликацию двух высказываний Р и Q можно выразить следующим сложным высказыванием: «Р есть достаточное условие для Q»
В) Импликацию двух высказываний Р и Q можно выразить следующим сложным высказыванием: «Р есть необходимое условие для Q»
Подберите правильный ответ
(*ответ*) А – да, В – нет
А – да, В – да
А – нет, В – да
А – нет, В – нет
К алфавиту первой категории исчисления высказываний: х, у, z, ...,х1, х2, .... относятся
символы, которые называются
(*ответ*) переменными высказываниями
постоянными высказываниями
формулами
логическими связками
Аксиоматические теории делятся на
(*ответ*) формальные и не формальные
протеворичивые и не противоречивые
разрешимые и не разрешимые
полные и неполные
Алфавит исчисления высказываний состоит из
(*ответ*) переменных высказываний
(*ответ*) логических связок
(*ответ*) скобок – ( )
формул исчисления высказываний
аксиом исчисления высказываний
Алфавит исчисления высказываний состоит из символов _ категорий
(*ответ*) трех
двух
четырех
пяти
Ассоциативность конъюнкции выражается следующей равносильностью
(*ответ*) xÙ (уÙz) (xÙу) Ùz
xÙ (уÙz) (xÙу Ùz)
xÙ (уÙz) -(xÙу Ùz)
xÙ (уÙz) (xÙу) Ù(yÙz)
Благодаря введению символов в логику была получена основа для создания новой науки -
(*ответ*) математической логики
абстрактной логики
классической логики
нечеткой логики
В выражении - x Р(х,у) переменная у является
(*ответ*) свободной
связанной
неопределенной
кванторной
В высказывании «7 – есть простое число»
(*ответ*) «7» - субъект, «простое число» - предикат
«7» - предикат, «простое число» - субъект
«7» - объект, «простое число» - предикат
«7» - предикат, «простое число» - объект
В импликации предложение, непосредственно следующее за «если», есть
(*ответ*) антецедент
В импликации предложение, непосредственно следующее за «то», есть
(*ответ*) консеквент
антецедент
отрицание
эквивалентность
В исчислении предикатов предметные переменные и предметные постоянные, вместе взятые, называются
(*ответ*) термами
числами
символами алфавита
переменными