В этом разделе будет представлена очень простая логика, называемая пропозициональной логикой. Здесь рассматривается синтаксис пропозициональной логики и ее семантика— способ определения истинности высказываний. Затем мы рассмотрим понятие следствия (отношения между одним высказыванием и другим высказыванием, которое следует из него) и определим, как с помощью этого понятия можно получить простой алгоритм для логического вывода. Безусловно, все это происходит в мире вампуса.