Dla wielu uczniów i studentów logika formalna to synonim intelektualnego koszmaru – abstrakcyjna, żmudna i (pozornie) oderwana od praktyki. Ale czy rzeczywiście poza salą wykładową jest taka bezużyteczna? Wbrew pozorom, choćby najbardziej podstawowe narzędzia logiczne mogą okazać się zaskakująco przydatne w krytycznym myśleniu, analizie argumentów, czy… rozwiązywaniu zagadek.