Begrepp

Logik

Logik är ett brett ämne, och inom matematiken är det läran om hur man drar korrekta slutsatser givet vissa premisser. Exempelvis är matematiska bevis uppbyggda av logiska resonemang. För att kunna föra matematiska resonemang skriftligt på ett kompakt sätt används logiska symboler. I tabellen visas ett urval.
Symbol Innebörd Exempel
Implikation P_1: Figuren är en kvadrat
P_2: Figuren är en fyrhörning
P_1 ⇒ P_2
Ekvivalens P_1: Figuren är en kvadrat
P_3: Figuren har fyra rätvinkliga hörn
och lika långa sidor
P_1 ⇔ P_3
¬ Negation P_1: Figuren är en kvadrat
¬P_1: Figuren är inte en kvadrat
Motsägelse P_4: Figuren har 4 hörn
P_5: Figuren är en triangel
(P_4 och P_5) ⇒⊥
Övningar