Logik och bevis

Logik handlar om hur påståenden hänger ihop. En implikation gäller åt ett håll, medan en ekvivalens gäller åt båda hållen. Ett bevis är en kedja av motiverade steg som visar att något gäller i alla fall, och ett enda motexempel räcker för att fälla ett påstående om alla.