Vrijeme: 11:10

Dokazivanje 2

Naglasimo ovdje važnost razlikovanja implikacije A \Rightarrow B i njezinog obrata B \Rightarrow A. Ove tvrdnje nisu ekvivalentne! Uzmimo za primjer implikaciju iz danog predavanja: ,,Ako je neki prirodni broj x djeljiv s 4, onda je djeljiv s 2''. Znamo da je ovo točna tvrdnja. Međutim, obrat ove implikacije glasi: ,,Ako je neki prirodni broj x djeljiv s 2, onda je djeljiv s 4'', što nije točna tvrdnja! Zato kada u zadatku treba dokazati da su dvije tvrdnje A i B ekvivalentne, treba dokazati da vrijedi A \Rightarrow B i obratno B \Rightarrow A.

Kao rješenje upišite najmanji prirodni broj x koji pokazuje da obrat promatrane implikacije ,,Ako je neki prirodni broj x djeljiv s 4, onda je djeljiv s 2'' nije istinit.