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