Գրեք սա: The concept of logical consequence