6. Ja, det är sant. Följer direkt av att en tillståndsbeskrivning definieras som en mängd av attributpåståenden och typpåståenden. Vidare kan ingenting samtidigt vara ett typpåstående och ett attributpåstående.

7. kvinna(mary).

pilot(mary).

8. T = PERSON, a = gift_med

10. Ja.

11. Insättning på konto, uttag på konto, öppnande av konto, spärrning av konto

12. a) Statisk deontisk konsistensregel

b) Statisk härledningsregel

c) Statisk deontisk konsistensregel

d) Dynamisk deontisk konsistensregel

e) Statisk nödvändig konsistensregel