Quiz SMT GNP 2012-2013
Quiz SMT GNP 2012-2013
c. √ a+b=√ a+ √ b
d. Badung adalah ibukota Jawa Barat
e. x – y = -2
2. Ubahlah pernyataan berikut dalam notasi formula
a. Saya akan memberi anda uang apabila saya lulus ujian atau saya
mendapat hadiah TTS
b. Anda tidak diperbolehkan naik roller coaster jika tinggi anda
Kurang dari 120 cm, kecuali anda sudah berumur di atas 15 tahun
3. Buatlah kontrapositif, converse, dan inverse dari formula berikut:
a. Jika saya tidak terlambat datang, maka saya diijinkan untuk mengikuti kuliah Logika
Matematika.
b. Jika Jhonny berjalan terlalu lambat, maka Jhonny tidak sampai tujuan tepat waktu.
4. Dengan menggunakan tabel kebenaran buktikan bahwa: Ø(PÙQ) dan (ØP)Ú(ØQ) adalah ekivalen
secara logika dan Ø(PÙQ)«(ØP)Ú(ØQ) adalah tautologi .
5. Nyatakan formula berikut: apakah valid, invalid, konsisten, inkonsisten atau gabungannya. (Valid
= jika dan hanya jika formula tautology; invalid = ada salah satu yang memiliki nilai
interpretasinya salah; inkonsisten = jika dan hanya jika formulanya kontradiksi; konsisten = jika
dan hanya ada interpretasi yang benar)
a. (¬p ˅ q) Λ (p ˅¬q)
b. p Λ q Λ ¬p
6. Buktikan bahwa kesimpulan berikut adalah logis. Jika ada kucing di dalam rumah, maka rumah
tidak tenang. Kucing tidak ada di dalam rumah. Oleh karena itu, rumah pasti tenang. (Petunjuk:
gunakan tabel kebenaran)