"Функция f(x) является дифференцируемой" - пример простого высказывания:
В математической логике связки имеют однозначную интерпретацию:
Всякое предложение является высказыванием:
Высказывание дизъюнкции истинно тогда и только тогда, когда истинно хотя бы одно из высказываний:
Высказыванием можно считать любое повествовательное предложение, относительно которого известно, что оно либо истинно, либо ложно:
Для высказывания "а" его отрицание записывается "не а":
Для дизъюнкции а v в значок "v" обозначает разделительное "или":
Для проверки правильности силлогизмов применяется метод, основанный на теории множеств:
Если "а" - ложно, то "не а" - истинно:
Если высказывание нельзя разделить на части, то оно является:
Запись а v в означает:
Импликация - логическая операция над высказываниями:
Импликация а -> в истинна тогда и только тогда, когда а - истинно, в - ложно:
Конъюнкцией называется такое высказывание, которое истинно только тогда, когда истинны оба его составляющие высказывания:
Логика допускает только такие формы рассуждений, которые гарантируют истинные результаты во всех случаях истинных исходных данных:
Логические связки используются в сложных высказываниях:
Логические связки называются также сентенциональными:
Математическая логика называется также символической:
Нелогично построенные рассуждения обязательно приводят к ложному выводу:
Отрицание не является логической операцией над высказыванием:
Понятие силлогизма было введено:
Предложение 2 + 6 > 0 является истинным высказыванием:
Предложение 2 + 6 < 0 не является высказыванием:
Предложение, соединенное неразделительной связкой "или", является дизъюнкцией:
Предложение, соединенное связкой "и", является конъюнкцией:
Разработка теории множеств как самостоятельной дисциплины принадлежит Г. Кантору:
Силлогизм - суждение, в котором из двух высказываний выводится третье:
Силлогизм можно изобразить диаграммой Венна:
Силлогизмы, приводящие к неверным заключениям - силлогизмы неправильной формы:
Что не является способом представления высказывания:
Эквивалентность а <- > в является также двойной импликацией:
Эквивалентностью называется такое высказывание а < - > в, которое истинно тогда и только тогда, когда оба а и в либо истинны, либо ложны: