पहिला-क्रम के तर्क औपचारिक भासा के उदाहरण हव.