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 P₁ ... P_n då konjunktionen av dessa tautologt implicerar slutsatsen, vilket med symboler kan uttryckas som:

$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.