Øv med flashcards — Utsagnslogikk: syntaks, semantikk og entailment

Grunnlaget for modellsjekking: alle modellene til $\alpha$ må også være modeller av $\beta$. Vanlig feil er å sjekke radene der $\beta$ er sann, i stedet for radene der $\alpha$ er sann.