Ik begrijp niet hoe ik volgende consitentie aantoon. De opdracht luid toon aan dmv een calculationeel bewijs of een waarheidtabel:
Het systeem is in multiuser toestand als en slechts als het normaal werkt. Als het systeem normaal werkt, dan functioneert de kernel. De kernel functioneert niet of het systeem is in interruptmodus. Indien het systeem niet in multiuser toestand is, dan is het in interruptmodus. Het systeem is niet in interruptmodus.
Ik snap de kleine stukjes maar ik krijg ze niet in 1 hele zin waarvan ik de waarheid kan aantonen? Hoe begin ik eraan?
[Logica]Consistentie aantonen
-
- Vergevorderde
- Berichten: 1144
- Lid geworden op: 21 jan 2006, 15:09
- Locatie: Krimpen aan den IJssel
Re: [Logica]Consistentie aantonen
Je kan elke uitspraak een letter geven:rclaeys schreef:Ik begrijp niet hoe ik volgende consitentie aantoon. De opdracht luid toon aan dmv een calculationeel bewijs of een waarheidtabel:
Het systeem is in multiuser toestand als en slechts als het normaal werkt. Als het systeem normaal werkt, dan functioneert de kernel. De kernel functioneert niet of het systeem is in interruptmodus. Indien het systeem niet in multiuser toestand is, dan is het in interruptmodus. Het systeem is niet in interruptmodus.
Ik snap de kleine stukjes maar ik krijg ze niet in 1 hele zin waarvan ik de waarheid kan aantonen? Hoe begin ik eraan?
: Het systeem is in multiuser toestand
: Het systeem werkt normaal
: De kernel functioneert.
: Het systeem is in interuptmodus.
De zinnen luiden dan als volgt:
Door nu alle regels aan te plakken met -tekens, kom je op een uitspraak.
``Life is complex. It has real and imaginary parts.''
Re: [Logica]Consistentie aantonen
Ok bedankt dit verduidelijkt de oefening voor mij.