Archief - [Logica] Bewijzen
Het archief is een bevroren moment uit een vorige versie van dit forum, met andere regels en andere bazen. Deze posts weerspiegelen op geen enkele manier onze huidige ideeën, waarden of wereldbeelden en zijn op sommige plaatsen gecensureerd wegens ontoelaatbaar. Veel zijn in een andere tijdsgeest gemaakt, al dan niet ironisch - zoals in het ironische subforum Off-Topic - en zouden op dit moment niet meer gepost (mogen) worden. Toch bieden we dit archief nog graag aan als informatiedatabank en naslagwerk. Lees er hier meer over of start een gesprek met anderen.
Tweak37
Legacy Member
Er zijn twee mogelijkheden: ofwel probeer je via elementaire redeneervormen de conclusie uit de premissen af te leiden, ofwel probeer je een tegenvoorbeeld te vinden door de conclusie te ontkennen. In (b) kun je met het hypothetisch syllogisme (als ik me niet vergis) makkelijk de implicatie bewijzen. (a) is natuurlijk vals en dan is het kwestie van een tegenvoorbeeld te geven: ontken de conclusie en via simplificatie is eenvoudig aan te tonen dat een tegenvoorbeeld bestaat.
Tweak37
Legacy Member
(a) maar effe uitgewerkt:
1 pad blijft open ondanks dat premisse en conclusie gecontroleerd zijn: niet geldig.
Het tweede kan gewoon met elementaire redeneervormen bewezen worden (en is zo simpel dat ik hem hier niet ga zetten). Het nadeel van valse implicaties is uiteraard dat hun onjuistheid op die manier niet kan worden bewezen, want zoals elke logicus weet: ex falso sequitur quodlibet.
Code:
(1) x EN y (premisse)
(2) N[x EN (y EN z)] (ontkenning conclusie)
(3) x (simpl 1)
(4) y (simpl 1)
(5) Nx OF Ny OF Nz (DM 2)
X X1 pad blijft open ondanks dat premisse en conclusie gecontroleerd zijn: niet geldig.
Het tweede kan gewoon met elementaire redeneervormen bewezen worden (en is zo simpel dat ik hem hier niet ga zetten). Het nadeel van valse implicaties is uiteraard dat hun onjuistheid op die manier niet kan worden bewezen, want zoals elke logicus weet: ex falso sequitur quodlibet.
Het archief is een bevroren moment uit een vorige versie van dit forum, met andere regels en andere bazen. Deze posts weerspiegelen op geen enkele manier onze huidige ideeën, waarden of wereldbeelden en zijn op sommige plaatsen gecensureerd wegens ontoelaatbaar. Veel zijn in een andere tijdsgeest gemaakt, al dan niet ironisch - zoals in het ironische subforum Off-Topic - en zouden op dit moment niet meer gepost (mogen) worden. Toch bieden we dit archief nog graag aan als informatiedatabank en naslagwerk. Lees er hier meer over of start een gesprek met anderen.