Lær formell logikk, steg for steg.
Løs oppgaver og få veiledning underveis.
Lær språket vi bruker til å undersøke argumenter.
15 korte øvelser Begynn ↗Utforsk bindeord, sannhetsverdier og logisk gyldighet.
15 øvelser · Formelverksted ↗Bygg bevis steg for steg med presise slutningsregler.
15 øvelser · Bevisverksted ↗Undersøk egenskaper, relasjoner og fortolkninger.
Et rikere logisk språkØv fritt med P, Q og R. Verkstedet gir ikke fremdrift eller segl. Påstandene kan bety det du selv velger.
Binding: ¬, ∧, ∨, →, ↔ fra sterkest til svakest. Bruk parenteser for tydelig gruppering. P → Q → R leses P → (Q → R).
Hjelpekolonnene viser deluttrykk. Sluttkolonnen fyller du inn selv. Sveip sidelengs hvis tabellen er bred.
Velg en oppgave og bygg beviset med regler og linjereferanser. Vi bruker Fitch-oppsett: En loddrett strek viser hvert delbevis, og en vannrett strek står under antakelsen. Ved lukking refererer du til linjeintervallet. Lukkede linjer er markert. Verkstedet gir ikke poeng eller segl.
Prøv å formulere svaret selv før du velger et alternativ. Etterpå kan du sammenligne begrunnelsen din med forklaringen.
Du har møtt påstander, argumenter, gyldighet, symboler og firetrinnsmetoden. Prøv nå å finne én konklusjon og dens premisser i en fagtekst du leser.
Tilbake til øvelsene ↑Forstå mer. Tenk selv.
En øvelse av gangen.