Wenn es gelingt, aus einer Menge von Annahmen (Prämissen) Δ eine Konklusion P herzuleiten, dann schreibt man auch .
vˌɛn ɛs ɡəlˈɪŋt, ˌaʊs ˌaɪnɜ mˈɛŋə fɔn ˈannˌɑːmən pɾˈɛːmɪsən (el)ðˈelta(de) ˌaɪnə kɔŋkluːzjˈoːn pˈeː hˈɛɾtsuːlˌaɪtən, dan ʃrˈaɪpt man ˌaʊx .