Direkt bevis

Från Wikipedia

Hoppa till navigering Hoppa till sök

I matematik och logik är ett direkt bevis, en deduktion av ett påstående, som enbart bygger på teorins axiom, lemman och teorem.

Se även[redigera | redigera wikitext]

Källor[redigera | redigera wikitext]

Philosophy of Natural Science, Carl Gustav Hempel, Studentlitteratur, Lund 1977.

v • r Logiska begrepp

Sats	Påståendesats · Lexikon · Formel · Påstående · Utsaga

Mening	Tautologi · Kontradiktion · Motsägelse

Sanning	Sanningsvärde · Sanningsfunktion · Sanningsvärdetabell · T-schema

Deduktion	Härledningssystem · Slutledningsregel · Modus ponens · Modus tollens · Kontraposition · Reductio ad absurdum-regeln · Syllogism · Premiss · Slutsats · Induktion · Kausalitet · Argumentation

Bevis	Bevisteori · Direkt bevis · Indirekt bevis · Induktionsbevis

Hypotes	Hypotesprövning · Nollhypotes · Antagande · Förmodan · Ad hoc

Formella språk	Formellt system · Syntax · Semantik · Definition · Axiom · Teorem

Modellteori	Struktur · Kontext · Interpretering

Härledningsbegrepp	Fullständighet · Falsifierbarhet · Falsifikation · Sundhet · Giltighet

Latinska begrepp	A priori · A posteriori · Ad hoc

Övrigt	Ontologi · Empiri

Se även: Entropi · Information · Kunskap

Denna logik- och matematik-relaterade artikel saknar väsentlig information. Du kan hjälpa till genom att lägga till den.

Hämtad från "https://sv.wikipedia.org/w/index.php?title=Direkt_bevis&oldid=30569614"

Argument inom logik

Dolda kategorier: