Экзамен мат логика

6)

Универсум – множество людей.

Предикаты:

S(x) – человек x – студент.

C(x) – человек x – старательный.

O(x) – человек x – отличник.

Выберите правильный перевод на язык логики предикатов

«Можно быть старательным студентом и не быть отличником».

∃x (S(x)&C(x)&¬O(x))

∀x (S(x)&C(x)&¬O(x))

∃x (S(x)&C(x)&O(x)) & ∃x (S(x)&C(x)&¬O(x))

7)Предскажите наиболее вероятное следующее число в последовательности.

1, 1, 2, 3, 5, 8, 13, 

8)Пусть φ={,,}.

Укажите элементы композиции отношений φ°φ.

9)Пусть A – формула логики высказываний.

Что означает следующая запись?

|=A

A – противоречие

.A – опровержима.

A – тавтология.

A – выполнима.