Logik 7 sp - satslogik, predikatlogik, sanningstabell, naturlig deduction, formella språk, formella bevis