Medför (logik)
Från Rilpedia
(Omdirigerad från Entails)
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:
