RSS
Feed
-
-
-
-
-
P(s,t) - А в состоянии s, B в состоянии t ⇒ A любит B. Верно ли: ∀s (∃t P(s,t) ⇒ ∀t P(s,t))?
-
