Title: ABC i symbolisk logik - Logikens språk och grundbegrepp