I dette kurset skal vi se på hvordan relaterte påstander kan brukes til å føre logiske bevis. I første omgang ser vi på hva det vil si at to eller flere påstander er ekvivalente, eller medfører hverandres sannhet.