Vrijeme: 17:21

Dokazivanje 4

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ši 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.

Attachment clipboard_e847ec0da5cf172f99fad20506308de5f.png