Pertama, kita identifikasi pernyataannya. Misalkan a adalah prosesor terbaru, b adalah RAM besar, dan q adalah lancar jalankan aplikasi. Maka, Premis satu adalah jika a dan b, maka q. Sedangkan Premis dua adalah negasi q, karena Laptop Alpha tidak lancar.