prawdziwosc implikacji Andrzej: O własności P(n) wiadomo, że jest prawdziwe P(1), a ponadto dla każdej liczby naturalnej n zachodzi implikacja P(n) −> P(n+10). Czy wynika stąd, że prawdziwe są implikacje: a) P(32) −> P(62) b) P(33) −> P(61) c) P(34) −> P(63) d) P(31) −> P(64)

iteRacj@: b) P(33) ⇒ P(61)

Andrzej: A skąd wiadomo, jak to rozwiązywać?

Pytający: Z treści wiadomo, że P(1+10n) jest prawdziwe. Znaczy P(31), P(61) są prawdziwe. O pozostałych własnościach z odpowiedzi nic nie wiadomo (mogą być prawdziwe, mogą być fałszywe). Pozostaje pytanie: kiedy implikacja jest prawdziwa?