Slutledning

Från Wikipedia
Hoppa till: navigering, sök

En slutledning är en process, vid vilken man från ett antal premisser och i kraft av en slutledningsregel framställer en slutsats.

En slutledning är giltig då slutsatsen följer av premisserna. Slutsatsen S, sägs följa av premisserna P1....Pnkonjunktionen av dessa tautologt implicerar slutsatsen, vilket med symboler kan uttryckas som:

P1....Pn \vdash S.

Härav följer att slutsatsen S är sann då premisserna är sanna, men om någon av dessa är falsk kan, även om slutledningen är giltig, slutsatsen vara falsk.

En härledning brukar beskrivas som en serie av slutledningar.

Se även[redigera | redigera wikitext]

Källor[redigera | redigera wikitext]

  • G. Hunter, Metalogic, MacMillan 1971.
  • P. Suppes, Introduction to Logic, Van Nostrand 1957.
  • Georg Henrik von Wright, Logik, filosofi och språk, Berlingska Lund 1957.