Благодарю за контрольную по логике)
Информация о работе
Подробнее о работе
Общие принципы построения истинностных таблиц Контрольная работа по предмету «Логика» Тема 7
- 13 страниц
- 2014 год
- 293 просмотра
- 0 покупок
Гарантия сервиса Автор24
Уникальность не ниже 50%
Фрагменты работ
Логика (др.-греч. λογική – «наука о правильном мышлении», «искусство рассуждения» от λόγος – «речь», «рассуждение», «мысль») – раздел философии, нормативная [1] наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления. Поскольку мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.
Содержание
Введение 3
1. Теоретическое задание 4
1.1 Интерпретация пропозициональных переменных 4
1.2 Табличные определения пропозициональных связок 4
1.3 Логические отношения (по истинности и ложности) между формулами 6
2. Практическое задание 10
2.1 Первое практическое задание 10
2.2. Второе практическое задание 11
Заключение 12
Список использованных источников 13
Контрольная работа
по предмету
«Логика»
Тема 7
1. Теоретическое задание
1.1 Интерпретация пропозициональных переменных
Интерпретация пропозициональных переменных – процедура, состоящая в приписывании ...
1.2 Табличные определения пропозициональных связок
Логика высказываний может строиться табличным методом или как исчисление, т. е. как система, позволяющая получать из одних формул другие.
Табличное построение предполагает семантические определения пропозициональных ...
1.3 Логические отношения (по истинности и ложности) между формулами
Правила опускания скобок аналогичны соответствующим правилам опускания скобок в арифметике, нужно лишь учитывать приоритет выполнения логических операций.
• Пример 1. Опустите лишние скобки
((А+(ВС))(( )+С))=((А+ВС)( +C))=A+BC +C
...
2. Практическое задание
2.1 Первое практическое задание
Составить истинностную таблицу для следующего высказывания:
(P Λ ~Q) V R → (S Λ ~S).
Решение
2.2. Второе практическое задание
Пусть значение высказывания P ≡ Q есть истина; что можно сказать о значениях высказываний
P ≡ ~Q и ~P ≡ Q?
Решение
Заключение
Логика высказываний, или пропозициональная ...
1. Бочаров В.А., Маркин В.И. «Основы логики: Учебник для вузов». – М.: Инфра-М, 2002.
2. Войшвенко Е.К., Дегтярев М.Г. «Логика: Учебник для вузов». – М.: Владос-пресс, 2001.
3. Германова А.Д. «Логика: Словарь и задачник: Учебное пособие для студентов вузов». – М.: Владос-пресс, 1998.
4. Иванов Е.А. «Логика: Учебник для юридических вузов». – М.: Бек, 1996.
5. Ивин А.А. «Логика. Учебник для гуманитарных факультетов». – М.: Фаир-пресс, 1999.
6. Ивлев Ю.В. «Логика», Москва, 1998.
7. Логика. Учебное пособие для студентов вузов. Ростов-на-Дону. Изд. «Феникс», 1996.
8. Свободная онлайн-энциклопедия Википедия [Электронный ресурс]. – Режим доступа: http://ru.wikipedia.org/
Форма заказа новой работы
Не подошла эта работа?
Закажи новую работу, сделанную по твоим требованиям
