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



страница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
обратиться к администрации

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