Žeby v tom, že obrátená implikácia je totožná s pôvodným zadaním?

No jo, pre mňa sú tieto veci náročné si predstaviť, ale pre vás matematikov informatikov to je zjavne hračka. Diki ;)