Um aus diesen Axiomen auch solche gültigen Sätze herleiten zu können, die andere als die in den Axiomen vorkommende Junktoren enthalten, werden diese durch folgende Festlegung auf die vorhandenen Junktoren zurückgeführt:
ʊm ˌaʊs dˌiːzən ˈaksɪˌoːmən ˌaʊx zˈɔlçə ɡˈyltɪɡən zˈɛtsə hˈɛɾlaɪtən tsuː kˈœnən, diː ˈandərə als diː ɪn deːn ˈaksɪˌoːmən fˈoːɾkˌɔməndə jʊŋktˈoːrən ɛnthˈaltən, vˌɛɾdən dˌiːzə d??ç fˈɔlɡəndə fˈɛstlˌeːɡʊŋ aʊf diː fˈoːɾhˌandənən jʊŋktˈoːrən tsuːrˈykɡəfˌyːɾt: