03 Semantikk for utsagnslogikk Flashcards
3.1 Sannhetsverdier
Vi lar 1 og 0 stå for sannhetsverdiene sann og usann.
3.2 Tolkning av utsagnslogiske formler
Hvis sannhetsverdiene til F og G er gitt, er sannhetsverdien til ¬F, (F ∧ G), (F ∨ G) og (F → G) som gitt i følgende tabeller, som viser hvordan konnektivene skal tolkes:
3.3 Valuasjon
En tilordning av sannhetsverdier til alle utsagnslogiske formler som er slik at tabellene i definisjon 3.2 overholdes, kalles en valuasjon.
3.4 Sannhetsverditabell
En sannhetsverditabell er en tabell som forteller hva sannhetsverdien til en sammensatt utsagnslogisk formel er på bakgrunn av hvilke sannhetsverdier som er tilordnet utsagnsvariablene.
3.5 Logisk ekvivalens
To formler F og G er logisk ekvivalente, eller bare ekvivalente, hvis de har samme sannhetsverdi for enhver tilordning av sannhetsverdier til utsagnsvariablene. Sagt på en annen måte: alle valuasjoner som gjør F sann, må gjøre G sann, og vice versa. Vi skriver F ⇔ G når F og G er logisk ekvivalente.
