如果式子“b÷a＞b”成立，那么a就是真分数．正确
分析：根据除法的意义，在除法中，（零除外）如果除数（零除外）大于1，商就小于被除数；如果除数小于1，商就大于被除数，如果除数等于1，商就等于被除数．如果式子“b÷a＞b”成立，那么a＜1，又真分数＜1，所以a是真分数．
解答：因为式子“b÷a＞b”成立，所a＜1，又真分数＜1，所以a是真分数．
故答案为：正确．
点评：本题考查了真分数的意义，同时要明白除数（零除外）在大于、等于、小于1不同情况下商的变化．