Cílem knihy je obeznámit čtenáře se základními pojmy logické syntaxe a sémantiky jazyka prvního řádu a s několika aplikacemi pojmového aparátu těchto disciplín na logickou analýzu některých druhů výrazů přirozeného jazyka.