Medför (logik)

Från Rilpedia

Texten från svenska Wikipedia

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

 Denna artikel om logik är bara påbörjad. Du kan hjälpa till genom att utöka den.