Podczas zajęć uczestnicy wspólnie zastanowią się nad tym co oznacza logika w życiu codziennym. Następnie, w krótkiej prezentacji zostaną zapoznani z matematycznymi aspektami zdań logicznych i działaniami na nich oraz tautologiach. Następnie wspólnie, a potem indywidualnie udowodnimy kilka prostych tautologii.