ltlの論理式はその経路上の位置0において真であるときのみ真である。