W zadaniu skorzystamy z faktu, że implikacja jest fałszywa wtedy i tylko wtedy, gdy jej poprzednik jest prawdziwy, a następnik fałszywy.

Symbolicznie:  wtedy i tylko wtedy, gdy  oraz .