Теорема 2 – это:
(Отметьте один правильный вариант ответа.)
Варианты ответа
S ~ (si rG F)
G ~ (R r)
V ~ (s ¬sN R ¬rGT)
N ~ sN rG
F ~ ((si rG ti) (si rG ti+1))(Верный ответ)