6 Аксиомы и правило вывода классической логики высказываний

• В видео обсуждаются законы логики, которые являются традиционными и непроверенными высказываниями.  

• Законы логики формулируются на языке высказываний, используя набор логических связок и вспомогательных символов.  

• Общезначимые формулы - это формулы, которые всегда истинны.  

• Примеры общезначимых формул: "если есть, то есть", "если есть, то есть".  

• Интуиционистская логика анализирует законы классической логики на предмет их приемлемости с интуиционистской точки зрения.  

• Интуиционистская логика рассматривает законы классической логики как аксиомы и правила вывода.  

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

• Все, что можно вывести, является тавтологией.