Czy poniższe zdania są tautologiami Andrzej: Czy poniższe zdania są tautologiami. Jeśli trzeba zmienić znak to w którą ze stron? (∃x (Φ(x) ⇒ Ψ(x)) ⇔ [∃x Φ(x) ⇒ ∃xΨ(x)], (∃x (Φ(x) ⇔ Ψ(x)) ⇔ [∃x Φ(x) ⇔ ∃xΨ(x)]. Z góry dziekuję za pomoc

ite: (∃x (Φ(x) ⇒ Ψ(x)) ⇒ [∃x Φ(x) ⇒ ∃x Ψ(x)] (∃x (Φ(x) ⇔ Ψ(x)) ⇒ [∃x Φ(x) ⇔ ∃x Ψ(x)]