Przedstawiamy teraz logikę zdań. Opisujemy jego składnię (strukturę zdań) i semantykę (sposób określania prawdziwości zdań). Z nich wyprowadzamy prosty, syntaktyczny algorytm wnioskowania logicznego, który implementuje semantyczne pojęcie wynikania. Wszystko dzieje się oczywiście w świecie Wumpusa