Medför (logik)

A medför B är generellt synonymt med, att B är en följd av A eller att B har A till förutsättning. Mer preciserat är betydelsen, att det finns en giltig slutledning sådan att slutsatsen B följer av premisserna A.

Härledningsbegrepp
Medför - Följer av Bevis – Bevisbarhet Giltig - Giltighet Sund - Sundhet Konsekvent - Konsekvens Fullständig – Fullständighet Teorem Tautologi Kontradiktion Konträra satser Deduktion - Härledbarhet
Närliggande begrepp
Implikation Logisk sanning Sanning Motsägelse
Denna tabell: visa • redigera

I formella system sägs A medföra B, om B är en syntaktisk följd av A, det vill säga att A tautologt implicerar B. I modellteorin sägs A medföra B, om A semantiskt implicerar B.

Symboliskt uttrycks, att A syntaktiskt implicerar B som ${\displaystyle A\vdash B}$ och att A semantiskt implicerar B som ${\displaystyle A\models B}$.

Se även

• Deduktion
• Implikation
• Satslogik
• Teorem
• Teorem (logik)
• Härledningsbegrepp

Källor

• Geoffrey Hunter, Metalogic. An Introduction to the Metatheory of Standard First-Order Logic, MacMillan, London 1971.