Man nennt semantisch gültige Formeln auch Tautologien und schreibt, wenn  eine Tautologie ist, formal wie folgt:
man nˈɛnt zeːmˈantɪʃ ɡˈyltɪɡə fˈɔɾməln ˌaʊx tˌaʊtoːloːɡˈiːən ʊnt ʃrˈaɪpt, vˌɛn ˌaɪnə tˌaʊtoːloːɡˈiː ɪst, fˈɔɾmɑːl viː fˈɔlkt: