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

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

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

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

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

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

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

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

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

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