Дневник практики



страница35/60
Дата11.06.2019
Размер0.96 Mb.
Название файла-
Учебное заведениеТаганрогский Институт
1   ...   31   32   33   34   35   36   37   38   ...   60
Название

Обозначение

Схема работы

Операция, выражаемая словом "НЕ", называется отрицанием и обозначается чертой над высказыванием (или знаком http://festival.1september.ru/articles/574481/img1.gif).

Высказывание http://festival.1september.ru/articles/574481/img2.gif истинно, когда A ложно, и ложно, когда A истинно.

НЕ (отрицание)



Не А - http://festival.1september.ru/articles/574481/img3.gifили http://festival.1september.ru/articles/574481/img4.gif

http://festival.1september.ru/articles/574481/img5.jpg

Операция, выражаемая связкой "и", называется конъюнкцией (лат. conjunctio — соединение) или логическим умножением и обозначается точкой " . " (может также обозначаться знакамиhttp://festival.1september.ru/articles/574481/img6.gif или &). Высказывание А. В истинно тогда и только тогда, когда оба высказывания А и В истинны.

И

конъюнкция (логическое умножение)

Точкой или знакамиhttp://festival.1september.ru/articles/574481/img6.gif&.

http://festival.1september.ru/articles/574481/img7.jpg

Операция, выражаемая связкой "или" (в неисключающем смысле этого слова), называетсядизъюнкцией (лат. disjunctio — разделение) или логическим сложением и обозначается знаком v (или плюсом). Высказывание А v В ложно тогда и только тогда, когда оба высказывания А и В ложны.

ИЛИ


дизьюнкция (логическое сложение)

Знаком v или +



http://festival.1september.ru/articles/574481/img8.jpg

Операция, выражаемая связками   "если ..., то",  "из ... следует",  "... влечет ...",  называется импликацией (лат. implico — тесно связаны) и обозначается знаком http://festival.1september.ru/articles/574481/img9.gif. Высказывание http://festival.1september.ru/articles/574481/img10.gif ложно тогда и только тогда, когда А истинно, а В ложно.

ЕСЛИ ТО


импликация

знаком http://festival.1september.ru/articles/574481/img9.gif



http://festival.1september.ru/articles/574481/img11.jpg

Операция, выражаемая связками "тогда и только тогда", "необходимо и достаточно", "... равносильно ...", называется эквиваленцией или двойной импликацией и обозначается знаком  http://festival.1september.ru/articles/574481/img12.gif или ~. Высказывание http://festival.1september.ru/articles/574481/img13.gifистинно тогда и только тогда, когда значенияА и В совпадают.

ТОГДА И ТОЛЬКО ТОГДА



эквиваленция

знаком http://festival.1september.ru/articles/574481/img12.gif или ~.



http://festival.1september.ru/articles/574481/img14.jpg

Определения в таблицу не вписываем.



  1. Закрепление

Упражнение на компьютере по определению истинности составных высказываний (программа Мир информатики 3-й год обучения).

  1. ДЗ


Поделитесь с Вашими друзьями:
1   ...   31   32   33   34   35   36   37   38   ...   60


База данных защищена авторским правом ©nashuch.ru 2019
обратиться к администрации

    Главная страница
Контрольная работа
Курсовая работа
Лабораторная работа
Пояснительная записка
Методические указания
Рабочая программа
Методические рекомендации
Теоретические основы
Практическая работа
Учебное пособие
Общая характеристика
Теоретические аспекты
Общие сведения
Физическая культура
Дипломная работа
Федеральное государственное
Самостоятельная работа
История развития
Направление подготовки
Методическое пособие
Общая часть
квалификационная работа
Технологическая карта
Выпускная квалификационная
Техническое задание
Краткая характеристика
Теоретическая часть
Общие положения
Технология производства
Методическая разработка
Исследовательская работа
прохождении производственной
государственное бюджетное
Гражданское право
Техническое обслуживание
учреждение высшего
Организация работы
Металлические конструкции
Правовое регулирование
Метрология стандартизация
Математическое моделирование
Практическое занятие
Технологическая часть
Понятие предмет
Решение задач
Описание технологического
История возникновения
Уголовное право
Основная часть
Общие требования
Сравнительная характеристика