Tehat ha azt allitjuk, hogy a->b es tudjuk, hogy !b->!a akkor abbol nem kovetkezik, hogy b->a . Ergo nem a lampa miatt van a zebra meg mindig, nincs odavissza, csak oda es inverz vissza.

[ Szerkesztve ]