Logik Medför: Härledning
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 |
|---|
| Närliggande begrepp |
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 och att A semantiskt implicerar B som .
Se även
Källor
- Geoffrey Hunter, Metalogic. An Introduction to the Metatheory of Standard First-Order Logic, MacMillan, London 1971.
This article uses material from the Wikipedia Svenska article Medför (logik), which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Innehållet är tillgängligt under CC BY-SA 4.0 om ingenting annat anges. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Svenska (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.