Дипломная работа

от 20 дней
от 9999 рублей

Заказать

Курсовая работа

от 10 дней
от 1999 рублей

Заказать

Реферат

от 3 дней
от 699 рублей

Заказать

Контрольная работа

от 3 дней
от 99 рублей
за задачу

Заказать

Диссертация

Сроки и стоимость индивидуальные

Заказать

Главная - Логика - 3 задания по логике, вариант 1, МЭСИ. Виды понятий. По объему, по содержанию, по характеру универсума. Исчисление высказываний. Правила вывода

3 задания по логике, вариант 1, МЭСИ. Виды понятий. По объему, по содержанию, по характеру универсума. Исчисление высказываний. Правила вывода Логика. Контрольная

  • Тема: 3 задания по логике, вариант 1, МЭСИ. Виды понятий. По объему, по содержанию, по характеру универсума. Исчисление высказываний. Правила вывода
  • Автор: Вероника
  • Тип работы: Контрольная
  • Предмет: Логика
  • Страниц: 8
  • Год сдачи: 2011
  • ВУЗ, город: МЭСИ
  • Цена(руб.): 500 рублей

Заказать персональную работу

Выдержка

2. Исчисление высказываний. Правила вывода Исчисление высказываний – это аксиоматическая логическая система, интерпретацией которой является алгебра высказываний. Описание всякого исчисления включает в себя описание символов этого исчисления (алфавита), формул, являющихся конечными конфигурациями символов, и определение выводимых формул. Алфавит исчисления высказываний состоит из символов трех категорий: 1. Символы первой категории: Эти символы будем называть переменными высказываниями. 2. Символы второй категории: они носят общее название логических связок. Первый из них – знак дизъюнкции или логического сложения, второй – знак конъюнкции или логического умножения, третий – знак импликации или логического следования и четвертый – знак отрицания. 3. Третью категорию составляет пара символов ( ), называемая скобками. Других символов исчисление высказываний не имеет. Формулы исчисления высказываний представляют собой последовательности символов алфавита исчисления высказываний. Для обозначения формул будем пользоваться большими буквами латинского алфавита. Эти буквы не являются символами исчисления. Они представляют собой только условные обозначения формул. Определение формулы исчисления высказываний. 1. Всякая переменная является формулой. 2. Если А и В- формулы , то слова - тоже формулы. 3. Никакая другая строчка символов не является формулой. Переменные высказывания будем называть элементарными формулами. Приведем примеры формул исчисления высказываний. Переменные высказывания являются формулами согласно п.1 определения формулы. Но тогда слова являются формулами согласно п.2 определения. По этой же причине будут формулами слова: Правила вывода 1 Правило подстановки(ПП). Если формула А выводима (доказуема) в исчислении высказываний, х- переменная, В- произвольная формула исчисления высказываний, то формула , полученная в результате замены в формуле А переменной х всюду, где она входит, формулой В, является также выводимой(доказуемой) формулой (ситуация та же, что имела место в алгебре логики, которая является интерпретацией исчисления высказываний). 2 Правило заключения (ПЗ). Если формулы А и А→В выводимы (доказуемы) в исчислении высказываний, то формула В также выводима (доказуема). Правомерность этого правила очевидна: если импликация и посылка истинны, то заключение в импликации может быть только истинным(см. таблицу истинности операции “импликация”).

Содержание

1.Виды понятий. По объему, по содержанию, по характеру универсума 3 2. Исчисление высказываний. Правила вывода 5 Практическое задание 7 Список литературы 8

Литература


1. Гетманова А.Д. Логика. Учебник для вузов. – М., Высшая школа : Омега-Л, 2002.
2. Дегтярев М.Г., Хмелевская С.А. Логика: Учебное пособие для студентов вузов. – М., 2003.
3. Кутасов А. Д. Элементы математической логики. М.:Просвещение, 1977.
4. Чернышов Д.Б. Элементы логики: Учебное пособие. – Тюмень: ТюмГНГУ, 2006

Форма заказа

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

Тип работы *
Предмет *
Название *
Дата Сдачи *
Количество Листов*
уточните задание
Ваши Пожелания
Загрузить Файлы

загрузить еще одно дополнение
Страна
Город
Ваше имя *
Эл. Почта *
Телефон *
  

Название Тип Год сдачи Страниц Цена
Контрольная по логике (Установите, какой из основных законов логики — тождества, противоречия, исключенного третьего, достаточного основания, — нарушен в с Контрольная 2011 12 1100
Логические формы мысли. Основные формы абстрактного мышления. Определите, какие формы мысли представлены в следующих языковых выражениях: Приведите собст Контрольная 2011 6 500
Контрольная по логике, вариант 1, РАП. Какой является формула ((p Ù q) É Ø((p ≠ Øq) Ú (q Ù Ør))) º (q É r)? Тождественно-истинной, тождественно-ложной или Контрольная 2011 11 940
10 заданий по логике, вариант 6, Академия ФСБ. Сопоставьте каждому из перечисленных терминов некоторое понятие путем указания на признаки, образующие содер Контрольная 2011 24 1000
10 заданий по логике, вариант 12. Изобразите соотношение между именами схематически при помощи кругов Эйлера:преступление, кража, кража со взломом, хищен Контрольная 2011 6 600
Высказывание как форма мышления. Простые высказывания и их виды. Выразить в символической форме сложное высказывание: «видеть несправедливость и молчать, э Контрольная 2011 10 500
Контрольная по логике, МГЮА. Определите вид отношений между понятиями, изобразите их на круговых схемах.Государство (А). Унитарное государство (Б). Росси Контрольная 2011 15 950
16 заданий по логике. Дайте полную логическую характеристику избранным трём понятиям: злонамеренность,вещественное доказательство,безнаказанность Контрольная 2011 21 1200
Понятие как основная форма мышления. Виды понятий. Закон исключённого третьего. Приведите пример разделительно-категорического умозаключения Контрольная 2011 14 500
2 задания по логике. Установите правильность определений, в неправильных определенияхукажите, какие правила нарушены. Захват заложника - преступление Контрольная 2011 4 430
курсовые, дипломные, контрольные на заказ скидки на курсовые, дипломные, контрольные на заказ

© 2010-2016, Все права защищены. Принимаем заказы по всей России.