logical trace

[ریاضیات] رد منطقی