В исчислении высказываний общезначимая формула и тавтология - разные понятия:
В исчислении высказываний существует четыре вида сентенциональных связок:
В классическом исчислении высказываний принимается, что каждый простой формуле сопоставляется один элемент из {T, F}:
В математической логике высказывание - любое повествовательное предложение:
В сложных формулах без скобок конъюкция выполняется раньше импликации:
Высказывание - повествовательное предложение, которое является истинным:
Дизъюнкция двух высказываний истинна тогда и только тогда, когда оба составляющих высказывания истинны:
Импликация - сложное предложение, составленное из двух простых, соединенных связкой "тогда и только тогда":
Импликация двух простых высказываний ложна тогда и только тогда, когда первое высказывание истинно, а второе ложно:
Истинностная таблица для сложного высказывания, составленного из N простых содержит N в квадрате строк:
Истинностная функция - функция от n-аргументов, причем каждый аргумент может принимать значение Т или F и сама функция должна быть больше нуля:
Любая логическая функция может принимать только два значения:
Предложение, видоизмененное словом "не", называется отрицанием первоначального предложения:
Предложение, образованное соединением двух предложений словом "и", называется конъюкцией этих предложений:
Предложение, образованное соединением двух предложений словом "или", - дизъюнкция этих предложений:
Число истинностных функций от трех переменных равно 256: