TUGAS BAHASA INDONESIA PROPOSISI DAN ABSTRAK

Nama kelompok :
Fera Margaretha (10108802)
Eko Nur Zhafar (10108687)
Zara Zulfariana (12108136)

Buat kelompok maksimal 3 mahasiswa dan diskusikan soal dengan rekan satu kelompok

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!

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 :

1. Kalimat 1 dan 2 merupakan proposisi, kalimat 3 dan 4 bukan merupakan proposisi. Karena proposisi adalah kalimat yang mengandung pernyataan tentang hubungan fakta-fakta yang dapat dinilai benar dan salah, bukan merupakan kalimat tanya atau kalimat perintah.

1. 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))