Kategorier
Uncategorized

Bevisföring


Det finns tre typer av bevis som används i matematiken:
1. Direkta bevis
2. Indirekta bevis
3. Motsägelsebevis

Direkta bevis innebär att man rakt fram bevisar att P – > Q.

Indirekta bevis innebär att man bevisar att icke-Q medför icke-P.
Då har man också visat att P —-> Q.

Motsägelsebevis innebär att man antar motsatsen till vad som skall visas och sedan visar att detta leder till en motsägelse.

Logiken kan sägas vara förmåga. Att dra rätt slutsatser ur givna premisser (syllogism). I klassisk logik kan ett påstående antingen vara sant eller inte. Det finns inget tredje alternativ.

Av mattelararen

Licentiate of Philosophy in atomic Physics
Master of Science in Physics

Kommentera

Fyll i dina uppgifter nedan eller klicka på en ikon för att logga in:

WordPress.com Logo

Du kommenterar med ditt WordPress.com-konto. Logga ut /  Ändra )

Google-foto

Du kommenterar med ditt Google-konto. Logga ut /  Ändra )

Twitter-bild

Du kommenterar med ditt Twitter-konto. Logga ut /  Ändra )

Facebook-foto

Du kommenterar med ditt Facebook-konto. Logga ut /  Ändra )

Ansluter till %s