Udowodnij, że jeżeli wyrazenie Y jest tautologią to wyrazenie ∼Y⇒(Φ_1⇒Φ

Udowodnij, że jeżeli wyrazenie Y jest tautologią to wyrazenie ∼Y⇒(Φ_1⇒Φ_2⇒ Honn: Udowodnij, że jeżeli wyrazenie Y jest tautologią to wyrazenie ∼Y⇒(Φ₁⇒Φ₂⇒....Φ_n) również jest tautologią Rownież chodzi mi bardziej o sposób

13 lut 11:33