Um auszudrücken, dass aus einer Menge  von Formeln (der Prämissenmenge) eine Formel  (die Konklusion) semantisch folgt, schreibt man formal wie folgt:
ʊm ˈaʊstsuːdɾˌykən, das ˌaʊs ˌaɪnɜ mˈɛŋə fɔn fˈɔɾməln dɛɾ pɾˈɛːmɪsˌɛnmɛŋə ˌaɪnə fˈɔɾməl diː kɔŋkluːzjˈoːn zeːmˈantɪʃ fˈɔlkt, ʃrˈaɪpt man fˈɔɾmɑːl viː fˈɔlkt: