Implikasjon, ekvivalens og nokre matematiske bevistypar

Matematikken er logisk oppbygd der samanhengar og bevis er viktig.