В символической логике принято обозначать истинное выражение

В символической логике принято обозначать ложное выражение

63)Вставьте слово:

Логический союз отрицания выражается в естественном языке словом

Неверно

64)Вставьте слово:

Конъюнкция передается в обычном языке союзом

и

Соединительная дизъюнкция передается в обычном языке союзом

Или

Разделительная дизъюнкция передается в обычном языке союзом

Либо

67)Вставьте слово:

Союзу "если…, то…" соответствует в логике высказываний

Импликация

68)Вставьте слово:

Союзу "…тогда и только тогда, когда…" соответствует в логике высказываний

Эквиваленция

Конъюнкция является истинной только тогда

Когда оба составляющих ее простых высказывания истинны

 

Соединительная дизъюнкция ложна только в случае

Ложности обоих её членов

 

Разделительная дизъюнкция истинна

Когда её члены принимают различные значения истинности

Импликация ложна в случае, когда

Первый член истинен, а второй ложен

 

Эквиваленция истинна в случае, когда

Оба её члена принимают одинаковые значения истинности

 

Укажите правильное обозначение символической записи дизъюнкции

p \/ q

 

Укажите правильное обозначение символической записи конъюнкции

p /\ q

 

 

Укажите правильное обозначение символической записи импликации

p É q

 

Укажите правильное обозначение символической записи эквиваленции

p ~ q

p \/ q

p /\ q

p É q

 

 

Алетическая модальность - это модальность

Обязательности связи между субъектом и предикатом

 

 

Аксиологическая модальность - это модальность

Ценностная

 

Деонтическая модальность - это модальность

Долженствования

Раздел модальной логики, исследующей понятия «полагает», «сомневается», получил название логики

Эпистемической

 

Тема Умозаключение

82)Умозаключение состоит из

Посылок

Переход от посылок к заключению называется

Выводом

Посылка - это

Суждение

84)Указать соответствия:

Дедуктивное умозаключение - это рассуждение от общего к частному

Индуктивное умозаключение – это рассуждение от частного к общему

Аналогия - это рассуждение от частного к частному

Непосредственные умозаключения - это умозаключения

Дедуктивное

Логическая операция превращения изменяет

Качество суждения без изменения его количества

 

Операция перестановки субъекта суждения и предиката местами без изменения качества суждения есть

Обращение

88)Укажите соответствия:

В результате превращения мы получаем

Все S есть P – Ни один S не есть не P

Ни один S не есть P - Все S есть не P

Некоторые S есть P – Некоторые S не есть не P

Некоторые S не есть P - Некоторые S есть не P

89)Укажите соответствия:

В результате обращения мы получаем

Все S есть P – Некоторые P есть S

Ни один S не есть P - Ни один P не есть S

Некоторые S и только S есть P – Все P есть S

Частноотрицательные суждения

Не обращаются

 

Какое из суждений обращается с ограничением

Все S есть P

В логическом квадрате отношению контрарности соответствует линия

AE

В логическом квадрате отношению контрадикторности соответствуют линии

AO

EI

В логическом квадрате отношению подчинения соответствуют линии

AI

EO

 

В логическом квадрате отношению субконтрарности соответствует линия

IO

96)Сколько в категорическом силлогизме должно быть терминов:

Сколько в категорическом силлогизме должно быть посылок

Сколько суждений входит в простой категорический силлогизм

Средний термин силлогизма находится

В обеих посылках

 

Меньшим называется термин простого категорического силлогизма, который

Является субъектом заключения

Большим называется термин простого категорического силлогизма, который

Является предикатом заключения

 

Меньшей называется посылка, содержащая

Субъект заключения

Большей называется посылка, содержащая

Предикат заключения

 

104)Нельзя с необходимостью вывести заключение из двух

Отрицательных посылок

Частных посылок

Укажите соответствие

Сокращённый силлогизм - энтимема

Сложный силлогизм - полисиллогизм

Сложносокращённый силлогизм – сорит, эпихейрема

Эпихейрема составляется из

Двух энтимем

Сколько модусов условно-категорического умозаключения являются достоверными

Сколько вообще насчитывается модусов условно-категорического умозаключения

 

Modus ponens - это модус

Утверждающий

 

Modus tollens - это модус

Отрицающий