Eine Formel der aussagenlogischen Sprache heißt genau dann semantisch gültig, wenn die Formel unter allen Interpretationen – d. h. unter allen Zuordnungen von Wahrheitswerten zu den in ihr vorkommenden Atomen – wahr ist;
ˌaɪnə fˈɔɾməl dɛɾ ˈaʊszˌɑːɡənlˌoːɡɪʃən ʃpɾˈɑːxə hˈaɪst ɡənˈaʊ dan zeːmˈantɪʃ ɡˈyltɪç, vˌɛn diː fˈɔɾməl ˌʊntɜ ˈalən ˌɪntɜpɾˌeːtatsjˈoːnən dˈeː. hˈɑː. ˌʊntɜ ˈalən tsˈuːɔɾdnˌʊŋən fɔn vˈɑːɾhaɪtsvˌeːɾtən tsuː deːn ɪn iːɾ fˈoːɾkˌɔməndən atˈoːmən vˈɑːɾ ɪst;