مقدم

1. عددی صحیح که بلافاصله قبل از عدد صحیح مفروض می‏آید 2. نخستین گزارۀ یک استلزام (implication) منطقی