implikacja zadanie: Wyjasnic, co to znaczy, ze warunek α nie wynika z warunku β.

Gray: To oznacza, że nie jest prawdą, że warunek α wynika z warunku β, czyli: ¬ ( warunek β ⇒ warunek α) Czyli, uwzględniając zasadę zaprzeczania implikacji, że możliwe jest, że warunek β jest spełniony i nie jest spełniony warunek α.