Գրեք սա: Formal logic :