logika student: ∃x: (∀x: p(x)⇒q(x))⇒ ∃x:(p(x)⇒q(x)) z reguł wnioskowania wynika jednoznacznie ze ta formuła nie jest tautologią. Wiec problem polega na tym zeby znalesc jakis kontrprzyklad aby pokac ze nie jest to tautologia. Wszystko co biore za p(x) i q(x) to nic mi nie wychodzi. moze ma ktos jakis pomysł ?

xxx: pomozcie. chyba jednak bedzie zly dowod. jakby mogl ktos to z reguł wnisokowania rozpisac