Penyelesaian
Tidak semua pasangan dalam D×K benar, melainkan hanya sebagian saja. Salah satu pernyataan benar yang dapat dihasilkan adalah:
B berada sebelum D dalam urutan abjad bahasa Indonesia.
Yang berkaitan dengan pasangan berurutan (B, D).
Dalam pelajaran logika matematika kamu telah berkenalan dengan istilah penyelesaian. Penyelesaian adalah pengganti variabel yang membuat kalimat terbuka menjadi pernyataan yang benar. Karena pasangan berurutan (B, D) membuat kalimat terbuka u(x, y) menjadi pernyataan benar, maka (B, D) adalah penyelesaian bagi kalimat terbuka tersebut.
Berikutnya: Himpunan penyelesaian