Proszę sprawdzić, w które strony zachodzi implikacja w poniższych wyrażeniach. I Skiper: Proszę sprawdzić, w które strony zachodzi implikacja w poniższych wyrażeniach. Implikację/równoważność należy udowodnić. (∀x f(x) ⇒ y(x)) ⋀ (∀x f(x) ⇒ X(x)) ? (∀x f(x) ⇒ (y(x) ⋀ X(x)) =======jak zacząłem rozwiązywać:======= Na początku sprawdzę implikację w prawą stronę: [(∀x f(x) ⇒ y(x)) ⋀ (∀x f(x) ⇒ X(x))] ⇒ [(∀x f(x) ⇒ (y(x) ⋀ X(x))] 1) [(∀x f(x) ⇒ y(x)) ⋀ (∀x f(x) ⇒ X(x))] ⇔1 2) [(∀x f(x) ⇒ (y(x) ⋀ X(x))] ⇔ 0 3) z 1) (∀x f(x) ⇒ y(x)) ⇔ 1 4 z 1) (∀x f(x) ⇒ X(x)) ⇔ 1 i tu mam problem co dalej ponieważ jest to implikacja i robi się dużo przypadków. Mógłby ktoś pomóc i podpowiedzieć od czego trzeba zacząć ?