Från Rilpedia

I logik är begreppet medför (en. entails) en relation mellan två uppsättningar formler i ett formellt språk. Om A och B är två uppsättning formler i det formella språket, så följer B av A, dvs A medför B, om en interpretering som gör alla formler i A sanna gör formlerna/formeln i B sanna/sann. Symboliskt skrivs detta som:

Eller:

Se även

• Härledningsbegrepp