Моделирование и формализация. Объект, модель, система. Этапы моделирования.

Логика. Логические операции (инверсия, конъюнкция, дизъюнкция, импликация, эквивалентность). Таблицы истинности логических операций.

Логика- наука о законах и формах рационального мышления.

Логическая операция-способ построения сложного высказывания, при котором значение истинности сложного высказывания полностью определяет значение истинности исходного высказывания.

Инверсия-это логическая операция, которая каждому донному высказыванию ставит в соответствии новое высказывание которое истинно, если данное высказывание ложно, и ложно, если данное высказывание истинно. Обозначение: Не А; А; А; NOT A

Инверсия образовывается с помощью добавления частицы «НЕ» или оборота «НЕВЕРНО ЧТО»

Табл. Истинности:

Конъюнкция – это логическая операция, ставящая в соответствии каждым 2 элементам выказываниям новое высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истины. Обозначение: А и В, А В, A & B, A and B, A*B

Таблица Истинности:

Дизъюнкция – образует соединения 2 высказываний в одно с помощью союза «ИЛИ». Обозначение: А или В, A or B, A B

Табл. Истинности:

Строгая Дизъюнкция (исключая или)

Результатом этой операции является истина тогда и только тогда, когда операции не равны друг другу.

Обозначение: A XOR B

Табл. Истинности:

Логическое следование – образуется соединением 2х высказываний в одно с помощью оборотов речи «ЕСЛИ…, ТО…». Импликация-это логический оператор, ставящий в соответствии каждым 2 элементам высказывания новые высказывания, являющиеся ложными в том случае, если условие истинно, а следствие ложно. Эквиваленция – это логическая операция, ставящая в соответствии каждым 2 элементам высказывания новые высказывания, являющиеся истинными когда оба высказывания одновременно истины или ложны.