Математика описывает исследуемые процессы, используя кроме словесного языка символический. Каждое математическое предложение характеризуется содержанием и логической формой, причем они взаимосвязаны.
При записи математических предложений используются обозначения логики:
a) Þ логический вывод (дедукция), который означает: «влечет за собой».
b) Û логическая равносильность, которая означает: «эквивалентно».
a) $ квантор существования.
«$x» означает: «существует по меньшей мере один х такой, что …».
Запись: «$x:А(х)»; означает: «существует такое значение х, что А(х) – истинное высказывание».
b) "– квантор общности, который означает «любой» или «для всех».
Основным объектом математической логики является высказывание.
Определение 13: Высказыванием в математике называют предложение, относительного которого имеет смысл вопрос истинности или ложности его.
В логике считают, что из двух данных предложений можно образовать новые предложения, используя для этого слова: «и, или, если…, то», которые называют логическими связками. Предложения, образованные из других предложений с помощью логических связок, называют составными. Выделяют пять основных логических связок, которые позволяют получить новые высказывания:
1. Отрицание – это высказывание, которое получается из данного высказывания А с помощью слова «не». Отрицание обозначается`А.
2. Конъюнкция высказываний А и В – это высказывание АÙB, которое истинно, когда оба высказывания истинны, и высказывание АÙB ложно, когда хотя бы одно из этих высказываний ложно. Конъюнкция получается из двух данных высказываний А и В с помощью союза «и».
Пример 14. Пусть высказывание А: «студент сдал экзамен по истории», высказывание В: «сдал экзамен по иностранному языку».
Конъюнкция высказываний А и В (АÙB): «студент сдал экзамен по истории и сдал экзамен по иностранному языку».
3. Дизъюнкция высказываний А или В – это высказывание АÚB, которое истинно, когда истинно хотя бы одно из этих высказываний, и высказывание АÚB ложно, когда оба высказывания ложны. Дизъюнкция получается из двух данных высказываний А, В с помощью союза «или».
Пример 15. Пусть высказывание А: «студент сдаёт экзамены на хорошо», высказывание В: «сдаёт экзамены на отлично».
Дизъюнкция высказываний А или В (АÚB): «студент сдаёт экзамены на хорошо или сдаёт экзамены на отлично».
4. Импликацияобразуется из двух данных высказываний А и В с помощью слов «если…, то…».
Импликация обозначается AÞB (если А, то В).
Пример 16. Если студент сдаёт сессию без троек и двоек, то он получает стипендию. Здесь высказывания: А – «студент сдаёт сессию без троек и двоек», В – «он получает стипендию».
5. Эквиваленцияобразуется из двух данных высказываний А и В с помощью слов «тогда и только тогда, когда…».
Эквиваленция обозначается: AÛB.
Пример 17. «Студент получает стипендию тогда и только тогда, когда он сдаёт экзамены на хорошо или отлично». Здесь высказывания: А – «студент получает стипендию», В – «он сдаёт экзамены на хорошо или отлично».
Для примера рассмотрим несколько высказываний с применением кванторов.
Пример 18. Если В есть подмножество Х и элемент х принадлежит В, то это можно записать в виде: "x:xÎBÞxÎX. Эту строку можно прочитать так: для любого х, если х принадлежит подмножеству В, то это влечет за собой (следует) утверждение, что х принадлежит множеству Х.
Пример19. Запись: "a:[aÎAÇB]Û[aÎAÇaÎB] можно прочитать: для любого элемента а, если а принадлежит пересечению множеств А и В, то это равносильно, что а принадлежит множеству А и множеству В.
Пример 20. Запись: $x:xÎAÇB означает: существует по меньшей мере один х такой, что элемент x принадлежит пересечению множеств А и В.
Пример 21. Запись «"z:[zÎZ]Þ$xÎX:x=cos(z)», можно прочитать: для любого элемента z, если z принадлежит множеству Z, то из этого следует, что существует по меньшей мере один х, принадлежащий множеству Х такой, что элемент x равен cos(z).