在逻辑学中，a是b的基础就意味着如果没有事物情况A，则必然没有事物情况B，也就是说如果有事物情况B则一定有事物情况A。这种情况下，A就是B的必要条件，B是A的充分条件。逻辑箭头通常从基础（必要条件）推出结论（充分条件）。具体来说，逻辑箭头的推导规则如下：
1、如果A，那么B。这种情况下，A是B的充分不必要条件，逻辑箭头从A指向B
2、只有A，才B。这种情况下，A是B的必要条件，逻辑箭头从B指向A。
3、除非A，否则B。这种情况下，非A推出B，逻辑箭头从非A指向B。需要注意的是，逻辑箭头可以顺推，不可以逆推。
