В условии приведено высказывание и заданы множества. Используя данные множества, записать высказывание и его отрицание на языке кванторов. Перевести отрицание на русский язык. — Ответы — стр. 1
1) \( \neg(\forall\, x \in H: x \notin F) \Leftrightarrow \exists\, x \in H: x \in F;\) некоторые обезьяны играют на гитаре.Отладка (3)
2) \( \neg(\forall\, x \in K: x \in M) \Leftrightarrow \exists\, x \in K: x \notin M;\) некоторые принцессы не сильны телом.Отладка (1)
3) \( \neg(\exists\, x \in S: x \in Q) \Leftrightarrow \forall\, x \in S: x \notin Q;\) никто из марсианок не поет.Отладка (8)
4) \( \neg(\forall\, x \in U: x \notin V) \Leftrightarrow \exists\, x \in U: x \in V;\) некоторые телепузики загорают.Отладка (7)
5) \( \neg(\exists\, x \in R: x \in S) \Leftrightarrow \forall\, x \in R: x \notin S;\) никто из принцев не мил.Отладка (4)
6) \( \neg(\exists\, x \in K: x \notin M) \Leftrightarrow \forall\, x \in K: x \in M;\) все телепузики играют на гитаре.Отладка (2)
7) \( \neg(\exists\, x \in K: x \notin N) \Leftrightarrow \forall\, x \in K: x \in N;\) все мумзики умеют вить гнезда.Отладка (6)
8) \( \neg(\forall\, x \in U: x \in V) \Leftrightarrow \exists\, x \in U: x \notin V;\) некоторые коротышки из Цветочного города не загорают.Отладка (5)
9) \( \neg(\exists\, x \in R: x \in T) \Leftrightarrow \forall\, x \in R: x \notin T;\) никто из девочек не хочет заработать кучу денег.Отладка (8)
10) \( \neg(\exists\, x \in S: x \in P) \Leftrightarrow \forall\, x \in S: x \notin P;\) никто из двоечников не любит шоколад.Отладка (4)
11) \( \neg(\exists\, x \in K: x \notin M) \Leftrightarrow \forall\, x \in K: x \in M;\) все обезьяны лежат на пляже.Отладка (2)
12) \( \neg(\exists\, x \in K: x \notin N) \Leftrightarrow \forall\, x \in K: x \in N;\) все марсианки любезны.Отладка (6)
13) \( \neg(\forall\, x \in K: x \notin N) \Leftrightarrow \exists\, x \in K: x \in N;\) некоторые двоечники красивы.Отладка (7)
14) \( \neg(\forall\, x \in S: x \notin P) \Leftrightarrow \exists\, x \in S: x \in P;\) некоторые принцессы — плаксы.Отладка (3)
15) \( \neg(\forall\, x \in S: x \in P) \Leftrightarrow \exists\, x \in S: x \notin P;\) некоторые коротышки из Цветочного города не играют на гитаре.Отладка (1)
16) \( \neg(\forall\, x \in K: x \in N) \Leftrightarrow \exists\, x \in K: x \notin N;\) некоторые жители деревни Простоквашино не любезны.Отладка (5)
17) \( \neg(\forall\, x \in D: x \notin F) \Leftrightarrow \exists\, x \in D: x \in F;\) некоторые принцессы сильны духом.Отладка (7)
18) \( \neg(\exists\, x \in K: x \notin N) \Leftrightarrow \forall\, x \in K: x \in N;\) все мальчики любят мороженое.Отладка (6)
19) \( \neg(\exists\, x \in H: x \in G) \Leftrightarrow \forall\, x \in H: x \notin G;\) никто из телепузиков не играет в шахматы.Отладка (8)
20) \( \neg(\forall\, x \in K: x \in N) \Leftrightarrow \exists\, x \in K: x \notin N;\) некоторые обезьяны не любезны.Отладка (5)
21) \( \neg(\exists\, x \in D: x \notin E) \Leftrightarrow \forall\, x \in D: x \in E;\) все телепузики милы.Отладка (2)
22) \( \neg(\forall\, x \in H: x \notin F) \Leftrightarrow \exists\, x \in H: x \in F;\) некоторые девочки играют на гитаре.Отладка (3)
23) \( \neg(\forall\, x \in D: x \in E) \Leftrightarrow \exists\, x \in D: x \notin E;\) некоторые телепузики не умеют плавать.Отладка (1)
24) \( \neg(\exists\, x \in S: x \in P) \Leftrightarrow \forall\, x \in S: x \notin P;\) никто из принцев не силен телом.Отладка (4)
25) \( \neg(\exists\, x \in H: x \notin G) \Leftrightarrow \forall\, x \in H: x \in G;\) все обезьяны сильны духом.Отладка (6)
26) \( \neg(\forall\, x \in U: x \in W) \Leftrightarrow \exists\, x \in U: x \notin W;\) некоторые девочки не милы.Отладка (1)
27) \( \neg(\forall\, x \in R: x \notin S) \Leftrightarrow \exists\, x \in R: x \in S;\) некоторые принцы мечтают стать кинозвездами.Отладка (3)
28) \( \neg(\exists\, x \in U: x \in V) \Leftrightarrow \forall\, x \in U: x \notin V;\) никто из телепузиков не загорает.Отладка (8)
29) \( \neg(\exists\, x \in H: x \in F) \Leftrightarrow \forall\, x \in H: x \notin F;\) никто из жителей деревни Простоквашино не лежит на пляже.Отладка (4)
30) \( \neg(\forall\, x \in A: x \notin C) \Leftrightarrow \exists\, x \in A: x \in C;\) некоторые чертенята поют.Отладка (7)
31) \( \neg(\exists\, x \in H: x \notin F) \Leftrightarrow \forall\, x \in H: x \in F;\) все марсиане мечтают стать кинозвездами.Отладка (2)
32) \( \neg(\forall\, x \in S: x \in Q) \Leftrightarrow \exists\, x \in S: x \notin Q;\) некоторые мальчики не забияки.Отладка (5)
33) \( \neg(\forall\, x \in S: x \in Q) \Leftrightarrow \exists\, x \in S: x \notin Q;\) некоторые телепузики не поют.Отладка (5)
34) \( \neg(\forall\, x \in U: x \notin V) \Leftrightarrow \exists\, x \in U: x \in V;\) некоторые мумзики сильны духом.Отладка (7)
35) \( \neg(\forall\, x \in R: x \notin S) \Leftrightarrow \exists\, x \in R: x \in S;\) некоторые мальчики танцуют.Отладка (3)
36) \( \neg(\exists\, x \in H: x \notin F) \Leftrightarrow \forall\, x \in H: x \in F;\) все коротышки из Цветочного города любят шоколад.Отладка (2)