Читайте также:
|
|
| |||
![]() | |||
Отображение множеств. Взаимно-однозначное соответствие
между множествами. Понятие числовой функции
Отображение множества А в множество В
|
Взаимно-однозначное соответствие
![]() |
|
Область определения
Аргумент
Область значений
функция
Эквивалентные множества. Счетные и несчетные множества.
|
Эквивалентные множества
Счетные и несчетные множества
Элементы математической логики
Вместо предисловия
История первая
История вторая
Классическая логика
Математическая логика. Высказывание. Простые и сложные
высказывания. Отрицание высказывания
|
![]() |
Простое
![]() |
Сложное
![]() |
Отрицание высказывания а
Значения истинности
Таблица истинности
Конъюнкция и дизъюнкция высказываний
Коньюнкция
![]() |
а | b | аÙb |
и | и | и |
и | л | л |
л | и | л |
л | л | л |
Таблица истинности
![]() |
Дизъюнкция
а | b | аÚb |
и | и | и |
и | л | и |
л | и | и |
л | л | л |
Таблица истинности
![]() | |||
![]() |
Импликация. Эквивалентность высказываний
|
![]() |
Условие
Заключение
Эквивалентность
Алгебра логики (законы логики)
Равносильные логические выражения
Неопределенные высказывания. Кванторы.
Дата добавления: 2015-01-12; просмотров: 108 | Поможем написать вашу работу | Нарушение авторских прав |