логика

Определить отношения между суждениями

Любая планета имеет своих обитателей.
Большинство планет обитаемы.

Если "Любя планета имеет своих обитателей" истина, то утверждение "Большинство планет обитаемы" является частным случаем. Если же утверждение "Большинство планет обитаемы" истинно, то тогда выражение "Любая планета обитаема" является ложным.

1. Любая планета имеет своих обитателей.
2. Большинство планет обитаемы.
_____________________________________
не все планеты исследованы

обитаема (m) любая планета (x)
обитаемы (m) большинство планет (y)
Решение
Пусть x - любая, m - обитаемая, y - большинство. Универсум - планеты.
M = (xm)Amy = (xm+x'm')(m'+y) = m'x'+xmy+x'm'y = m'x'+xmy
F(x,y) = x'+y = Axy.
m =====-------
x =====-------
y ========----

xy f(x,y)
00 1
01 1
10 0
11 1
F(x,y) = x'+y = Axy.
исходя из отношения можно не проводя доказательств, а просто сделать вывод почему получено такое заключение (не все планеты исследованы)? Только потому, что неверна первая посылка.