Förberedande kurs i matematik

Vi vet att \displaystyle 2 är större än \displaystyle -1. Det följer då att \displaystyle 2 är större än eller lika med \displaystyle -1.

Om vi har ett \displaystyle x som är större än \displaystyle 2 så vet vi att det också måste vara större än \displaystyle -1. Det är just precis detta som den logiska formeln betyder och alltså är den sann.