Implikasjon, ekvivalens og noen matematiske bevistyper

Matematikken er logisk oppbygd der sammenhenger og bevis er viktig.