tautologia Ig: Udowodnij że : wyrażenie Y jest tautologia, to wyrażenie ¬Y=>(X₁ => X₂ => ... => X_n ) jest tautologią też. Nie mam pojęcia jak zabrać się z to zadania,pomoże ktoś?

Ig: prosze, niech ktos mnie poratuję z tym zadaniem

Ig: ?

Janek191: Jeżeli Y jest tautologią, to w( Y ) = 1 zatem w( ∼ Y ) = 0 Mamy implikację ∼ Y ⇒ ( X₁ ⇒ X₂ ⇒ ... ⇒ X_n) Ta implikacja jest prawdziwa niezależnie od tego jaką wartość logiczną ma jej następnik. ( z def. implikacji ). w( 0 ⇒ 1) = 1 w( 0 ⇒ 0) = 1 −−−−−−−−−−−−−−−−−−−−−−−−− w( Y ) − wartość logiczna Y