Գրեք սա: Deducibility and decidability