Medför (logik)

Från Rilpedia

(Omdirigerad från Entails)
Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif

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:


A \Rightarrow B

Eller:

A \models B

Se även


Personliga verktyg
På andra språk