أرسل هذا في رسالة قصيرة: Symbolic logic,