Գրեք սա: Reasoning and formal logic :