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

А ⊃ ¬В, С ⊃ ¬Д, А ∨ С 

¬В &  ¬Д

Какие из нижеприведенных схем вывода являются схемами неправильных умозаключений КЛВ?
¬А ⊃  В, А 

¬В

¬А ⊃ ¬В, В

  А

А ∨  ¬В, В

___________

¬А

А∨ ¬В, ¬А

  В

(А∨ В) ⊃ С, ¬С

¬А

А ⊃ ¬В, ¬С ⊃ Д, А ∨ ¬С 

¬В ∨  Д

Какие из нижеприведенных схем вывода являются схемами неправильных умозаключений КЛВ?
¬А ⊃  ¬В, А 

В

¬А ⊃ В, ¬А

В

А ∨ ¬В, ¬В

___________

¬А

А∨ ¬В, В 

  ¬А

С ⊃ (А∨ В),  ¬А 

¬С

¬А ⊃ В, С ⊃ ¬Д,  ¬А ∨ С 

В ∨ ¬Д

Какие из нижеприведенных схем вывода являются схемами неправильных умозаключений КЛВ?

А ⊃  ¬В, ¬А 

¬В

¬А ⊃ ¬В, ¬А

¬В

¬А ∨ ¬В, ¬В

___________

А

¬А∨ В, ¬В 

  А

С ⊃ (А & В),  ¬А

¬С

¬А ⊃ В, С ⊃ ¬Д, В ∨ ¬Д 

¬А ∨ С

Какие из нижеприведенных схем вывода являются схемами неправильных умозаключений КЛВ?
¬А ⊃  ¬В, ¬В 

¬А

А ⊃ ¬В, В

  ¬А

¬А ∨  В, А

___________

¬В

¬А∨ В, ¬В

  ¬А

(А& В) ⊃ С, ¬С 

¬А

¬А ⊃ ¬В, С ⊃ Д, В ∨ ¬Д 

А∨ ¬С

В правильных умозаключениях modus … должна использоваться только строгая дизъюнкция.
ponens tollens ponendo-tollens tollendo-ponens vivendi individualis
С помощью умозаключения modus tollendo-ponens можно переходить от…
утверждения одного дизъюнкта к утверждению другого утверждения одного дизъюнкта к отрицанию другого отрицания одного дизъюнкта к утверждению другого отрицания одного дизъюнкта к отрицанию другого отрицания следствия к отрицанию основания утверждения основания к утверждению следствия
С помощью умозаключения modus ponens можно переходить от… утверждения условия к утверждению следствия         утверждения следствия к утверждению условия отрицания условия к отрицанию следствия отрицания следствия к отрицанию условия утверждения одного дизъюнкта к утверждению другого отрицания одного дизъюнкта к утверждению другого

«Если бы у него не было времени, он обязательно бы об этом сказал. Но он об этом не сказал. Значит, у него было время». Как называется такое умозаключение?
modus ponens modus tollens modus ponendo-tollens modus tollendo-ponens простая деструктивная дилемма modus tollendo-tollens

«Нам предстоит согласиться на условия кредиторов или стать банкротами. Но мы не можем допустить банкротства. Значит, мы должны согласиться на их условия». Как называется такое умозаключение?
modus ponens modus tollens modus ponendo-tollens modus tollendo-ponens простая конструктивная дилемма сложная конструктивная дилемма
Данное рассуждение (см. ниже) – это … дилемма
простая конструктивная простая деструктивная сложная конструктивная сложная деструктивная комбинированная негативная

Дилеммы:

Если он умен, то увидит свою ошибку. Если он искренен, то признается в ней. Но он или не видит своей ошибки, или не признается в ней. Следовательно, он или не умен, или не искренен.
Если преступники – душевнобольные, то их следует изолировать. Если преступники душевно здоровые, то их следует наказывать. Но они либо душевнобольные, либо нет. Следовательно, преступников следует или изолировать, или наказывать.
Если он умен, то поймет, о чем эта книга. Если у него есть чувство юмора, она не покажется ему скучной. Но либо он не понимает, о чем эта книга, либо ему от нее скучно. Значит, либо он глуп, либо у него плохо с чувством юмора.
Высказывания, совместимые по истинности и по ложности, но логически не следующие друг из друга, находятся в отношении…
контрарности субконтрарности независимости эквивалентности соподчинения контрадикторности

Функция Нико ( ↓ ) – это то же, что и…
конъюнкция строгая дизъюнкция обратная импликация антиконъюнкция антидизъюнкция антиимпликация
Какие из приведенных ниже эквивалентностей неверны? (То есть: какие формулы – не законы КЛВ?)
¬ (¬p &  q) ≡ (p ∨ ¬q) ¬ (p ⊃ ¬q) ≡ (¬p &  q) ¬ (¬p  ∨ q) ≡ (p ∨ ¬q) (¬p ⊃ q) ≡ (p ∨ q) (¬p ⊃ q) ≡ (¬q ⊃ p)
¬ (¬p &  ¬q) ≡ (p & q) ¬ (¬p ⊃ ¬q) ≡ (q &  ¬p) ¬ (¬p  ∨ q) ≡ (p & ¬q) (q ⊃ ¬p) ≡ (q ∨ р) (p ⊃ ¬q) ≡ (q ⊃ ¬p)
¬ (p &  ¬q) ≡ (¬p ∨ q) ¬ (¬p ⊃ ¬q) ≡ (p ∨ ¬q) ¬ (¬p  ∨ ¬q) ≡ (p & q) (¬q ⊃ ¬p) ≡ (q ∨ ¬р) (p ⊃ ¬q) ≡ (¬p ⊃ q)
Выберите выражения метаязыка по отношению к языку КЛВ из перечисленных ниже.
p ∨ q ╞  p & q В языке КЛВ нет таких выражений, как «p¬ q» (¬p ∨ q) ⊃ (¬ q ⊃ ¬p) ¬ q {¬, ∨, ⊃} - функционально полный набор пропозициональных связок КЛВ «р ∨  ¬p» - тождественно-истинная формула КЛВ
Выберите истинные выражения метаязыка по отношению к языку КЛВ из перечисленных ниже.
¬p ∨ ¬q ╞  p ⊃ q Примером неправильно построенной формулы языка КЛВ может служить выражение: «(p ≡ (¬ q & ¬q) p ⊃ q)» ¬  (р ⊃ ¬p) «¬ (q & ¬ р) ⊃ (p ⊃ ¬ q)» - не закон КЛВ В языке КЛВ нет таких выражений, как «(¬р & ¬р) ⊃ ¬ р» Данная конструкция является ППФ языка КЛВ: «(p ≡ ¬р) ≡  (р ≡ p)» (¬ q ∨ ¬p) ⊃ ¬ (¬ q & р) {&, ⊃, ∨} – пример функционально полного набора связок КЛВ Существуют функционально полные наборы, состоящие из одной пропозициональной связки. p ≡ ¬ q ╞  ¬ (p ∨ ¬q) «¬ (q ∨ ¬ р) ≡ ¬ (p ⊃ q) » - тождественно-истинная формула КЛВ

К главе 4.

Для всех правильных обращений атрибутивных суждений характерно, что силлогистическая константа при этом…
не меняется         заменяется на противоположную по качеству заменяется на противоположную по количеству всегда изменяется сохраняет качество сохраняет количество
При превращении атрибутивных суждений силлогистическая константа…
меняться не должна         должна быть заменена на противоположную по качеству должна быть заменена на противоположную по количеству должна быть заменена на противоположную по качеству и количеству должна быть исключена вообще
Вводить и исключать терминное отрицание позволяют правила …
Диагоналей логического квадрата Вертикалей логического квадрата Превращения Обращения Горизонталей логического квадрата
Силлогистическая константа в атрибутивном суждении меняет качество при осуществлении операций по правилу…
Диагоналей логического квадрата Вертикалей логического квадрата Превращения Обращения
Если заключение правильного силлогизма утвердительное, в нем должна(ы) быть…
хотя бы одна общая посылка две общие посылки две утвердительные посылки ровно одна общая посылка ровно одна утвердительная посылка отрицательная посылка
Если обе посылки силлогизма являются частными, его заключение…
Должно быть общим (в полученном правильном силлогизме) Должно быть частным (в полученном правильном силлогизме) Должно быть утвердительным (в полученном правильном силлогизме) Должно быть отрицательным (в полученном правильном силлогизме) Невозможно сделать правильным образом Ни один из этих ответов не является достоверным
Если в правильном силлогизме заключение общее…
Обе посылки должны быть общими Ровно одна из посылок должна быть общей Обе посылки должны быть утвердительными Ровно одна из посылок должна быть утвердительной Одна из посылок должна быть частной Ни один из этих ответов не является достоверным
Если в силлогизме обе посылки типа а, то его заключение…
должно быть типа а (в полученном правильном силлогизме) должно быть типа а или i (в полученном правильном силлогизме) должно быть типа i (в полученном правильном силлогизме) невозможно сделать правильным образом может быть любого типа (в полученном правильном силлогизме)
Если S – «добрые», а Р – «амбициозные», то какая из этих формул является логической формой высказывания, которое получается из высказывания «Неверно, что все добрые люди являются неамбициозными» путем упрощения через эквивалентные преобразования?

Р i ~S S i Р ~S i P S о P ~ S а P Р о S
В традиционной силлогистике не рассматриваются высказывания с … терминами.
пустыми простыми позитивными универсальными негативными нелогическими

К главе 5.

Экстенсионал понятия – это его…
содержание объем универсум элемент объема часть объема термин, с помощью которого оно выражено
Интенсионал понятия – это его…
содержание объем универсум элемент объема часть объема термин, с помощью которого оно выражено
Безотносительным называется понятие, в котором предмет задан…
через его собственные свойства через его отношение к другим предметам с помощью неточного признака посредством субъективного ощущения абстрактным образом строгим образом
Положительным называется понятие…
указывающее на предмет через те признаки, которые ему присущи в котором говорится о чем-то хорошем или ценном объем которого непуст которое используют все ученые имеющее содержание
Относительным называется понятие, в котором предмет задан… через его собственные свойства через его отношение к другим предметам с помощью неточного признака посредством субъективных ассоциаций абстрактным образом через всю совокупность, к которой он принадлежит
Какие из этих понятий являются собирательными?

I.