03 Semantikk for utsagnslogikk

Question 1

sannhetsverdier

Answer 1

Vi lar 1 og 0 stå for sannhetsverdiene (eng: truth values) sann (eng: true) og usann (eng: false).

Question 2

valuasjon

Answer 2

En valuasjon (eng: valuation) er en tilordning av sannhetsverdier til alle utsagnslogiske formler som er slik at tabellene i definisjon 3.2 overholdes.

Question 3

sannhetsverditabell

Answer 3

En sannhetsverditabell (eng: truth table) er en tabell som forteller hva sannhetsverdien til en sammensatt utsagnslogisk formel er på bakgrunn av hvilke sannhetsverdier som er tilordnet utsagnsvariablene.

Question 4

logisk ekvivalens

Answer 4

To formler F og G er logisk ekvivalente (eng: logically equivalent) hvis de har samme sannhetsverdi for enhver tilordning av sannhetsverdier til utsagnsvariablene.

Hvis F og G er logisk ekvivalente, må alle valuasjoner som gjør F sann, også gjøre G sann.

F ⇔ G