Implikasjon, ekvivalens og noen matematiske bevistyper

Matematikken er logisk oppbygd der samanhengar og bevis er viktig.