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