Logika proposional ; seri logika matematika