Vastaa keskusteluun

Pitääkö tossa osoittaa että tuo on tautologia? Siinä tapauksessa lähtisin tekemään totuustaulua. Jos oikein ymmärrän, niin tuossa on kyseessä siis lause (A ja B ja C...) tai (A tai B tai C...), onko näin?  Induktiota voit tietysti soveltaa niin, että kiinnität A:n ja tarkastelet aluksi negaatiota, sitten lisäät B:n ja B:n negaatiot, sitten oletat, että sama pätee x_n:llä ja lopuksi todistat induktioväitteen eli x_n+1. Kerro toki jos ymmärsin väärin!