body{margin:0;} noscript{z-index: 10000; position: fixed; display: block; height: 100%; width: 100%; background: #fff;} noscript .fa{font-size: 40px; display:block; color: #daa520;} noscript div{margin-top: 6%; padding-left: 20px; padding-right: 20px; text-align: center;} ! Du måste ha JavaScript påslaget för att använda den här webbsidan.

Rekommenderade

Tester

Ett fel uppstod, försök igen senare!

Kapitel {{ article.chapter.number }}

{{ article.number }}.

Visa mindre Visa mer

Inställningar & verktyg för lektion

	{{ 'ml-lesson-number-slides' \| message : article.intro.bblockCount }}
	{{ 'ml-lesson-number-exercises' \| message : article.intro.exerciseCount }}
	{{ 'ml-lesson-time-estimation' \| message }}

Kreditlista Bilder

{{ item.file.title }}
{{ presentation }}

Inga inlägg om filrättigheter hittades

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
$\Rightarrow$	Implikation	P $_{1}$ : Figuren är en kvadrat P $_{2}$ : Figuren är en fyrhörning P $_{1}$ $\Rightarrow$ P $_{2}$
$\Leftrightarrow$	Ekvivalens	P $_{1}$ : Figuren är en kvadrat P $_{3}$ : Figuren har fyra rätvinkliga hörn och lika långa sidor P $_{1}$ $\Leftrightarrow$ P $_{3}$
$\neg$	Negation	P $_{1}$ : Figuren är en kvadrat $\neg$ 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}$ ) $\Rightarrow ⊥$

Laddar innehåll

{{ article.displayTitle }}