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.