Overleg:Beweren en bewijzen/supplement/oefenpagina/bedrading 2009

Uit Werkplaats
Ga naar: navigatie, zoeken

Elektrische luchtverfrisser

domeinmodel opmerkingen

EL_stroom

Er straat stroom op de stekker van de elektrische luchtverfrisser.

EL_aan

De aan/uit knop van de elektrische luchtverfrisser staat op "aan"

'EL_geur

Er is een container met 'parfum' geplaatst in de elektrische luchtverfrisser

EL_verfrist

De elektrische luchtverfrisser verfrist.


 definition Elektrische luchtverfrisser := (EL_stroom ∧ EL_aan ∧ EL_geur) → EL_verfrist

Wanneer er stroom staat op de stekker van de luchtverfrisser, de luchtverfrisser aan staat en er een container met parfum geplaatst is dan verfrist de elektrische luchtverfrisser de lucht.

Auteurs: Tim Baltissen


Drie vrgen:
  • Waarom staat dit op de overlegpagina?
  • Wat is de meting die hoort bij verfrist? Volgens mij verfgrissen luchtverfrissers helemaal niet de lucht.
  • Dit is het zoveelste apparaat van de vorm "stroom ∧ aan → iets". Is dat niet een beetje saai? (Deze vraag geldt ook voor anderen.)
Hanno Wupper.jpg
Hanno WupperBenB Remove this comment when resolved!


Gloeilamp

Ik vraag me af of de gloeilamp een goede specificatie van een gloeilamp is. Ik zou eerder denken aan iets als:

L_spanning: er staat spanning over de contacten van de gloeilamp
L_brand: de gloeilamp brand.
Definition Gloeilamp1 := L_spanning -> L_brand
Tim Cooijmans.jpg
Tim CooijmansBeweren en bewijzen Remove this comment when resolved!


Stroom vs Spanning

Ik zie op diversie plekken staan dat er stroom over op een stopcontact of stekker staat. Dit is echter elektrotechnisch onmogelijk. Over de aansluitingspunten van een stopcontact staat ongeveer 230V wisselspanning. Als je er dan apparaat op aansluit gaat er stroom lopen (van de fase-draad naar de 0-draad) welke afhankelijk is van de impedantie van het apparaat. Er loopt dan dus een wisselstroom door het apparaat.
Tim Cooijmans.jpg
Tim CooijmansBeweren en bewijzen Remove this comment when resolved!