kwantyfikatory, formuły
Regulamin forum
Proszę zapoznać się z zasadami dodawania postów w tym dziale!
Proszę zapoznać się z zasadami dodawania postów w tym dziale!
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
kwantyfikatory, formuły
Niech A będzie formułą\(\forall_{x} P(x) -> \exists_{}(Q(x,y) \vee ~R(x)).\) Wówczas ~A jest równoważna formule: