bsuir.info
БГУИР: Дистанционное и заочное обучение
(файловый архив)
Вход (быстрый)
Регистрация
Категории каталога
Другое [37]
Белорусский язык [248]
ВОВ [92]
Высшая математика [468]
Идеология [114]
Иностранный язык [633]
История Беларуси [248]
Культурология [42]
Логика [259]
НГиИГ [120]
Основы права [8]
Основы психологии и педагогики [7]
Охрана труда [7]
Политология [179]
Социология [120]
Статистика [31]
ТВиМС [83]
Техническая механика [43]
ТЭЦ [85]
Физика [146]
Философия [169]
Химия [76]
Экология [35]
Экономика предприятия [35]
Экономическая теория [170]
Электротехника [35]
ЭПиУ [44]
Этика [5]
Форма входа
Поиск
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Файловый архив
Файлы » Общевузовские предметы » Логика

Контрольная работа по логике, вариант №12, 2012 г.
Подробности о скачивании 01.05.2013, 20:51
План
1. Образование сложных суждений.
2. Установление логического значения сложных суждений при помощи таблиц истинности.

Сложные суждения – суждения, состоящие из нескольких простых суждений, связанных между собой логическими союзами. Именно по ним определяют вид и логические характеристики, условия истинности сложного суждения.
Построение таблиц истинности проходит через построение логических функций и имеет параллели с математическими функциями. То есть простому суждению присваивается переменная, которая может принимать только два значения: логическая единица (1 – истина) или логический нуль (0 – ложь).
Всего существует пять логических союзов: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность.
Из перечисленных союзов унарным является отрицание
"не", "неверно, что".
Оно символически изображается знаком "" и имеет таблицу истинности:
p  p Ложно, если исходное отрицание истинно.
Истинно, если исходное отрицание ложно.

и л
л и

При составлении через логическую функцию таблица истинности для инверсии будет иметь вид:
А не А Функция вычитания: F=|А – 1| (по модулю)
1 0
0 1
Категория: Логика | Добавил: Ormani
Просмотров: 1178 | Загрузок: 14
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]