Как представить следующее утверждение, используя предикат logi c? - PullRequest
1 голос
/ 24 апреля 2020

Тот факт, что Терри является лидером CM7, означает, что он либо доктор, но и специалист по финансовой математике, или математик, и статистик, и более 6 лет в x University.

Это то, что у меня есть до сих пор: лидер (махровый, см7) -> (доктор (махровый) и опыт (финансовая математика, махровый)) или (математик (махровый) и опыт (статистика, махровый) и опыт работы (территория, х университет)> 6))

...