أرسل هذا في رسالة قصيرة: Reasoning and formal logic :