Test alle deler direkte. Svar, fremdrift og innstillinger du endrer her, lagres ikke.
Avslutt forhåndsvisningen →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 ↑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.
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.
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 |
|---|
Detaljene undersøker innholdet under kvantoren. Står ¬ utenfor, benektes resultatet.
Prøv deretter å endre ett kryss. Hvilke formler skifter sannhetsverdi, og hvorfor?
Bruk samme fremgangsmåte når du møter et argument i pensum eller en eksamensoppgave.