Inte bevisat sätt
ett bevisat. den|det|de bevisade.
- Sveriges största sökmotor för det svenska språket. Över 95 uppslag med synonymer, motsatsord, definitioner, betoningar, böjningar samt uttal. Ett bevis eller mer generellt en härledning , är en följd av slutledningar , vilka från bestämda axiom och givna premisser leder fram till en slutsats. I matematiken kallas ett påstående som formellt kan bevisas, för ett teorem eller en sats. Ett påstående, som är obevisat, kallas för en förmodan.
Hjälpsatser, som används vid bevisföringen kallas för lemman.
När är något vetenskapligt bevisat?
I praktiken är bevisföring en kompromiss mellan stringens och enkelhet. Det har i matematikhistorien vid flera tillfällen hänt, att fel upptäckts i publicerade bevisförsök för satser , som tidigare betraktats som giltiga. Beviset för fyrfärgssatsen var under en period kontroversiellt eftersom det innehöll för tiden nya datorberoende kontrollmetoder, men numera accepteras dessa. Ett matematiskt bevis [ 1 ] kan inte jämföras med bevis i andra vetenskaper, vars grundsatser kan förändras.
I logiken studeras bevis ingående. Matematiska bevis kan formaliseras till en följd av små argumentationssteg. Inom ramen för första ordningens logik kan man definiera dessa exakt och få vad man kallar ett härledningssystem. Ett sådant system har ett antal slutledningsregler , som motsvarar vart och ett av argumentationsstegen. En härledning i denna mening består av en ändlig följd av formler F 0 , F 1 , F 2 , För varje slutledning i härledningen, preciseras från vilka formler den följer.
Den sista formeln F n är härledningens slutsats konklusion. F 0 och F 1 är härledningens premisser, dvs de påståenden som argumentationen utgår ifrån. F 2 är härledningens konklusion. Att F 2 följer ur F 0 och F 1 borde vara klart för alla som betraktar härledningen.
Är evidensbaserade terapier överreklamerade?
Den härledningsregel som tillåter oss dra slutsatsen F 2 ur F 0 och F 1 kallas universell specifikation. Observera att F 0 är falsk, eftersom det jämna talet 2 är ett primtal. Detta faktum hindrar dock inte härledningen från att vara korrekt. Minns att en härledning är en argumentationskedja som garanterar att slutsatsen håller, förutsatt vissa premisser. Alltså är det sant att säga att p verkligen är udda under de givna antagandena.
Om premissernas sanningshalt är oviss kallas konklusionen petitio principii , vilket är ett materiellt bevisfel och leder till att beviset inte är bindande. Observera även att man behöver inte alls förstå betydelsen av begreppen "primtal" och "udda" för att inse att härledningen är korrekt. Man hade likaväl kunna byta ut dessa termer mot några mer generella:. Detta är en korrekt härledning av vilken den tidigare är ett specialfall.
Det som spelar roll för om en härledning är korrekt eller ej är alltså härledningens form , och inte betydelsen av de ingående termerna. I ett direkt bevis används axiom , definitioner och tidigare kända satser för att bevisa den eftersökta satsen. I ett indirekt eller kontrapositivt bevis bevisar man ett påstående på formen "om p så q " genom att använda kontraposition och bevisa det ekvivalenta påståendet "om icke- q så icke- p ".
Det är ett slags motsägelsebevis. I ett motsägelsebevis antar man motsatsen till vad man vill bevisa och visar att detta leder till en motsägelse, alltså måste påståendet man började med vara sant. Ett känt exempel är beviset till att kvadratroten ur 2 är irrationellt :. Vid ett induktionsbevis bevisas påståendet först för ett grundfall. Sedan används en induktionsregel för att bevisa att ett stort antal ofta oändligt fall är giltiga.
I ett induktionsbevis över de naturliga talen behöver man då visa två saker:. Ett exempel på felaktigt användande av induktion är paradoxen alla hästar har samma färg. Ett existensbevis eller ett icke-konstruktivt bevis slår fast att det existerar objekt med en viss egenskap utan att visa hur dessa objekt kan konstrueras. Icke-konstruktiva bevis är ofta motsägelsebevis där icke-existensen av något objekt visas vara omöjligt.
Ett konstruktivt bevis visar en metod att hitta objekten i fråga. I ett elementärt bevis används endast grundläggande begrepp och används speciellt inom talteori för bevis som inte använder komplexanalytiska metoder. Vissa resultat, som primtalssatsen , bevisades först med hjälp av icke-elementära metoder för att senare få ett elementärt bevis. Ibland går det att bevisa att ett påstående INTE går att bevisa eller motbevisa utgående från de givna premisserna, se till exempel kontinuumhypotesen.
I alla logiska system som innefattar de naturliga talen går det att formulera påståenden som kräver lika många argumentationssteg som de naturliga talen för att bevisas eller motbevisas. Då antalet argumentationssteg är oändligt blir påståendet i praktiken obevisbart.