Een bewijs is niet slechts een gissing, ondersteund door bewijs. Het is een formeel argument dat de geldigheid van een propositie vaststelt. Wanneer mensen het woord bewijs gebruiken, bedoelen ze meestal iets rigoureus. Ze zijn op zoek naar een aftrek die geen twijfel laat bestaan. <\/p>\n
In de wereld van formele axiomatische systemen worden de zaken nauwkeurig. Hier wordt een bewijs gedefinieerd als een eindige reeks goedgevormde formules. Deze formules moeten de geaccepteerde formatieregels volgen. Als je de regels overtreedt, faalt de reeks als bewijs. <\/p>\n
De structuur is streng. Elke formule in de reeks moet aan een van twee criteria voldoen. Ten eerste kan het een axioma zijn. Axioma’s zijn het uitgangspunt. Ze worden zonder bewijs aanvaard. Ten tweede kan de formule worden afgeleid van eerdere formules. Deze afleiding moet een geldige gevolgtrekking gebruiken. Je kunt geen stappen overslaan. Je kunt niet aannemen wat je probeert te bewijzen. <\/p>\n
Het doel is specifiek. De allerlaatste formule in de reeks is degene die u wilt bewijzen. Alles ervoor ondersteunt die eindconclusie. Als de logica klopt, is de stelling geldig. <\/p>\n
Niet alle bewijzen berusten op dezelfde logica. Sommige zijn gebaseerd op inductief redeneren. Inductie kijkt naar patronen en maakt generalisaties. Maar in de formele logica en wiskunde duidt de term bewijs op rigoureuze deductie. Deductie gaat van algemene principes naar specifieke conclusies. Het garandeert de waarheid als de premissen waar zijn. <\/p>\n
Soms splitst een bewijs een probleem op in delen. Dit staat bekend als bewijs per geval. Deze methode wordt in sommige contexten ook wel een dilemma genoemd en behandelt complexe scenario’s door elke mogelijkheid afzonderlijk te behandelen. Je bewijst het resultaat voor geval A. Je bewijst het voor geval B. Als een van die gevallen waar moet zijn, geldt de algemene stelling. <\/p>\n
De waarde van een bewijs ligt in de zekerheid ervan. In de wetenschap stapelt het bewijs zich op. In wiskunde en logica levert een bewijs definitiefheid op. Het laat zien waarom<\/em> iets waar is. Er staat niet alleen dat het waar is. Het loopt door de trappen. Het dwingt de lezer om het eens te zijn met de conclusie. <\/p>\n Dit proces vereist discipline. Je moet de formatieregels volgen. Je moet geldige gevolgtrekkingen gebruiken. Je moet eindigen met het doelvoorstel. Als je een stap mist, stort het bewijs in. Als u een ongeldige gevolgtrekking gebruikt, is het resultaat zinloos. <\/p>\n Dus, hoe schrijf je er een? Je begint met axioma’s. Je past gevolgtrekkingsregels toe. Jij bouwt de reeks op. Je controleert elke stap. Je hoopt dat de laatste formule overeenkomt met wat je wilde bewijzen. Het is een mechanisch proces. Maar het leidt tot diepgaande waarheden. <\/p>\n Waarom doet dit er toe? Omdat het geloof onderscheidt van kennis. In het dagelijks leven accepteren we dingen op basis van vertrouwen. In de logica accepteren we dingen op basis van bewijs. Het verschil is groot. E\u00e9n ervan is subjectief. De andere is objectief. <\/p>\n Heeft elke vraag een bewijs? Nee. Sommige stellingen zijn binnen een bepaald systeem onbeslisbaar. Maar voor degenen die bewezen kunnen worden, is de methode duidelijk. Het is een eindige reeks. Het is rigoureus. Het is geldig. <\/p>\n De geschiedenis van de logica is gevuld met debatten over wat als bewijs geldt. Verschillende systemen hebben verschillende axioma’s. Verschillende regels voor gevolgtrekking. Maar het kernidee blijft. Een bewijs bevestigt de geldigheid. Het verbindt het bekende met het onbekende. Het slaat een brug van axioma naar conclusie. <\/p>\n Voor studenten en levenslang lerenden is het begrijpen van deze structuur van cruciaal belang. Het verandert de manier waarop je problemen benadert. Je stopt met zoeken<\/p>\n","protected":false},"excerpt":{"rendered":" Een bewijs is niet slechts een gissing, ondersteund door bewijs. Het is een formeel argument dat de geldigheid van een propositie vaststelt. Wanneer mensen het woord bewijs gebruiken, bedoelen ze meestal iets rigoureus. Ze zijn op zoek naar een aftrek die geen twijfel laat bestaan. In de wereld van formele axiomatische systemen worden de zaken […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"tdm_status":"","tdm_grid_status":""},"categories":[50],"tags":[],"wpm_language_slugs":{"cs":"jak-logicky-dukaz-stanovi-pravdu-v-matematice-a-logice","de":"wie-ein-logischer-beweis-die-wahrheit-in-mathematik-und-logik-beweist","en":"how-a-logical-proof-establishes-truth-in-math-and-logic","es":"como-una-prueba-logica-establece-la-verdad-en-matematicas-y-logica","fr":"comment-une-preuve-logique-etablit-la-verite-en-mathematiques-et-en","id":"bagaimana-bukti-logis-menetapkan-kebenaran-dalam-matematika-dan-logika","it":"come-una-dimostrazione-logica-stabilisce-la-verita-in-matematica-e","nl":"hoe-een-logisch-bewijs-de-waarheid-in-wiskunde-en-logica-vaststelt","pl":"jak-dowod-logiczny-ustala-prawde-w-matematyce-i-logice","pt":"como-uma-prova-logica-estabelece-a-verdade-em-matematica-e-logica","ru-ru":"kak-logicheskoe-dokazatelstvo-ustanavlivaet-istinnost-v-matematike-i","uk-ua":"jak-logichnij-dokaz-vstanovljuye-istinnist-u-matematitsi-ta-logitsi"},"amp_enabled":true,"_links":{"self":[{"href":"https:\/\/www.schooler.org.ua\/nl\/wp-json\/wp\/v2\/posts\/8001"}],"collection":[{"href":"https:\/\/www.schooler.org.ua\/nl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.schooler.org.ua\/nl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/nl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/nl\/wp-json\/wp\/v2\/comments?post=8001"}],"version-history":[{"count":0,"href":"https:\/\/www.schooler.org.ua\/nl\/wp-json\/wp\/v2\/posts\/8001\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.schooler.org.ua\/nl\/wp-json\/wp\/v2\/media?parent=8001"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/nl\/wp-json\/wp\/v2\/categories?post=8001"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/nl\/wp-json\/wp\/v2\/tags?post=8001"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}