logika student: Udowwodnij ze ponizsze wyrazenia są taulotogiami wyłacznie za pomocą reguł wnioskwania: a) ∃x: [(∀x: p(x))⇒q(x)]⇒[∃x:(p(x)⇒q(x)] b) ∃x: [(∀t: p(t))⇒q(x)]⇒[∃s:(p(s)⇒q(s)] Prosze o pomoc. Nie wiem ja uzywać reguł wnioskowania dla zdań z kwantyfikatorami i nie wiem za bardzo jak sie za to zabrać