प्रथम-क्रम तर्क औपचारिक भाषा के एक उदाहरण हय।