برهان‌های صوری
formal arguments
احتجاج
argumentation