<Математику уже затем учить надо, что она ум в порядок приводит>.

М.В. Ломоносов

Логика (от древнегреческого logos - слово, выражающее мысль) является началом любой научной теории. Логика как наука о способах мышления, приводящих к истине, возникла в глубокой древности

Экзаменационные вопросы по курсу математической логики

1) Высказывание и высказывательные формы. Элементарные и составные предложения. Конъюнкция и дизъюнкция. Отрицание. Импликация и эквиваленция

Высказывание - повествовательное предложение, которое либо истинно, либо ложно. Пример: Ленинград расположен на Неве.

Высказывательная форма - предложение, которое содержит переменные (одну или несколько), при подстановке конкретных значений вместо которых становится высказыванием.

Пример: Функция F - периодична.

Логика высказывания решает вопрос об истинности высказывания.

Составное предложение отличается от простого тем, что в нем представлено несколько высказываний.

Пример: произведение двух чисел равно нулю тогда и только тогда, когда хотя бы одно из них равно нулю.

Логические операции