Sind F und G zwei (nicht notwendigerweise unterschiedliche) Formeln, so ist auch (F ↔ G) eine Formel.(Diese
zɪnt ˈɛf ʊnt ɡˈeː tsvˈaɪ nˈɪçt nˈoːtvɛndˌɪɡɜvˌaɪzə ˌʊntɜʃˈiːtlɪçə fˈɔɾməln, zoː ɪst ˌaʊx ˈɛf pfˈaɪl nɑːx lˈɪŋks ʊnt rˈɛçts ɡˈeː ˌaɪnə fˈɔɾməl.dˌiːzə