以逻辑量词的形式给出了区间线性方程组的（b）I-强可行、区间线性不等式组的（b）I-强可解和（b）I-强可行的Farkas型充要条件。为了应用方便,该文还建立了与前述结果等价的基于绝对值不等式的Farkas型条件。