تابع
function
منطق صوری
formal logic
تابع بازگشتی
recursive function