Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Математическая логика – разновидность формальной логики, т.е. науки, которая изучает умозаключения с точки зрения их формального строения.
Определение. Высказыванием называется предложение, к которому возможно применить понятия истинно или ложно.
В математической логике не рассматривается сам смысл высказываний, определяется только его истинность или ложность, что принято обозначать соответственно И или Л.
Понятно, что истинные и ложные высказывания образуют соответствующие множества. С помощью простых высказываний можно составлять более сложные, соединяя простые высказывания союзами “и”, “или”.
Таким образом, операции с высказываниями можно описывать с помощью некоторого математического аппарата.
Вводятся следующие логические операции (связки) над высказываниями
1) Отрицание. Отрицанием (логическим “ не ”) высказывания Р называется высказывание, которое истинно только тогда, когда высказывание Р ложно.
Обозначается Р или .
Соответствие между высказываниями определяется таблицами истинности. В нашем случае эта таблица имеет вид:
P | Р |
И | Л |
Л | И |
2) Конъюнкция. Конъюнкцией (логическим “ и ”) двух высказываний P и Q называется высказывание, истинное тогда и только тогда, когда истинны оба высказывания.
Обозначается P&Q или РÙQ.
P | Q | P&Q |
И | И | И |
И | Л | Л |
Л | И | Л |
Л | Л | Л |
3) Дизъюнкция. Дизъюнкцией (логическим “ или ”) двух высказываний P и Q называется высказывание, ложное тогда и только тогда, когда оба высказывания ложны.
Обозначается PÚQ.
P | Q | PÚQ |
И | И | И |
И | Л | И |
Л | И | И |
Л | Л | Л |
4) Импликация. Импликацией (логическим следованием) двух высказываний P и Q называется высказывание, истинное тогда и только тогда, когда высказывание Р истинно, а Q – ложно.
Обозначается PÉQ (или РÞQ). Высказывание Р называется посылкой импликации, а высказывание Q – следствием.
P | Q | PÞQ |
И | И | И |
И | Л | Л |
Л | И | И |
Л | Л | И |
5) Эквиваленция. Эквиваленцией (логической равносильностью) двух высказываний P и Q называется высказывание, истинное тогда и только тогда, когда истинности высказываний совпадают.
Обозначается Р~Q или РÛQ.
P | Q | P~Q |
И | И | И |
И | Л | Л |
Л | И | Л |
Л | Л | И |
С помощью этих основных таблиц истинности можно составлять таблицы истинности сложных формул.
Дата публикования: 2015-02-03; Прочитано: 542 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!