Тесты (стр. 2 )

Весьма условное разделение парадоксов на семантические и логические предложил…
Рамсей Рассел Кантор Ришар Фреге Тарский
Парадокс Кантора связан со множеством…
Всех пустых множеств Всех непустых множеств Всех нормальных множеств Всех ненормальных множеств Всех одноэлементных множеств Всех множеств
В возникновении парадокса Рассела самую существенную роль играет аксиома … теории множеств.
Свертывания Развертывания Образования Существования Абстрагирования Непустоты Единственности

Какое из этих множество имеет мощность, отличную от алеф-нуль?
Натуральных чисел Целых чисел Четных чисел Рациональных чисел Отрицательных чисел Действительных чисел
Согласно теореме Кантора, мощность множества всех подмножеств данного множества больше мощности самого этого исходного множества. Для каких множеств это утверждение справедливо?
Для всех Только для всех непустых Только для всех конечных Только для бесконечных Только для множеств мощности алеф-нуль Только для множеств, чья мощность не превышает алеф-два
Какие из этих утверждений истинны? Все бесконечные множества имеют одинаковую мощность Все бесконечные множества имеют различную мощность Некоторые бесконечные множества имеют одинаковую мощность Понятие «мощность множества» неприменимо к бесконечным множествам Все бесконечные множества делятся на три группы согласно трем видам (величинам) их мощности – алеф-нуль, алеф-один и алеф-два Для множества с любой мощностью существует множество, превосходящее его по мощности Согласно гипотезе континуума…
Мощность множества действительных чисел больше, чем мощность множества рациональных Иерархия алефов бесконечна Не существует никакого конкретного множества с мощностью от алеф-три и выше Не существует множества, чья мощность была бы меньше мощности континуума и больше мощности счетного множества Множество-континуум имеет максимальную мощность Алефы образуют континуальный, а не дискретный ряд.
На данный момент известны конкретные множества, которые могут быть отнесены к … типам алефов в их иерархии.
  Одному   Двум   Трем
Четырем Ко всем Такие множества пока не найдены Пропозициональная связка – знак … функции
предметной двухместной предметно-истинностной истинностной нульместной пропозициональные связки вообще не функторы
Предметный функтор – это знак … функции
предметной одноместной предметно-истинностной истинностной нульместной
В контексте «Знаменитый итальянец Федерико Феллини является режиссером фильма “Дорога”» термин «режиссер» является…
Одноместным предметным функтором Двухместным предметным функтором Одноместным предикатором Двухместным предикатором Описательным именем Собственным именем

В контексте «За систематические еретические выступления автор романа «Воскресение» был отлучен от церкви» термин «автор» является…
Одноместным предметным функтором Двухместным предметным функтором Одноместным предикатором Двухместным предикатором Описательным именем Собственным именем
В контексте «Джим дает в долг только Джону, поэтому, зная Джона, вполне можно сказать, что должник Джима – весьма легкомысленный человек» термин «должник» является…
Одноместным предметным функтором Двухместным предметным функтором Одноместным предикатором Двухместным предикатором Описательным именем Собственным именем
Какие из этих выражений заведомо являются непустыми описательными именами (Эльза – реально существующий человек, католичка, потомственная селянка):
Брат Эльзы Младший брат Эльзы Муж Тот дедушка Эльзы, что постарше Старшая дочь Эльзы Место работы Эльзы Место рождения Эльзы

Какие из этих выражений заведомо являются непустыми описательными именами (Джим – реально существующий человек, негр):
Единственный брат Джима Дедушка Джима по материнской линии Брат-близнец Джима Отец жены Джима Мать отца Джима Младшая дочь Джима Национальность Джима Завод, где работает Джим

Какие из этих выражений заведомо являются непустыми описательными именами (Джим – реально существующий человек, католик, потомственный горожанин):
Единственная сестра Джима Бабушка Джима по отцовской линии Мать сына Джима Отец матери Джима Старший сын Джима Отчим Джима Темперамент Джима Институт, который закончил Джим
Контекст называется экстенсиональным, если и только если…
все выражения в его составе имеют только одно значение некоторые выражения в его составе имеют более одного возможного значения. ко всем выражениям в его составе можно применить правило замены равного равным без изменения значения всего контекста хотя бы к одному выражению в его составе можно применить правило замены равного равным без изменения значения всего контекста применение правила замены равного равным хотя бы к одному выражению в его составе может привести к изменению значения всего контекста он имеет более одной возможной интерпретации.
Непредикативные определения – это определения…
Через указание на совокупность, к которой принадлежит данный объект Путем предъявления конкретного экземпляра объекта данного класса Путем перечисления Содержащие порочный круг Самопротиворечивые Не позволяющие реально и эффективно распознать определяемый объект

К главе 3.

Параметры, которыми в КЛВ замещают простые суждения, называют … переменными.
пропорциональными протофункциональными протокольными пропозициональными простыми предикатными

Логическую структуру высказывания «Денег у нас нет, и получается, что, по крайней мере, одно из двух: надо найти новый источник дохода, или мы не выплатим долг вовремя» выражает формула…
¬p ∨ (q & ¬ r) ¬(p & q) ⊃ r ¬p & (¬q ⊃ r) (¬p & ¬q) ∨ r (¬p & q) ∨ ¬ r ¬p & (q ∨ ¬r)
Логическую структуру высказывания «Если он не придет и не позвонит, я обижусь» выражает формула…

(¬p ∨ ¬q) ≡ r ¬(p & q) ⊃ r ¬p & (¬q ⊃ r) (¬p & ¬q) ⊃ r (¬p ⊃ ¬q) & r (¬p ∨ ¬q) ⊃  r

Логическую структуру высказывания «Если Смит невиновен тогда и только тогда, когда виновен Браун, то Джонс точно невиновен» выражает формула…
(¬С ≡ Б) ⊃ ¬Д (Б ⊃ ¬С) ⊃ ¬Д ¬С ≡ (Б  ⊃ ¬Д) (¬С ⊃ Б) ⊃ ¬Д (¬С & Б) ⊃ ¬Д (¬Д ⊃ Б) ≡ ¬С

Логическую структуру высказывания «Смит и Браун не могут быть вместе виновны тогда и только тогда, когда невиновен Джонс» выражает формула…
¬(С & Б) ≡ ¬Д (¬С & ¬Б) ≡ ¬Д ¬Д  ⊃ ¬(С & Б) ¬Д  ⊃ (¬С & ¬Б) ¬(С & Б) & ¬Д (¬С & ¬Б) ⊃ ¬Д
Логическую структуру высказывания «Смит виновен тогда и только тогда, когда из невиновности Джонса вытекает виновность Брауна» выражает формула…
С ≡ (¬Д ⊃ Б) (С ≡ ¬Д) ⊃ Б С  & (¬Д ≡ Б) С  ⊃ (¬Д ⊃ ¬Б) С ≡ (Б ⊃ ¬ Д) (¬Д ⊃ Б) ⊃ С

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

Закон … утверждает, что если из одного высказывания вытекает второе, а из второго – третье, то из первого вытекает третье.
Дунса Скота Де Моргана контрапозиции транзитивности экспортации импортации Пирса
Закон … утверждает, что из заведомо ложного высказывания вытекает любое высказывание.
Дунса Скота Де Моргана контрапозиции транзитивности Пирса двойного отрицания

Как будет звучать отрицание тезиса: «У меня есть коллекция марок или нет коллекции монет»? У меня нет коллекции марок или нет коллекции монет У меня нет коллекции марок или есть коллекция монет У меня нет ни коллекции марок, ни коллекции монет У меня нет коллекции марок, а коллекция монет у меня есть У меня есть и коллекция марок, и коллекция монет У меня есть коллекция марок или коллекция монет У меня есть коллекция марок и нет коллекции монет
Прокурор сказал: «Если бы он был виновен, у него бы были сообщники, то есть в преступлении были бы тогда замешаны и другие лица». Защитник ответил: «Неправда!» Что таким образом утверждал защитник (идея Р. Смаллиана)?
Если он виновен, то сообщников у него не могло быть Он виновен, но сообщников у него не было Он не виновен, а преступление совершили другие лица Если в преступлении замешан кто-то другой, то он точно невиновен Если в преступлении замешан кто-то другой, то и он замешан

Какие из нижеприведенных формул НЕ являются законами КЛВ?
¬ (p & ¬р) ¬(p & q) ≡ (¬p & ¬q) ¬ (¬p ∨ q) ⊃ (p & ¬q) (p ∨ q) ⊃ р р ⊃ (¬p ⊃ ¬ q) (p ⊃ ¬q) ⊃ (q ⊃ ¬p) ¬ (p ⊃ q) ≡ (¬p ⊃ ¬ q) ¬ (p ⊃ ¬q) ≡  (p & q)
Какие из нижеприведенных формул НЕ являются законами КЛВ?
¬ (p ⊃ q) ≡ (q ⊃ p) (p ⊃ ¬q) ≡  (¬p ∨ ¬ q) ¬ (p & ¬ q) ≡ (¬p ∨ q) ¬¬ (p ∨ ¬р) p  ⊃ (p & q) ¬ (p  ∨ q) ≡ (¬p ∨ ¬ q) (р ⊃ ¬p) ⊃  ¬p (¬p ⊃ q) ⊃ (¬q ⊃ p)
Какие из нижеприведенных формул НЕ являются законами КЛВ?
(p & q) ⊃ (р ∨ q) (p  ∨ ¬q) ⊃ (q ⊃ ¬ p) ¬ (¬p & q) ⊃ (р ∨ ¬ q) (p ⊃ q) ⊃ (¬ q ⊃ ¬ p) (p  ∨ ¬q) ⊃ (¬q & p) (¬p ⊃ q)  ⊃ (p ⊃  ¬q) (¬p ⊃ q) ≡  (p ∨ q) (¬p  ⊃ p) ⊃ р
Какие из нижеприведенных схем вывода являются схемами неправильных умозаключений КЛВ?
¬А ⊃  В, В 

¬А

А ∨ ¬ В, А

___________

В

А & В, А ⊃ С

С

¬А∨ В, ¬А 

  ¬В

А ⊃ ¬В, А

  ¬В