- Pak Ujang biasa pergi ke kantor dengan mengendarai mobil pribadinya, jika mobilnya tidak mengalami masalah. Jika mobilnya bermasalah, ia akan menggunakan angkutan umum. Biasanya ia mengetahui bahwa mobilnya bermasalah ketika akan berangkat. Hal ini menyebabkan ia terlambat tiba di kantor. Tetapi ia juga dapat terlambat meskipun naik mobil karena jalannya macet. Gara-gara terlambat, ia tidak dapat menghabiskan kopinya, yang sudah disediakan di kantor. Namun pagi ini kopinya terlihat sudah habis. Pertanyaannya adalah (1) Apakah mobil Pak Ujang bermasalah? dan (2) Apakah jalanan macet? (Catatan: gunakan Modus Ponens dan Modus Tollens dalam mengambil kesimpulan dengan memerhatikan Rules of Inference. Misal: p: mobil Pak Ujang bermasalah, q: Pak Ujang ke kantor mengendarai mobil)
- Terjemahkan axiom-axiom dan fakta-fakta berikut ke dalam predicate logic wffs dan konversikan ke dalam bentuk klausal:
- Apabila kota x terhubung dengan kota y melalui jalan z, dan sepeda boleh lewat jalan z, maka Anda dapat mencapai kota y dari x
- Apabila kota x terhubung dengan kota y melalui jalan z, maka kota y terhubung dengan kota x melalui jalan z
- Apabila Anda dapat mencapai kota y dari x, dan Anda dapat mencapai kota w dari y, maka Anda dapat mencapai kota w dari x
- Kota A terhubung kota B melalui jalan R1
- Kota B terhubung kota C melalui jalan R2
- Kota A terhubung kota C melalui jalan R3
- Kota D terhubung kota E melalui jalan R4
- Kota D terhubung kota B melalui jalan R5
- Kota A dan kota E tidak terhubung melalui jalan R3
- Sepeda boleh lewat jalan R3
- Sepeda boleh lewat jalan R4
- Sepeda boleh lewat jalan R5
- Sepeda boleh lewat jalan R1 atau R2