Diese Definition muss natürlich ebenfalls formal gefasst werden, und das geschieht wie folgt: Ein Argument ist genau dann semantisch gültig, wenn alle Zuordnungen von Wahrheitswerten zu den in Prämissen und Konklusion vorkommenden Atomen, unter denen die Bewertungsfunktion für alle Prämissen den Wert wahr liefert, auch für die Konklusion den Wert wahr liefert.
dˌiːzə dˌeːfiːniːtsjˈoːn mˈʊs nɑːtˈyːɾlɪç ˈeːbənfˌals fˈɔɾmɑːl ɡəfˈast vˌɛɾdən, ʊnt das ɡəʃˈiːt viː fˈɔlkt: aɪn ˌaɾɡuːmˈɛnt ɪst ɡənˈaʊ dan zeːmˈantɪʃ ɡˈyltɪç, vˌɛn ˈalə tsˈuːɔɾdnˌʊŋən fɔn vˈɑːɾhaɪtsvˌeːɾtən tsuː deːn ɪn pɾˈɛːmɪsən ʊnt kɔŋkluːzjˈoːn fˈoːɾkˌɔməndən atˈoːmən, ˌʊntɜ deːnən diː bəvˌɛɾtʊŋsfʊŋktsjˈoːn fyːɾ ˈalə pɾˈɛːmɪsən deːn vˈɛɾt vˈɑːɾ lˈiːfɜt, ˌaʊx fyːɾ diː kɔŋkluːzjˈoːn deːn vˈɛɾt vˈɑːɾ lˈiːfɜt.