Tautolog implikation

Tautolog implikation är inom logiken en tautologi, där huvudoperationen är en materiell implikation. En formel F sägs tautologt implicera formeln G, om och endast om implikationen F → G är en tautologi.

I ett formellt system sägs en slutsats vara en syntaktisk konsekvens av ett antal premisser, om och endast om den tautologt impliceras av dessa. Slutsatsen S, sägs följa av premisserna P1 ... Pn då konjunktionen av dessa tautologt implicerar slutsatsen, vilket med symboler kan uttryckas som:

P 1 … P n   ⊢   S {\displaystyle P_{1}\dots P_{n}\ \vdash \ S}

Se även

  • Deduktion
  • Konsekvens (logik)
  • Medför (logik)

Källor

  • Geoffrey Hunter, Metalogic. An Introduction to the Metatheory of Standard First-order Logic, MacMillan, London 1971.
  • Göran Hermeren, Logik, Studentlitteratur, Lund 1967.