Институт Международных связей Темы, которые я могу взять отмечены красным в методичке. Хотелось бы узнать стоимость написания такой работы.

Краткая методичка по логике

постраничный перечень понятий и теорем.

Логика. Язык. Утверждение. Правда. Ложное утверждение. Правда. Ложь. Название, правда. Название для лжи. Истинностное значение этого выражения. Равносильные выражения. Синонимы для истинных утверждений. Доказательство. Правило вывода. Название для конструктивной правил. Компоненты конструктивные правила. Выполнение конструктивного правил. Вывод конструктивно правил. Индуктивная последовательность объектов. Правила курицу индуктивной последовательности. Формальный язык. Логические знаки. Вспомогательные знаки. n-местные функциональные признаки. n-местные предикатные знаки. Переменных. Алфавитный порядок знаков. Выражение. Синонимы для выражения своего мнения. Символы для нульместных функциональных знаков. Символами знаков функциональной. Символы для предикатных символов. Символы для выражения. Символы для переменных. Название для подключение выражений. Горы. Правила курицу термов. Символы термов. Индуктивная последовательность термов.

Заявление. Синонимы для заявления. Правила порождения высказываний. Индуктивная последовательность выражения. Символы для самовыражения. Соглашение об отмене скобках. Постоянная. Квантор всеобщности. Квантор существования. Предикат. Простое утверждение. Компонент выражения. Синоним компонентов выражения. Пропозициональная составляющая выражения. Интерпретация формального языка. Вселенная интерпретации. Синоним универсума. Значение переменной. Функциональное значение знака. Значение предикатного знака. Значение терма. Значение этого выражения. Денотаты термов и высказываний. Индуктивное определение значения терма. Индуктивное определение значения выражения. Обобщение заявлений на эту переменную. Синонимы для выражения обобщения. Подтверждения заявления на эту переменную. Синонимы для выражения подтверждения. Отказ от выражения мнения. Синонимы для выражения отрицания. Конъюнкция высказываний.

Конъюнкты. Синонимы для выражения конъюнкции. Дизъюнкция высказываний. Дизъюнкты. Синонимы для выражения дизъюнкции. Импликация высказываний. Посылка импликации. Заключение импликации. Синонимы для выражения импликации. Эквиваленция высказываний. Левой и правой части эквиваленции. Синонимы для выражения эквиваленции.

Примечание о языке смеси. Примечание с использованием знака равенства выражения. Пропозициональная логика. Синоним для пропозициональной логики. Логические (пропозициональные) операции. Истинностная таблица выражения. Вход и результат столбцы истинностной таблицы. Тавтология и ее синоним. Тавтологическое следствие. Теорема об отрицании отрицания. Теорема об отрицании конъюнкции. Теорема об отрицании дизъюнкции. Теорема об исключении импликации. Теорема об исключении эквиваленции. Теорема об устранении альтернативы. Теорема о коммутативности... Теоремы о равносильности. Теорема о тавтологическом следствии. Арифметические записи выражения. 12 равенств. Правило отделения. Теорема о выводе в пропозициональной логике. Теорема о самодостаточной выразительности пропозициональной логики.