”Stromy v lese jsou ze dreva a z gumy.” To je divná veta, reknete si, napul pravda, napul lež. Ukážeme si, že z hlediska matematické logiky je uvedená veta lživá. Pomocí symbolu budeme v této kapitole zapisovat naše myšlenkové postupy a rozhodovat o jejich správnosti. Vycházíme pritom z predpokladu, že jsme schopni se dohodnout, co je a co není pravda. Potom mužeme definovat základní pojem matematické logiky - výrok.