Alt alta yazma kuralı çatal açma kuralına göre önceliklidir.

Tümel özelleme kuralı tikel özelleme kuralına göre önceliklidir.

Nicelemeli bir sembolik önermenin geçerli olduğunu göstermek için önermenin değilinin model oluşturma kurallarına göre oluşturulan tamamlanmış çözümleyici çizelgesinin kapalı olması gerekir.

İki önermenin niceleme mantığı bakımından eşdeğer olduğunu göstermek bu iki önermenin karşılıklı koşullu önermesinin niceleme mantığında geçerli olduğunu göstermek demektir.

Tikel özelleme yaparken yeni bir örnek kullanmak gerekir.