A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. A feladat állításának igazolásához elegendő megmutatnunk; hogy a) ha igent mondott, akkor igent mondott is; b) ha igent mondott, akkor is, hiszen ezekből már következik, hogy és egyformán válaszolt.
Az a) állítás a feladat feltételei között szerepel. A b) viszont abból következik, hogy ha igent mondott, akkor igent mondott és közül legalább az egyik. Ha ez az egyik , akkor már készen vagyunk; ha pedig , akkor a kérdésre is és is igent válaszolt. Ez utóbbi esetben a feladat szövege szerint is igent mondott, ami éppen a b) állítást adja. |