| Apakah susunan sah? | Bangun dari atom/term dengan aturan sintaktik |
| Nilai pada satu keadaan | Lengkapi interpretasi, hitung dari dalam |
| Semua kemungkinan proposisional | Tabel baris atau pohon yang meliputi semua kasus |
| Valid | Andaikan salah; semua cabang harus mustahil |
| Tidak valid | Berikan satu interpretasi yang membuat salah |
| Satisfiable | Berikan satu model yang membuat benar |
| Contradictory | Andaikan benar; tunjukkan kemustahilan umum |
| E implies F | Cari apakah E=B,F=S mungkin |
| E equivalent F | Periksa nilai sama pada semua interpretasi |
| Kumpulan consistent | Satu model bersama membuat semua benar |
| Semua / ada | Semua anggota / satu saksi; perhatikan urutan kuantifier |
| Closure | Ikat semua variabel bebas dari ekspresi yang tepat |
| Substitusi | Cocokkan struktur dan lokasi; total/parsial; serentak/berurutan |
| Substitusi aman | Hindari penangkapan variabel; rename pengikat bila perlu |