Test alle deler direkte. Svar, fremdrift og innstillinger du endrer her, lagres ikke.
Avslutt forhåndsvisningen →Læringsgrep: aktiv gjenhenting
Prøv å formulere svaret selv før du velger et alternativ. Etterpå kan du sammenligne begrunnelsen din med forklaringen.
Fra arkivet til studiene dine
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 ↑Fra tekst til bevis
Arbeid med et helt argument: Identifiser → Formaliser → Test/bevis → Tolk.
Besvar alle 15 grunnoppgavene riktig for å åpne oppgaveverkstedet. Du kan bruke hint og prøve igjen. Mestringsseglet har egne krav til selvstendig løsning.
Modellverksted · utforsk ∀ og ∃
Universet er her nøyaktig tre dokumenter: a, b og c. P(x) betyr «x er registrert», Q(x) «x er signert» og R(x,y) «x henviser til y».
En sann formel i denne modellen er ikke dermed logisk gyldig i alle modeller. Verkstedet gir ikke poeng eller segl.
1. Bestem egenskapene
Henvisninger mellom dokumentene
Kryss av for R(x,y). R(a,b) betyr at a henviser til b, og innebærer ikke R(b,a). Selvhenvisning er tillatt.
| Fra / til | a | b | c |
|---|
2. Tolk et utsagn
Detaljene undersøker innholdet under kvantoren. Står ¬ utenfor, benektes resultatet.
Prøv deretter å endre ett kryss. Hvilke formler skifter sannhetsverdi, og hvorfor?
Fra tekst til begrunnet svar
Bruk samme fremgangsmåte når du møter et argument i pensum eller en eksamensoppgave.