|
Математическая логика – разновидность формаьной логики, т.е. науки, которая изучает умозаключения с точки зрения их формального строения.
Определение. Высказыванием называется предложение, к которому возможно применить понятия истинно или ложно.
В математической логике не рассматривается сам смысл высказываний, определяется только его истинность или ложность, что принято обозначать соответственно И или Л.
Понятно, что истинные и ложные высказывания образуют соответствующие множества. С помощью простых высказываний можно составлять более сложные, соединяя простые высказывания союзами “и”, “или”.
Таким образом, операции с высказываниями можно описывать с помощью некоторого математического аппарата.
Вводятся следующие логические операции (связки) над высказываниями
Свойства градиента и производной по направлению Криволинейный интеграл Первоначально функции управления системой коммутации возлагались на операторов.
1) Отрицание. Отрицанием высказывания Р называется высказывание, которое истинно только тогда, когда высказывание Р ложно.
Обозначается
Р или
.
Соответствие между высказываниями определяется таблицами истинности. В нашем случае эта таблица имеет вид:
| P |
|
| И | Л |
| Л | И |
Пример. Найти матрицу линейного преобразования, заданного в виде: x¢ = x + y Неопределенный
интеграл Математика Примеры решения задач y¢ =
y + z z¢ =
z + x Односторонние
производные функции в точке Правой (левой) производной функции f(x)
в точке х = х0 называется правое (левое) значение предела отношения
при условии, что это отношение существует. x¢ =
1×x + 1×y + 0×z y¢ = 0×x +
1×y +
1×z z¢ = 1×x +
0×y +
1×z A = Аналитическая геометрия Матрицы линейных
преобразований
Неопределенный интегралВекторное
произведение векторов
Трассировка
пиксельных изображений Adobe Illustrator
Линейные блоковые коды