Контрольная Задания по логике (8 заданий)
Предмет:
Логика
Тип работы:
Контрольная
Количество страниц:17
1. Определение понятия как логическая операция. Виды определения. Правила определения. Привести примеры.
2. Логические связки. Их таблицы истинности. Построение таблицы истинности для данной формулы.
3. Даны понятия. Установить. в каких отношениях они находятся между собой. Изобразить с помощью кругов Эйлера.
Прямая линия. Кривая линия.
Истина. Заблуждение.
Мать. Дочь. Сестра.
4. Даны суждения. Найти субъект. предикат суждения. определить тип суждения. исследовать термины субъекта и предиката на распределенность. Проиллюстрировать с помощью кругов Эйлера.
23 февраля день защитника Отечества.
5. Дано сложное суждение. Представить его в явной логической форме. привести его символическую запись. Для символической записи построить таблицу истинности.
Санкции в международном праве применяются к государству. когда зафиксированы нарушения им международных обязательств или норма международного права.
6. Дан простой категорический силлогизм. Сделать полный его разбор: указать заключение. меньшую и большую посылки. меньший. средний и больший термины. Изобразить отношение между терминами с помощью кругов Эйлера. Определить фигуру силлогизма.
Заведомо незаконный арест наказывается лишением свободы. Заведомо незаконный арест – преступление против правосудия. Значит. некоторые преступления против правосудия наказываются лишением свободы.
7. Даны 2 посылки. Определить большую и меньшую. Сделать вывод. Проверить правильность вывода с помощью кругов Эйлера. Определить фигуру силлогизма. с помощью правил силлогизмов установить. следует ли вывод с необходимостью.
Супруги должны материально поддерживать друг друга. О. и С. – супруги.
8. Составить 19 правильных умозаключений. соответствующих 19 правильным модусам фигур силлогизмов.
Контрольная Задания по логике (8 заданий)
Цена:
880 руб.
Выдержка из подобной работы:
….
Краткая методичка по логике
…..я для функциональных знаков.
Обозначения для предикатных знаков. Обозначения для выражений. Обозначения для
переменных. Обозначение для соединения выражений. Терм. Правила порождения
термов. Обозначения для термов. Индуктивная последовательность термов.
Высказывание.
Синонимы для высказывания. Правила порождения высказываний. Индуктивная
последовательность высказываний. Обозначения для высказываний. Соглашения об
упразднении скобок. Константа. Квантор всеобщности. Квантор существования.
Предикат. Элементарное высказывание. Компонента высказывания. Синоним для компоненты
высказывания. Пропозициональная компонента высказывания. Интерпретация формального
языка. Универсум интерпретации. Синоним для универсума. Значение переменной. Значение
функционального знака. Значение предикатного знака. Значение терма. Значение
высказывания. Денотаты термов и высказываний. Индуктивное определение значения
терма. Индуктивное определение значения высказывания. Обобщение высказывания по
данной переменной. Синонимы для выражения обобщения. Подтверждение высказывания
по данной переменной. Синонимы для выражения подтверждения. Отрицание высказывания.
Синонимы для выражения отрицания. Конъюнкция высказываний.
Конъюнкты.
Синонимы для выражения конъюнкции. Дизъюнкция высказываний. Дизъюнкты. Синонимы
для выражения дизъюнкции. Импликация высказываний. Посылка импликации.
Заключение импликации. Синонимы для выражения импликации. Эквиваленция
высказываний. Левая и правая части эквиваленции. Синонимы для выражения эквиваленции.
Замечание
о языковой смеси. Замечание об использовании знака равенства для высказываний.
Пропозициональная логика. Синоним для пропозициональной логики. Логические
операции. Истинностная таблица высказываний. Входные и результирующие
столбцы истинностной таблицы. Тавтология и ее синоним. Тавтологическое
следствие. Теорема об отрицании отрицания. Теорема об отрицании конъюнкции.
Теорема об отрицании дизъюнкции. Теорема об исключении импликации. Теорема об исключении
эквиваленции. Теорема об устранении альтернативы. Теорема о коммутативности…
Теорема о равносильности. Теорема о тавтологическом следствии. Арифметическая
запись высказываний. 12 равенств. Правило отделения. Теорема о выводе в
пропозициональной логике. Теорема о самодостаточной выразительности
пропозициональной логики.
Кванторная
логика. Синоним для кванторной логики. Кванторные операции. Кванторологически
истинное высказывание. Кванторологическое следствие. Связанное вхождение
переменной. Свободное вхождение переменной. Результат подстановки в высказывание
терма вместо переменной и его обозначение. Допустимый заменитель. Замкнутое высказывание.
Открытое высказывание.
Теорема
о всезначности переменной. Теорема об отрицании обобщения и подтверждения.
Теорема о взаимоисключении кванторов. Теорема о перестановочности кванторов.
Типовые кванторы. Теорема о равносильной замене. Позитивное высказывание. Позитивная
форма высказывания. Теорема о позитивной форме. Теорема о выводе в логике
предикатов. Правило тавто»