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