요즘 CTL을 공부하고 있습니다


AF라든가  EG라든가


저런 Quantification 과 Operator에 대하여 발음을 모르겠서유


의미는 알겠는데요 뭐라고 읽어야하죠


만약 AF(f)라고 한다면


에이 에프 에프 라고 읽어야합네까


아니면 All path 이고 in the future에서 f를 만족한다 처럼 의미를 풀어서 읽어야합네까