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