S1:n ja -S1:n välillä vallitsee looginen ristiriita, eivätkä ne voi olla siten samaan aikaan voimassa
S1:n ja -S1:n välillä vallitsee looginen ristiriita, eivätkä ne voi olla siten samaan aikaan voimassa
myös S2:n ja -S2:n välillä vallitsee looginen ristiriita
S1 ja S2 ovat toistensa vastakohtia, samoin -S1 ja -S2
mallissa arvotetaan S1 ja -S2 positiivisiksi ja S2 ja -S1 negatiivisiksi