To illustrate how derivations are done, we will work in a very simplified formal system.
برای اینکه نشان بدهند استنتاج‌ها چگونه انجام می‌شوند، ما در یک روش (سیستم) صوری بسیار ساده شده عمل خواهیم کرد.