Soal Bahasa Indonesia (Februari 2011)
- Buat kelompok maksimal 3 mahasiswa dan diskusikan soal dengan rekan satu kelompok
I. Tentukan bentuk proposisi yang tepat pada pernyataan di bawah ini!
- Bahasa adalah sarana penalaran
- sifat kuantitatif matematika meningkatkan daya prediksi ilmu.
- Bagaimana peranan bahasa dalam proses penalaran?
- Semoga saja penelitian ini berhasil!
II. Temukan kalimat abstrak dalam bahasa logika predikat untuk kalimat bahasa manusia berikut ini :
a. Untuk semua manusia, tidak ada manusia yang abadi
b. Socrates adalah manusia
c. Jika socrates adalah manusia dan Untuk semua manusia, tidak ada manusia yang abadi maka socrates tidak abadi.
d. Jika semua bilangan prima adalah bilangan ganjil maka beberapa bilangan genap adalah bilangan prima.
Hasil Diskusi Kelompok ;
1. Kedua kalimat pertama dapat dibuktikan kebenarannya namun untuk kedua kalimat terakhir dapat ditolak karena kalimat proposisi merupakan kalimat yang berisi pernyataan terhadap kabanaran dan penolakan terhadap kesalahan.
2.
a. (∀ x) (if p(x) then (not q(x)))
p merupakan simbol predikat dengan arity 1 merepresentasikan relasi manusia, q merupakan simbol predikat dengan arity 1 merepresentasikan relasi abadi.
b. p(a)
a adalah simbol konstan yang merepresentasikan socrates, p sama dengan soal 1.a
c. if (p(a) and (∀ x) (if p(x) then (not q(x))) ) then (not q(a))
d. if (∀ x) (if prime(x) then ganjil(x)) then (∃ x) (if genap(x) then prime(x))
Tidak ada komentar:
Posting Komentar