Je hebt A afgeleid maar je hebt blijkbaar ook ¬A kunnen afleiden. Dit geeft een tegenspraak en uit een tegenspraak mag je alles concluderen. Je kunt inderdaad geen nuttige conclusie trekken uit twee afleidingen die met elkaar in tegenspraak zijn dus je kunt net zo goed een conclusie B concluderen. Maar het verkrijgen van een falsum kan soms best handig zijn in je bewijsvoering hoorquote:Op donderdag 19 januari 2006 19:30 schreef soylent het volgende:
Hmmm, ik denk dat ik een beetje op die contra begin te spacen.
Als er een contradictie voorkomt in de hypothesen, dan zal het niet uitmaken wat er verder nog wordt afgeleid onder die hypothesen, aangezien die tak van beredenering een soort 'bizarro world' is die nooit 'afgevuurd' zal worden. Die tak zal dus nooit bijdragen aan het bewijzen/afwijzen van je verdere afleiding, dus je mag als conclusie neerzetten wat jou verder goed uitkomt?
Trippy shit... [afbeelding]
Ja.quote:Op donderdag 19 januari 2006 19:14 schreef soylent het volgende:
Ik vrees dat dit een iets te korte uitleg is... Bedoel je dat als ik eenmaal een contradictie kan afleiden onder een bepaalde hypothese, dat ik dan alles hieruit kan afleiden?
Vul maar voor A falsum in.quote:En wat heeft dit te maken met de A->B implicatie wat je in de tweede zin zegt? A->B is inderdaad equivalent aan !A v B maar hoe is dat belangrijk voor 'contra'?
Maar het ging nu toch gewoon om het concluderen van elke conclusie B uit A en ¬A, de implicatie werd er gewoon bijgehaald om dat uit te leggenquote:Op donderdag 19 januari 2006 20:21 schreef speknek het volgende:
Misschien is dit wat makkelijker (en correcter, want ik weet niet of je zomaar aan A->B komt):
[afbeelding].
De disjunctie introductie.
Dus als je eerst zegt
1. A (ass.)
2. !A (ass.)
3. A \/ B (disjunctie introductie op 1)
4. B (volgt uit 3 en 4)
En dit kun je natuurlijk voor alles doen.
Hmm nee. Je kunt een disjunctie wel introduceren, maar niet zomaar elimineren (in tegenstelling tot een conjunctie, die je wel kunt elimineren maar niet zomaar introduceren). Uit A \/ B volgt gegeven A niet B. Uit A \/ B gegeven niet A volgt wel B.quote:Op donderdag 19 januari 2006 22:46 schreef fallrite het volgende:
Maar het ging nu toch gewoon om het concluderen van elke conclusie B uit A en ¬A, de implicatie werd er gewoon bijgehaald om dat uit te leggenOok is stap 2 in je bewijs hierboven niet nodig want je kunt gelijk stap 3 doen na 1 (en je gebruikt ass. 2 niet, die je kan gebruiken voor het concluderen van 4 uit 1 en 2). Het is wel correct wat je doet maar toch
Owhquote:Op donderdag 19 januari 2006 22:52 schreef speknek het volgende:
[..]
Hmm nee. Je kunt een disjunctie wel introduceren, maar niet zomaar elimineren (in tegenstelling tot een conjunctie, die je wel kunt elimineren maar niet zomaar introduceren). Uit A \/ B volgt gegeven A niet B. Uit A \/ B gegeven niet A volgt wel B.
Als je een functie primitiveert, hoor je altijd eerst de primitieve uit te rekenen en daarna pas de grenzen in te vullen, anders gaat het fout. Lineaire functies zijn wat dat betreft een beetje een uitzondering, daar kun je ook met logisch nadenken een heel eind komen.quote:Op woensdag 18 januari 2006 21:07 schreef bierglas het volgende:
tekst
Met de onder tafel geveegde aanname dat man/vrouw 50/50 is zeker?quote:Op vrijdag 20 januari 2006 20:17 schreef Triple_T het volgende:
k kom niet uit deze opgave...Please somebody help.
Om de respons op een enquete te vergroten, zijn 10 bonnen uitgeloofd en verloot onder 286 jongeren die de vragenlijst ingevuld hebben ingeleverd. Ieder van die jongeren kan hoogtens 1 bon winnen.
Hoe groot is de kans dat zich 4 vrouwen bevinden onder de 10 winnaars?
Antwoord is : ??
----------------------------------
ik kom er niet uit..
Ik bedoel gewoon dat de verdeling van man/vrouw onder de 286 jongeren gewoon 50% man, 50% vrouw isquote:Op vrijdag 20 januari 2006 20:37 schreef Triple_T het volgende:
ik denk dat ik 1 cijfer mis.. en dat hij daarom niet uitkomt. 50/50 werkt niet:S
Is alweer tijdje geleden, maar volgens mij moet je gebruik maken van de binomiale verdeling. Met rekenmachine binompdf() of binomium van newton gebruiken. Het feit dat er 286 deelnemers zijn is niet van belang, er van uitgaande dat het geslacht geen invloed heeft op de winkans.quote:Op vrijdag 20 januari 2006 20:17 schreef Triple_T het volgende:
k kom niet uit deze opgave...Please somebody help.
Om de respons op een enquete te vergroten, zijn 10 bonnen uitgeloofd en verloot onder 286 jongeren die de vragenlijst ingevuld hebben ingeleverd. Ieder van die jongeren kan hoogtens 1 bon winnen.
Hoe groot is de kans dat zich 4 vrouwen bevinden onder de 10 winnaars?
Antwoord is : ??
----------------------------------
ik kom er niet uit..
Nou... dat weet ik niet zo zeker. Je doet nl. 10 pakkingen zónder teruglegging, oftewel: elke keer verandert de verhouding man/vrouw een klein beetje. Hoe groter de groep, hoe minder dit uitmaakt, maar bij 286 zou het nog best eens significant kunnen zijn.quote:Op zaterdag 21 januari 2006 12:54 schreef Oscar_de_Grouch het volgende:
[..]
Het feit dat er 286 deelnemers zijn is niet van belang, er van uitgaande dat het geslacht geen invloed heeft op de winkans.
Ehm, maar van die groep weet je al niet hoe hij samengesteld is. Lijkt me dat je het op moet vatten als een deel van de grotere groep jongeren (onbekende grootte, dus gokken we op oneindigquote:Op zaterdag 21 januari 2006 21:35 schreef Lathund het volgende:
[..]
Nou... dat weet ik niet zo zeker. Je doet nl. 10 pakkingen zónder teruglegging, oftewel: elke keer verandert de verhouding man/vrouw een klein beetje. Hoe groter de groep, hoe minder dit uitmaakt, maar bij 286 zou het nog best eens significant kunnen zijn.
Volgens mij moet het antwoord toch echt 0.207252 zijn.quote:Op zondag 22 januari 2006 11:46 schreef Triple_T het volgende:
Deze opgave is zoiezo hypergeometrisch.. met de reden wat lathund zegt.
Het antwoord moet zijn 0,1505
Maar hoe komen we daaraan?
En daar komt 0.205078 uit...quote:Op zondag 22 januari 2006 15:15 schreef Oscar_de_Grouch het volgende:
(10 C 4) * (.5)4 * (.5)6
Dit dan?
Bah wat heb ik een hekel aan combinatoriek.
| Forum Opties | |
|---|---|
| Forumhop: | |
| Hop naar: | |