3. При метода резолюций определить, является ли формула S логическим следствием множества формул R. R = {∀(()⇒∀y(S(y)⇒¬(R(x,y)), ∃x(P(x)&(∀y(Q(x)⇒ R(x,y))}; S = {∀(Q() ⇒¬(S(x))}
Продолжительность лунного месяца составляет в среднем 29 суток 12 часов 44 минуты 28 секунд что соответствует приблизительно 29, 5 Солнечном суткам
Луна вращается вокруг своей оси и по орбите вокруг Земли с одной и той же скоростью один оборот за 28 дней это устойчивое состояние позволяет нам видеть с земли всё время только одну лунную сторону а другую сторону Луны мы постоянно видеть не можем
Со снимков стало понятно следующие поверхность Что находится на оборотной стороне луны схожа с видимой не имеется четкое географическая асимметрия 80% лунных морей оказались невидимой стороне А на оборотной только 2 крупных моря Москвы и мечты!
