Vrijeme: 12:04

Dokazivanje 1

U ovom lancu bavimo se pitanjem: što točno znači dokazati neku tvrdnju? Srećom, odgovor nam je već detaljno razrađen u MNM predavanju Što je dokaz?. Pomno ga proučite, jer će te u daljnjem tijeku MetaMatha pisati puno dokaza, koji bi trebali po mogućnosti biti ispravni :)

Kada završite s proučavanjem, trebali biste znati napisati negaciju tvrdnje A \Longleftrightarrow B.