Представьте английское утверждение в квантификаторы - PullRequest
0 голосов
/ 06 мая 2011

Вот оператор

C(x): x has a cat D(x): x has a dog F(x): x has a Ferret
, представляющий использование квантификаторов и логических связок.В области «все ученики вашего класса»

1) Ни у одного ученика в вашем классе нет кошки, собаки или хорька.

2) Для каждого из трех животных естьучащийся в вашем классе, у которого в качестве домашнего животного есть одно из этих животных.

Может ли кто-нибудь дать ответ на этот вопрос?Заранее спасибо.

1 Ответ

1 голос
/ 06 мая 2011

1) ∀x (~ C (x) ^ ~ D (x) ^ ~ F (x))

2) (CxC (x)) ^ (DxD (x)) ^(∃xF (х))

...