Mari lihat latihan soal UTBK. Premis satu: Jika Budi belajar, maka ia lulus. Premis dua: Budi tidak lulus atau ia bahagia. Premis tiga: Budi tidak bahagia. Langkah satu, analisis premis dua menggunakan ekuivalensi implikasi ke atau menjadi: L maka H. Langkah dua, gabungkan dengan premis tiga. Dari L maka H dan negasi H, didapat kesimpulan antara yaitu negasi L atau Budi tidak lulus.