Գրեք սա: Symbolic logic