Rachunek zdań studentka: Jak udowodnić, że to tautologia? ~φ ⇒ (Φ1 ⇒ (Φ2 ⇒ ... ⇒ (Φ(n−1) ⇒ Φn) ... ) Przy założeniu, że φ jest tautologią. Miałam to na kolokwium, ale zrobiłam to opisowo ale było źle. Jak to zapisać tak matematycznie i poprawnie?

studentka: Może jednak ktoś pomoże, zależy mi na tym..

PW: Jeżeli φ jest tautologią, to ~φ jest zdaniem fałszywym. Implikacja o poprzedniku fałszywym jest prawdziwa (cokolwiek by tam nie było w następniku)

maniek: indukcyjnie, tak jak napisał PW skorzystaj z poprzedników