Помощь студентам, абитуриентам и школьникам

Вы можете заказать диссертацию, дипломную работу ,курсовую работу, контрольную работу, реферат, отчет по практике, чертёж, эссе и любые другие виды студенческих работ. А также у нас есть десятки тысяч готовых работ, которые можно подобрать через каталог и купить нужную именно Вам.

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

Рекомендуем посмотреть похожие работы:

  1. 3 задания по логике, вариант 42. Установите вид отношения между следующими совместимыми понятиями (Контрольная работа, 2011)

    ... логической формы; она связана, ко-нечно, и с её предметным содержанием).В этом законе также впервые ... нет никаких причин изменить эту оценку, то эта мысль останется истин-ной до конца, в ...

  2. 10 заданий по логике, вариант 14, Академия ФСБ (Контрольная работа, 2011)

    ... , некоторые студенты (S -) – не спортсмены ( Р).Правила посылок: - из двух отрицательных посылок ( ... посылок — суждение частное, то и вывод будет необходимо частным. Правила терминов: в простом категорическом силлогизме ...

  3. 9 заданий по логике, вариант 5. Дайте полную логическую характеристику понятий злонамеренность, криминальная среда (Контрольная работа, 2011)

    ... 7. Установите вид сложного суждения, составьте его ... предоставлен7.4 Если лица умышленно уничтожают, ... Р. является обвинительным. Следовательно…8.8 Если преступление совершил ... к предмету прикладываются, то этот предмет – прилагательное. Если предмет ...

  4. 10 заданий по логике, вариант 25, Академия ФСБ (Контрольная работа, 2011)

    ... первого разаУстановим качество суждения, количество для каждого субъекта и запишем логическую форму суждения ... в полученную логическую форму термины исходного суждения, получим суждение, противоречащее исходному:Все преподаватели логики с первого раза ...

  5. 10 заданий по логике, вариант 13, Академия ФСБ (Контрольная работа, 2011)

    ... данным термином, и объемом понятия, содержанием которого является определяющая (правая) часть данного определения Террорист - лицо, участвующее в осуществлении террористической ...

  6. 10 заданий по логике, вариант 3, МГУ. Обобщите и ограничьте следующие понятия: Красная площадь, сочувствие; Аристотель (Контрольная работа, 2011)

    ... – утвердительным.Модус IОО: большая посылка – частноутвердительное суждение – правило первой фигуры нарушено.Меньшая посылка – частноотрицательное суждение – правило первой фигуры нарушено.Так как правил первой фигуры нарушено, то вывод нельзя ...

  7. 6 заданий по логике, вариант 1, РГСУ (Контрольная работа, 2011)

    ... логические отношения между понятиями:1) Закон. Свод законов. Уголовный кодекс. Конституция РФ.2) Следователь. Прокурор. Юрист.3. Проверить правильность следующих ...


ВУЗ, город:

МЭСИ

Предмет: Логика

Контрольная работа по теме:

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

Страниц: 8

Автор: Вероника

2011 год

3 60
RUR 2000

Промокод на получение скидки 10%,

укажите при заказе уникальной работы

* Акция действует до 28 апреля 2017

6810-rob88

Содержание

1.Виды понятий. По объему, по содержанию, по характеру универсума 3

2. Исчисление высказываний. Правила вывода 5

Практическое задание 7

Список литературы 8

Выдержка

2. Исчисление высказываний. Правила вывода

Исчисление высказываний — это аксиоматическая логическая система, интерпретацией которой является алгебра высказываний. 

Описание всякого исчисления включает в себя описание символов этого исчисления (алфавита), формул, являющихся конечными конфигурациями символов, и определение выводимых формул.

Алфавит исчисления высказываний состоит из символов трех категорий:

1. Символы первой категории: Эти символы будем называть переменными высказываниями.

2. Символы второй категории: они носят общее название логических связок. Первый из них — знак дизъюнкции или логического сложения, второй — знак конъюнкции или логического умножения, третий — знак импликации или логического следования и четвертый — знак отрицания.

3. Третью категорию составляет пара символов (), называемая скобками.

Других символов исчисление высказываний не имеет.

Формулы исчисления высказываний представляют собой последовательности символов алфавита исчисления высказываний. Для обозначения формул будем пользоваться большими буквами латинского алфавита. Эти буквы не являются символами исчисления. Они представляют собой только условные обозначения формул.

Определение формулы исчисления высказываний.

1. Всякая переменная является формулой.

2. Если А и В- формулы, то слова — тоже формулы.

3. Никакая другая строчка символов не является формулой.

Переменные высказывания будем называть элементарными формулами.

Приведем примеры формул исчисления высказываний.

Переменные высказывания являются формулами согласно п.1 определения формулы. Но тогда слова являются формулами согласно п.2 определения. По этой же причине будут формулами слова: 

Правила вывода

1 Правило подстановки(ПП).

Если формула А выводима (доказуема) в исчислении высказываний, х- переменная, В- произвольная формула исчисления высказываний, то формула, полученная в результате замены в формуле А переменной х всюду, где она входит, формулой В, является также выводимой(доказуемой) формулой (ситуация та же, что имела место в алгебре логики, которая является интерпретацией исчисления высказываний).

2 Правило заключения (ПЗ).

Если формулы А и А→В выводимы (доказуемы) в исчислении высказываний, то формула В также выводима (доказуема). 

Правомерность этого правила очевидна: если импликация и посылка истинны, то заключение в импликации может быть только истинным(см. таблицу истинности операции «импликация»).

Список использованной литературы

1. Гетманова А.Д. Логика. Учебник для вузов. — М., Высшая школа : Омега-Л, 2002.

2. Дегтярев М.Г., Хмелевская С.А. Логика: Учебное пособие для студентов вузов. — М., 2003.

3. Кутасов А. Д. Элементы математической логики. М.:Просвещение, 1977.

4. Чернышов Д.Б. Элементы логики: Учебное пособие. — Тюмень: ТюмГНГУ, 2006

3 52
RUR 2000

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

Философия права
Философия права
2013

ISBN 5699087052,9785699087051

Руководство к решению задач по теории вероятностей и математической статистике
Руководство к решению задач по теории вероятностей и математической статистике
2013

ISBN 5969200328,9785969200326

Микроэкономика
Микроэкономика
1998

ISBN 5731008930,9785731008938

Системы баз данных
Системы баз данных
2013

ISBN 584590384X,9785845903846

Информатика
Информатика
2013

ISBN 5160025847,9785160025841

Стоимость компаний
Стоимость компаний
2013

ISBN 5969301191,9785969301191







Карта : А Б В Г Д Е Ё Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Наверх