Matematična logika ni logika matematike, je bolj matematika logike. Logike zanima, kako bi z matematiko razložili človeško logiko, ki jo vsi uporabljamo. Ukvarjajo se torej z našim mišljenjem, ki ga želimo lepo, jasno, kratko in jedrnato zapisati – to je znanost o pravilnem sklepanju.
A z logiko se lahko tudi igramo. Skupaj preverimo, kaj vse lahko počnete z logiko tudi za zabavo ...

Osnovni element logike je izjava - to je neka smiselna poved, ki ji lahko določimo, ali je resnična ali neresnična, v stavke pa izjave povežemo z vezniki IN, ALI, SLEDI.