在逻辑学中，“后推前”通常指的是必要条件。必要条件是指在某种情况下必须满足的条件，如果这个条件不成立，那么结论也不会成立。在逻辑表达式中，必要条件通常用逆向蕴含符号（￩）表示，写作A￩B，意味着“如果B成立，则A也必须成立”。

1. 只有A，才B

2. 不A，不B

3. 除非A，否则不B

4. A是B的前提/假设/基础/必要条件/必不可少的条件

例如，在“只有年满十八岁，才能拥有选举权”这个句子中，年满十八岁是拥有选举权的必要条件。如果一个人拥有选举权，那么这个人一定已经年满十八岁。

需要注意的是，“后推前”与“前推后”是不同的逻辑关系。“前推后”指的是充分条件，即如果A成立，则B一定成立，但B成立并不一定需要A成立。