mathleaks.se mathleaks.se Startsida kapitel home Startsida Historik history Historik expand_more
{{ item.displayTitle }}
navigate_next
Ingen historik än!
Statistik equalizer Statistik expand_more
Student
navigate_next
Lärare
navigate_next
Expandera meny menu_open Minimera
{{ filterOption.label }}
{{ item.displayTitle }}
{{ item.subject.displayTitle }}
arrow_forward
Inget resultat
{{ searchError }}
search
menu_open home
{{ courseTrack.displayTitle }}
{{ statistics.percent }}% Logga in för att se statistik
{{ printedBook.courseTrack.name }} {{ printedBook.name }}
search Använd offline Verktyg apps
Logga in account_circle menu_open

Logik

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: Figuren är en kvadrat
P: Figuren är en fyrhörning
P P
Ekvivalens P: Figuren är en kvadrat
P: Figuren har fyra rätvinkliga hörn
och lika långa sidor
P P
Negation P: Figuren är en kvadrat
P: Figuren är inte en kvadrat
Motsägelse P: Figuren har hörn
P: Figuren är en triangel
(P och P)