Minggu, 07 Agustus 2011

Tugas Logika Informatika TI


Tugas Logika Informatika TI :
Jika B(x) adalah pernyataan “x belajar lima jam per hari selama kuliah”, dan universe untuk x adalah semua mahasiswa. Ubahlah ekspresi di bawah ini dengan kuantor-kuantor ke dalam pernyataan Bahasa Indonesia.

Jawab : 
1. (∃x)^B(x) = Ada Mahasiswa yang belajar lima jam per hari selama kuliah dan Semua Mahasiswa Belajar
2. (∃x)^¬B(x) = Ada Mahasiswa yang
belajar lima jam per hari selama kuliah dan tidak semua Mahasiswa belajar
3. (∀x)→B(x) = Jika Semua Mahasiswa Belajar maka Semua mahasiswa Belajar lima jam per hari selama kuliah

4. (∀x)→¬B(x) = jika semua Mahasiswa belajar maka tidak semua mahasiwa belajar lima jam per hari selama kuliah

(Semester Pendek)