Tentu saja pernyataan itu benar. Persegi adalah bangun datar bersisi 4 dengan 4 sudut siku-siku dan 4 sisi yang sama panjang, sedangkan persegi panjang adalah bangun datar bersisi 4 dengan 4 sudut siku-siku.
Namun, ketika mempertimbangkan pernyataan universal seperti ini, yang kita maksud adalah bahwa apa pun yang kita “substitusikan” untuk variabel (“bangun tersebut” dalam kasus ini), pernyataan yang dihasilkan bernilai benar. Ketika pernyataan itu membahas suatu bangun tertentu, kita memiliki implikasi
\(P \imp Q\text{.}\) Artinya, harus benar bahwa jika bangun di sebelah kiri merupakan persegi, maka bangun itu merupakan persegi panjang. Bagus. Bangun itu merupakan persegi (
\(P\) benar) dan merupakan persegi panjang (
\(Q\) benar), jadi implikasinya memang benar.
Apakah implikasi tersebut benar untuk persegi panjang di tengah? Bangun itu bukan persegi (
\(P\) salah), dan bangun itu merupakan persegi panjang (
\(Q\) benar). Namun, kita meyakini bahwa semua persegi adalah persegi panjang, sehingga pernyataan tersebut harus benar, bahkan untuk sebuah persegi panjang. Hal ini hanya mungkin jika “salah mengimplikasikan benar” bernilai benar!
Demikian pula, semua persegi adalah persegi panjang merupakan pernyataan yang benar, bahkan ketika kita melihat sebuah segitiga.
\(P\) salah (segitiga bukan persegi), dan
\(Q\) salah (segitiga bukan persegi panjang). Untungnya, kita mendefinisikan implikasi sebagai benar dalam kasus ini juga.
Kita telah memberikan bangun-bangun yang menggambarkan baris 1, 3, dan 4 pada tabel kebenaran implikasi (
Gambar 1.2.2). Bangun apa yang menggambarkan baris 2? Bangun itu harus merupakan persegi tetapi bukan persegi panjang.... Tentu saja kita tidak dapat menemukannya, tepat karena pernyataan tersebut benar!