В начале лекции рассказывается об истории возникновения понятия " Логика". Далее обсуждаются основные различия между исчислением высказываний и исчислением предикатов. Рассматриваются правила вывода Modus Ponens, приводятся примеры их использования.