Razmatraju se neka od naj\vxešćih izazova u nastavi matematičke logike u srednjoškolskom obrazovanju. Posebna pažnja posvećena je odnosu prirodnog i matematičkog jezika, razumevanju implikacije, razlikovanju implikacije i ekvivalencije, negaciji složenih iskaza, kao i razlici izmedju sintakse i semantike matematičkog zapisa.