Er zijn 96 resultaten gevonden
- 21 okt 2011, 15:26
- Forum: Hoger onderwijs - overig
- Onderwerp: Natuurlijke deductie, bewijs via Fitch
- Reacties: 1
- Weergaves: 2367
Natuurlijke deductie, bewijs via Fitch
Ik probeer de volgende opgave op te lossen, maar ik blijf vast zitten. Ik kom of niet uit met m'n permissen of ik kan geen False afleiden. Het systeem dat we gebruiken lijkt op dat van Fitch. Het is afkomstig uit het boek: Logical Reasoning, A first course, van van Nederpelt en is onderdeel van het ...
- 12 mei 2011, 12:44
- Forum: Voortgezet onderwijs / 1ste graad ASO-TSO-BSO
- Onderwerp: Driehoeken in een driehoek
- Reacties: 4
- Weergaves: 5204
Re: Driehoeken in een driehoek
Het aantal driehoekjes met een zijde van 1cm is dan 4^2 = 16. Waarop baseer je dit? Het is goed, maar verklaar je conclusie. Kan je dit niet gebruiken bij je andere vragen? Eerlijk gezegd heb ik dit afgeleid door te tellen... Ik heb een aantal gevallen genomen: Zijde 1cm" 1, 2cm:4, 3cm:9, 4cm:16, d...
- 10 mei 2011, 14:02
- Forum: Voortgezet onderwijs / 1ste graad ASO-TSO-BSO
- Onderwerp: Driehoeken in een driehoek
- Reacties: 4
- Weergaves: 5204
Driehoeken in een driehoek
Stel je hebt een driehoek met zijden van 4 cm. binnen deze driehoek bevinden zich vele kleine driehoekjes met een zijde van 1 cm. Het aantal driehoekjes met een zijde van 1cm is dan 4^2 = 16. Maar hoe kan ik nu het totaal aantal driehoekjes bepalen? Dus, alle van 1 cm + alle van 2 cm en alle van 3 c...
- 12 feb 2011, 16:08
- Forum: Hoger onderwijs - overig
- Onderwerp: Soorten relaties
- Reacties: 14
- Weergaves: 10582
Re: Soorten relaties
Aantonen? Hoe bedoel je precies? En klopt de uitspraak over reflexiviteit wel? Moet <2,2> dan ook geen onderdeel van de relatie zijn?
- 12 feb 2011, 12:22
- Forum: Hoger onderwijs - overig
- Onderwerp: Soorten relaties
- Reacties: 14
- Weergaves: 10582
Re: Soorten relaties
Wat ik me eigenlijk ook nog afvraag; is R={<1,1>, <1,2>, <2,1>} dan ook transitief bij de gratie van het paar <1,1>? Ze is in ieder geval wel symmetrisch en reflexief, toch?
- 10 feb 2011, 18:34
- Forum: Hoger onderwijs - overig
- Onderwerp: Soorten relaties
- Reacties: 14
- Weergaves: 10582
Re: Soorten relaties
[quote]
Heb ik je 'zichtveld' verruimt?
[/]
Ja, en het is ook wel logisch, anders zou R={<1,1>} nooit een equivalentierelatie kunnen zijn.
toch?
Heb ik je 'zichtveld' verruimt?
[/]
Ja, en het is ook wel logisch, anders zou R={<1,1>} nooit een equivalentierelatie kunnen zijn.
toch?
- 09 feb 2011, 18:29
- Forum: Hoger onderwijs - overig
- Onderwerp: Soorten relaties
- Reacties: 14
- Weergaves: 10582
Re: Soorten relaties
Hehe, oke, zo had ik het nog niet bekeken inderdaad
- 09 feb 2011, 18:01
- Forum: Hoger onderwijs - overig
- Onderwerp: Soorten relaties
- Reacties: 14
- Weergaves: 10582
Re: Soorten relaties
Ja, maar hoe? Zoals gezegd:
, zie ik die relatie niet, eerlijk gezegd. Om transitief te zijn als relatie zit ik met m'n gedachten meer bij iets als {<1,2>, <2,3>}.Hoe kan R transitief zijn als er, m.i. helemaal geen relatie is dit voldoet aan AxAyAz((xRy & yRz) -> xRz)?
- 09 feb 2011, 17:06
- Forum: Hoger onderwijs - overig
- Onderwerp: Soorten relaties
- Reacties: 14
- Weergaves: 10582
Re: Soorten relaties
Bekijk R: Wanneer is R transitief? Laat je definitie er op los, wat is die definitie? Voor elke x,y,z geldt dat als xRy en yRz, dan xRz. * Wel antisymmerisch. Voor elke en met en geldt uiteraard Dat klopt niet, >= is echter wel antisymmetrisch, want als a >= b en b >=a dan a=b. Ik ken de definities...
- 08 feb 2011, 17:03
- Forum: Hoger onderwijs - overig
- Onderwerp: Soorten relaties
- Reacties: 14
- Weergaves: 10582
Soorten relaties
Tijdens wat oefenen kwam ik deze vraag tegen: R, S en T zijn relaties op A = { 1,2,3 } R = {<1,1>, <2,2>, <3,3>}, S = {<1,2>, <2,1>, <3, 3>} en T = {<1,2>, <2,3>,<1,3>} Bepaal welke van deze verzamelingen a) reflexief, b) symmetrisch, c) antisymmetrisch en d) transitief zijn. Ik dacht zelf aan het v...
- 05 feb 2011, 12:58
- Forum: Hoger onderwijs - overig
- Onderwerp: Equivalentieklasse
- Reacties: 1
- Weergaves: 3108
Equivalentieklasse
Ik heb wat moeite met m'n begripsvorming rond equivalentieklassen. Ik zou hier graag mijn gedachtengang willen laten zien, met als vraag of jullie er op- en/of aanmerkingen over zouden kunnen plaatsen. Def: Voor elke a uit S stelt [a] de verzameling elementen voor uit een verzameling S waaraan a ger...
- 06 jan 2011, 13:47
- Forum: Hoger onderwijs - overig
- Onderwerp: Verzamelingenleer, bewering bewijzen
- Reacties: 2
- Weergaves: 3213
Re: Verzamelingenleer, bewering bewijzen
Thanks voor je toelichting, fijn om te zien dat ik wel een beetje op de goede weg zit
- 06 jan 2011, 12:30
- Forum: Hoger onderwijs - overig
- Onderwerp: Verzamelingenleer, bewering bewijzen
- Reacties: 2
- Weergaves: 3213
Verzamelingenleer, bewering bewijzen
Mij is gevraagd of { {x,y} | x, y in N+, (x/y) = (y/x) } = { {n} | n in N } klopt. Ik denk dat dit niet klopt, want { {n} | n in N } laat ruimte over voor de 0. De 0 kan je in principe in de eerste 'vergelijking' niet invullen, omdat de voorwaarde is dat x en y uit N+ komen, anders kun je te maken k...
- 09 dec 2010, 13:14
- Forum: Analyse & calculus
- Onderwerp: Vergelijkingen met onbekenden in exponent
- Reacties: 7
- Weergaves: 4725
Re: Vergelijkingen met onbekenden in exponent
Kan ik het geheel nu als volgt omschrijven?:
- 09 dec 2010, 12:57
- Forum: Analyse & calculus
- Onderwerp: Vergelijkingen met onbekenden in exponent
- Reacties: 7
- Weergaves: 4725
Re: Vergelijkingen met onbekenden in exponent
Oke, dat lijkt me het volgende op te leveren, klopt dat?