Air Terjun Sri Getuk

~ hijriyaninugroho ~ 1 Comment

Wisata Air Terjun Sri Gethuk, Yogyakarta – Salah satu tempat wisata Air Terjun di daerah Gunungkidul Yogyakarta adalah Air Terjun Sri Gethuk, yang terletak di Daerah Playen Dingo, Kabupaten Gunung Kidul Yogyakarta. Memang cukup jarang di Gunungkidul  Jogja ini tempat seperti Air terjun Sri Gethuk, karena Gunungkidul di kenal dengan daerah yang gersang dan tandus akibat gugusan bukit kapur.

Nama Air Terjun Sri Gethuk sendiri di ambil dari sebuah cerita yang melegenda, menurut masyarakat sekitar nama tersebut bermula dari sejarah yang dulunya tempat air terjun ini dianggap sebagai tempat penyimpanan Kethuk. Kethuk merupakan salah satu alat musik khas Jawa yaitu Gamelan yang di miliki oleh mahluk halus bernama Jin Anggo Meduro, nama Kethuk sendiri sekarang digunakan sebagai nama Air Terjun Sri Gethuk, konon pada waktu – waktu tertentu masyarakat sekitar sering mendengar dari tempat ini suara gamelan yang nyaring.

Uniknya di tempat wisata air terjun ini air yang mengalir dari atas air terjun tidak pernah berkurang, baik selama musim hujan maupun musim kemarau. Sehingga tempat ini dapat di kunjungi kapan saja yang kamu mau. Namun untuk menuju lokasi ini dari tempat parkir cukup ekstrim karena terdapat 2 jalur yang dapat kamu tempuh dengan menyusuri jalan setapak yang terjal atau menyusuri derasnya sungai Oya dengan menyewa perahu buatan yang terbuat dari drum bekas dan papan. Tentunya di lengkapi dengan besi penyangga, perahu rakit ini merupakan milik pemerintah yang di kelola oleh pengelola tempat Air Terjun Sri Gethuk.

Sayangnya, waktu itu saya kesana waktu hujan gaes, jadi airnya butek, tidak bening seperti bayangan saya

Jika kamu memilih untuk berjalan kaki, sebaiknya kamu berhati – hati karena jalanan cukup licin, sebaiknya gunakan sepatu atau sandal agar tidak terlalu licin. Jangan gunakan sandal dengan Heel yang tinggi, untuk menghindari terjadinya terpeleset dan mengakibatkan kaki keseleo.

Jika kamu memilih menggunakan perahu, sebaiknya datang pagi hari dan saat sungai tidak mengalami pasang dan arus sungai cukup tenang, hal ini bertujuan membahayakan pengunjung atau pun pemandu dengan menggunakan perahu rakit ini. Selain itu, sepanjang sungai kamu akan di suguhi pemandangan karst batu kapur yang mengapit sungai Oya dan juga pepohonan yang rindang berwarna hijau, bukti bahwa tempat ini belum terjamah oleh masyarkat sekitar.

Kurang lebih selama 15 menit mengarungi sungai Oya, kamu akan mendengar gemericik air yang membuat penasaran, itu artinya kamu sedikit lagi akan sampai pada spot Air Terjun Sri Gethuk yang memberikan kamu suatu pemandangan yang sangat indah. Sebuah wisata alam yang memang benar – benar menawarkan keindahan alam didalamnya, sayangnya potensi Air Terjun Sri Gethuk ini masih harus di benahi kembali agar pengunjung tidak was – was selama di perjalanan, serta pengembangan lainnya untuk mempermudah pengunjung untuk melihat wisata Air terjun ini.

Harga tiket masuk tempat ini

Tiket Masuk Perorangan Rp. 3.000

Sewa Perahu Rp. 5.000

Sewa Ban untuk Renang Rp. 2.000

Harga paket wisata + Goa Rancang Kencono Rp. 30.000

Jam Buka mulai dari pukul 08.00 – 16.00 WIB

Dan buka setiap hari

Logika Informatika (Logika Proposisional – Notation)

~ hijriyaninugroho ~ Leave a comment

Nah, di artikel sebelumnya saya sudah share mengenai logika proposisional language dan sentences, sekarang saya akan melanjutkan, masih logika proposisional namun akan membahas notation, langsung aja yuuk…

Notation

(not (P and (not Q)))

not (P or Q)
if and only if
(not P) and (not Q)

(if ((P or Q) and (if Q then R)) then (if (P and Q) then (not R)))

bisa ditulis sebagai berikut :

NOTATION (CONVENTIONAL)

MEANING OF SENTENCE

Memperlihatkan bagaimana memberi (atau
memasang) nilai-nilai kebenaran (truth values),

true atau false,

ke kalimat logika proposisional.

Apakah nilai kebenaran suatu kalimat seperti (P or
(not Q)) adalah true atau false jika diketahui apakah
nilai-nilai kebenaran dari simbol-simbol proposisional
P dan Q itu sendiri true atau false.

Informasi ini disediakan oleh suatu interpretation.

INTERPRETATION

Suatu interpretasi I merupakan suatu pemberian (assignment)
suatu nilai kebenaran, true atau false, ke masing-masing
himpunan simbol-simbol proposisional; interpretasi kosong
(empty interpretation) tidak memberi nilai kebenaran ke suatu
simbol proposisional manapun.

Untuk sebarang kalimat F, suatu interpretasi I dikatakan sebagai
interpretasi untuk (interpretation for) F jika I memberi suatu
nilai kebenaran, true atau false, ke masing-masing simbol
proposisional dari F.

Sebagai contoh, perhatikan kalimat

F : P or (not Q)

Salah satu interpretasi untuk F memberi nilai false ke P dan
nilai true ke Q, yaitu :

Interpretasi lain untuk F adalah :

Selanjutnya bisa dikatakan bahwa P
bernilai false dan Q bernilai true di
bawah (under) I1 dan P bernilai
false dan Q bernilai false under I2.

SEMANTIC RULES

Menjelaskan bagaimana cara
menentukan nilai kebenaran
suatu kalimat (sentence), atau
aturan-aturan (rules) apa saja
yang diperlukan untuk
menentukan nilai kebenaran dari
suatu kalimat.

Misal E suatu kalimat dan I merupakan suatu
interpretasi untuk E. Maka nilai kebenaran
dari E (dan semua kalimat-kalimat bagiannya)
di bawah I ditentukan dengan menerapkan
secara berulang-ulang aturan-aturan
semantik berikut :

  • aturan proposisi

nilai kebenaran dari masing-masing
simbol proposisional P, Q, R, … dalam E
sama dengan nilai kebenaran yang
diberikan oleh I pada simbol tersebut.

  • aturan true
    kalimat true bernilai true under I
  • aturan false
    kalimat false bernilai false under I.
  • aturan not
    negasi (negation) dari F (yaitu, not F) bernilai true jika F
    false, dan bernilai false jika F true.
  • aturan and
    konjungsi (conjunction) (yaitu, F and G) bernilai true jika
    kedua     F dan G bernilai true, sebaliknya bernilai false (yaitu, jika F
    false atau G false).
  • aturan or
    disjungsi (disjunction) (yaitu, F or G) bernilai true jika F
    true atau G true, dan sebaliknya bernilai false (yaitu, F dan G G
    bernilai false).
  • aturan if-then
    implikasi (implication) (yaitu, if F then G) bernilai true
    jika F false atau G true, dan sebaliknya bernilai false (yaitu,
    jika     F true dan G false).
  • aturan if-and-only-if
    ekuivalensi (equivalence) (yaitu, F if and only if G)
    bernilai     true jika nilai kebenaran F sama dengan nilai
    kebenaran     G (yaitu, jika F dan G keduanya bernilai true atau
    jika     F dan G keduanya bernilai false), dan sebaliknya bernilai
    false (yaitu, jika F true dan G false atau jika F false dan G
    true).
  • aturan if-then-else
    nilai kebenaran dari kondisional (conditional) (yaitu, if F
    then G else H    ) adalah sama dengan nilai kebenaran dari G
    jika F bernilai true, dan sama dengan nilai kebenaran dari H
    jika F bernilai false.

SENTENCE PROPERTIES

Suatu kalimat F dikatakan valid jika F bernilai true
di bawah (under) setiap interpretasi untuk F .
Kalimat valid dalam logika proposisional kadangkadang disebut tautologies.

Suatu kalimat F dikatakan satisfiable jika F bernilai
true di bawah suatu interpretasi untuk F .

Suatu kalimat F dikatakan contradictory (atau
unsatisfiable) jika F bernilai false di bawah setiap
interpretasi untuk F .

Suatu kalimat F implies kalimat G jika untuk setiap
interpretasi I sekaligus untuk F dan G. Jika F bernilai
true di bawah I maka G juga bernilai true di bawah
I.

Dua kalimat F dan G dikatakan equivalent jika di
bawah setiap interpretasi I untuk F dan G, F
mempunyai nilai kebenaran sama dengan nilai
kebenaran G

Suatu kumpulan kalimat-kalimat F1, F2, … dikatakan
consistent jika ada beberapa interpretasi untuk F1,
F2, ... di mana masing-masing Fi bernilai true.

REMARK (SATISFIABLE AND VALID)

Suatu kalimat F satisfiable precisely when
negasinya (not F) tidak valid.

Diketahui bahwa
F satisfiable
precisely when (dengan definisi satisfiabilitas)
bernilai true di bawah suatu interpretasi I
precisely when (dengan aturan not)
(not F) bernilai false di bawah suatu
interpretasi I
precisely when (dengan definisi validitas)
(not F) tidak valid.

Waduk Sermo

~ hijriyaninugroho ~ Leave a comment

Hallo gaes, Jogja memang banyak cerita, satu lagi destinasi wisata yang asik buat dikunjungi, yess waduk sermo yang ada di kulon progo. Waduk sermo ini merupakan sebuah bendungan buatan yang beralamat di Sermo, Kulon Progo, Daerah Istimewa Yogyakarta. Dan Waduk ini diresmikan oleh presiden soeharto pada tanggal 20 November 1996. Hmmm sebenarnya sudah lama juga ya gaes, tapi baru-baru kali ini waduk sermo jadi hits di kalangan traveller.

Tempat ini seru banget gaes.. sejuk, pokoknya enak banget buat ngilangin rasa penat.. di sini kamu juga bisa naik perahu menuju pulau entah berantah hehehe.. nah disitu, si abang tukang perahunya bakalan nungguin kamu buat kamu foto-foto atau sekedar nikmatin pemandangan yang ada. Jadi pulau ini semacam pulau yang ada di tengah-tengah waduk ini gaes..

Lokasi waduk sermo ini lumayan strategis, terletak di antara dua bukit yang dikelilingi oleh banyak pohon yang seger banget.. Selain itu di kawasan wisata ini terdapat sebuah jalan melingkar disekeliling waduk, dengan begitu kamu bisa dengan mudah menikmati pemandangan yang ada di waduk ini gaes.

Disekitar jalan melingkar tersebut juga terdapat tempat persinggahan berbentuk gazebo rumah jamur, selain itu juga ada yang berbentuk rumah panggung, Ini cocok banget buat kamu sekeluarga berwisata di sini gaes..

Untuk harga tiket masuk .Waduk Sermo Kulon Progo ini relatif murah yaitu kamu hanya dikenakan biaya retribusi Rp. 2.000,- per orang dan biaya parkir Rp. 1000,- untuk sepeda motor.

Waduk sermo adalah salah satu jalur menuju ke desa wisata kalibiru, puncak dipowono dan ke gunung gajah via waduk sermo. Jadi jika kamu merencana ke waduk sermo tidak ada salahnya kalian juga mampir ke kalibiru, puncak dipowono dan gunung gajah.

Dalam sebulan sekali waduk sermo juga diadakan penampilan tari jathilan. Tarian khas kulon progo yang saat ini sudah jarang sekali yang memainkan. Untuk jadwal tari jathilan kalian bisa langsung mencari informasi ke website kabupanten kulon progo. Oke jadi berminat untuk ke sana?

Taman Sari

~ hijriyaninugroho ~ Leave a comment

Taman Sari Keraton Yogyakarta adalah bekas taman Keraton Yogyakarta yang dibangun pada masa Sri Sultan Hamengku Buwono I (1758-1765). Sebenarnya Taman Sari dulu memiliki luas 10 hektar lengkap dengan gedung, kolam pemandian, jembatan gantung, kanal air, danau buatan, pulau buatan dan lorong bawah air.

Taman Sari terbagi menjadi 4 bagian:

  1. Bagian pertama adalah danau buatan yang terletak di sebelah barat.
  2. Bagian kedua adalah bangunan yang berada di sebelah selatan danau buatan antara lain Pemandian Umbul Binangun.
  3. Bagian ketiga adalah Pasarean Ledok Sari dan Kolam Garjitawati yang terletak di selatan bagian kedua.
  4. Bagian terakhir adalah bagian sebelah timur bagian pertama dan kedua dan meluas ke arah timur sampai tenggara kompleks Magangan.

Taman Sari Yogyakarta berada tidak jauh dari Keraton Yogyakarta. Berjarak hanya kurang lebih 1 km dan dekat dengan alun-alun Selatan Yogyakarta. Jika berangkat dari Jalan Malioboro, maka kamu cukup berkendara menuju ke Selatan ke arah Keraton Yogyakarta atau Alun-alun utara Jogja, kemudian ambil jalan yang berada di sebelah barat Alun-alun hingga kamu menemukan perempatan pertama lalu belok kiri dan ikuti terus jalan tersebut. Akan lebih mudah lagi jika kamu memarkir kendaraan di area parkir keraton yang berada di sebelah timur Alun-alun lalu menggunakan jasa becak dengan tarif Rp.10.000,- sembari menikmati bangunan tua seperti Benteng yang bisa kamu jumpai dalam perjalanan menuju Taman Sari.

  1. Jam buka Taman Sari.
    Taman Sari Keraton Yogyakarta dibuka setiap dari mulai pukul 08.00 – 14.00 wib.
  2. Harga Tiket Masuk.
    Adapun harga tiket untuk wisatawan lokal adalah Rp.3000,- dan untuk wisatawan manca negara Rp. 7.000,-

Disini juga ada beberapa fasilitas yang disediakan gaes yaitu

  1. Tempat Parkir
    Jika kamu menggunakan kendaraan pribadi, sebaiknya kamu masuk melalui gerbang sebelah timur karena disini terdapat area parkir yang cukup luas.
  2. Pemandu Wisata
    Jika kamu ingin mengetahui sejarah Taman Sari secara lebih detail, kamu bisa menggunakan jasa pemandu wisata yang berada di sana. Tarifnya pun standar karena memang mereka memiliki izin, yaitu Rp. 10.000,- hinga Rp.20.000,-
  3. Penginapan.
    Ada banyak penginapan ataupun hotel yang terletak tidak jauh dari Taman Sari Keraton Yogyakarta, sebut saja Alkid Homestay dan Griya Patehan Guest House yang hanya berjarak kurang lebih 300 meter dari Keraton Yogyakarta. Kamu juga dapat menginap di hotel berbintang yang terletak di sepanjang jalan Malioboro. Kamu bisa mencari booking hotel secara online di Agoda (kartu kredit) atau PegiPegi (bisa dengan transfer) dengan memasukkan kata kunci: “malioboro”.
  4. Tempat Makan.
    Banyak warung makan atau restoran yang bisa kamu jumpai di sekitar objek wisata taman sari Keraton Yogyakarta. Pada malam hari, kamu bisa berjalan ke jalan Malioboro dan bisa leluasa menikmati makanan khas Jogja yaitu Gudeg di warung-warung pedagang kaki lima yang membuka lapaknya di sepanjang jalan Malioboro.
  5. Toko Cinderamata dan Oleh-oleh.
    Banyak toko souvenir dan cinderamata seperti toko batik, keris dan lain sebagainya yang bisa kamu jumpai tidak jauh dari Kraton Yogyakarta. Untuk oleh-oleh makanan khas Jogja, kamu pun bisa membeli bakpia Patok, Geplak dan jajanan khas Jogja lainnya di jalan Maliboro atau bisa langsung naik becak dan minta diantar ke kawasan pertokoan yang khusus menjual makanan khas Jogja.

Museum Affandi

~ hijriyaninugroho ~ 1 Comment
Affandi adalah satu dari segelintir maestro seni lukis Indonesia beraliran ekspresionisme1 yang hasil karyanya pernah dipamerkan ke berbagai negara di dunia, baik di benua Asia, Eropa, Amerika, maupun Australia. Semasa hidupnya, pria yang lahir di Cirebon sekitar tahun 1907 ini telah menghasilkan lebih dari 2.000 buah karya lukis yang 300 buah diantaranya kini disimpan di museum sekaligus kediamannya (tokohindonesia.com). Letak museum berada di tepi Sungai Gajahwong atau tepatnya di Jalan Laksda Adisucipto No. 167 Yogyakarta dengan titik koordinat 7,7827°LS 110,3963°BT. Untuk mencapai lokasinya, apabila menggunakan angkutan umum relatif mudah karena masih berada di dalam kota dan tidak jauh dari bandara, terminal bus, dan stasiun kereta api. Jadi, dapat menggunakan taxi, bus Trans-Jogja, bus kota, becak atau bahkan andong.
Dengan membayar Rp 20.000,00 pengunjung bisa melihat lebih dekat tak kurang dari 300 karya lukisan. Selain itu masih ada koleksi lain berupa mobil dan sepeda kesayangan serta berbagai benda lain yang tentunya semua mengandung nilai seni tinggi.
Museum Affandi ini memiliki 3 galeri dan setiap pengunjung akan diarahkan untuk memperhatikan masing-masing galeri. Nikmati waktu yang ada dengan seksama, museum ini buka dari jam 09.00 WIB pagi hingga jam 16.00 WIB sore untuk Senin sampai Sabtu. Sedang khusus untuk Minggu hanya buka sampai pukul 13.00 WIB saja.
Museum ini bangun secara bertahap dari tahun 1962 hingga yang terakhir diresmikan pada tahun 2000 silam. Tiap-tiap galeri menyimpan karya yang berbeda dan memudahkan bagi pengunjung untuk mempelajari dan memperhatikan secara keseluruhan.

Galeri I dibangun sendiri oleh Affandi pada tahun 1962 dengan luas bangunan 314,6 meter persegi. Butuh waktu 12 tahun hingga benar-benar diresmikan oleh Direktur Jenderal Kebudayaan, Prof.Ida Bagus Mantra, pada tahun 1974.

Pengunjung akan disihir dengan berbagai lukisan dan semua yang berbau Affandi saja. Tak ada karya lain selain sang maestro.  Bila ingin melihat lukisan karya seniman lain maka bisa disaksikan di galeri II.

Selanjutnya pada tahun 1987 dibangun galeri II atas bantuan pemerintah melalui Presiden Soeharto. Dalam waktu 1 tahun galeri II selesai dibangun dan diresmikan tanggal 9 Juni 1988 oleh Menteri Pendidikan dan Kebudayaan, Prof. Dr. Fuad Hassan.

Pasar Organik Milas

~ hijriyaninugroho ~ 1 Comment

Hallo sobat, kamu suka makanan organik? nah bagi kamu yang mau diet, bisa coba pergi ke pasar Milas, Milas merupakan singkatan dari Mimpi Lama Sekali. Pasar Organik Milas merupakan salah satu pasar organik yang berada di Yogyakarta. Komunitas Pasar Organik ini berdiri awalnya pada tahun 2012. Pasar ini diinisiasi oleh Komunitas Pasar Organik, yang saat ini beranggotakan kurang lebih 15 orang pedagang, dimana yang pada awalnya hanya berjumlah 3 pedagang saja di tahun 2012.

Ada yang mewakili lembaga, tapi lebih banyak yang perorangan. Dagangannya juga bermacam-macam. Ada aneka sayuran, beras organik, minyak, ketela atau ubi, kaldu jamur, aneka tapung olahan, palawija, kecap, gula dan bahkan mie. “Dagangan kami ada ratusan item. Terus bertambah dari waktu ke waktu, karena anggota kami juga makin banyak,” kata ibu Ari salah satu pedagang, ditemui di Pasar Organik di halaman Milas Resto. Pasar Milas berlokasi di Jl. Prawirotaman 4 No. 127B, Parangtritis, Brontokusuman, Mergangsan, Kota Yogyakarta, Daerah Istimewa Yogyakarta.

Para pedagang yang berjualan di Pasar Milas benar-benar harus memenuhi syarat dan kenetntuan dari komunitas tersebut yaitu barang dagangan yang dijual harus bernar-benar organik dan waktu ketika mereka bergabung untuk menjadi pedagang pasar organik Milas, barang dagangan mereka  harus di uji coba dulu oleh para pengelola. Hal ini dilakukan agar supaya tidak adanya barang dagangan yang akan dijual yang mengandung bahan bukan organik. Dalam hal ini bahan yang bukan organik seperti tepung terigu, bumbu2 ynag tidak alami, mie instan, pewarna makanan dan sebagainya. Uniknya di Pasar Milas hampir semua para pedangang menjual jenis atau produk vegetarian. Namun dipasar lainnya sperti di Kamisan, mereka juga menjual jenis/produk makanan organik tetapi disana mereka juga menjual beberapa produk yang bukan hanya vegetarian saja(lebih variasi).

Pasar ini berpindah-pindah gaes, semacam pasar dadakan gitu, berikut jadwal keberadaan lokasi pasar organik ini :

  • Halaman Milas Resto, Rabu dan Sabtu jam 10.00-13.00 wib (Pasar Milas)
  • Stadion Maguwoharjo, Kamis jam 10.00 – 13.00 wib – Jln. Kaliurang KM 9 (Pasar Kamisan)
  • Amelia Hotel Jalan Mrican Baru, Jumat jam 16.00-19.00 wib – Rumah Makan Demangan baru
  • Di Club House Cassa Grande, Minggu pekan terakhir jam 07.00-11.00 wib

Ayam Panggang 3 Berku

~ hijriyaninugroho ~ Leave a comment

Hallo sobat yang doyan makan.. 😀 😀 Kali ini saya akan mereview salah satu kuliner yang ada di Jogja. Yap ini dia Ayam Panggang 3 Berku. Terletak di Jl.Kusumanegara 185 Timur SGM Yogyakarta dan ada juga yang di Jl.Ki Penjawi No. 6 Rejowinangun atau depan pabrik kulit PT. Budi Manunggal.

Kalau di lihat dari luar seperti bukan tempat makan gaes, lebih mirip rumah biasa, tapi di dalemnya bersih kok gaes, rapi banget.. pelayananya juga ramah 🙂

Tuh kan, bersih kan?? Cuman waktu itu saya tidak makan di sana gaes, saya beli buat makan di rumah.. jadi saya bungkus. Menu di sini lumayan lengkap, ada ayam panggang utuh komplit, ayam panggang separo komplit, ayam panggang separo tanpa jeroan, yang cocok banget buat oleh-oleh gaes, tapi di sana juga ada kok menu perseorangan, misal ayam panggang dada, atau paha.. Oh ya di tempat ini tidak hanya menyediakan ayam panggang, yang suka ayam goreng juga ada di sini. Harganya juga lumayan terjangkau gaes.

Untuk ayam panggang utuh komplit harganya Rp. 130.000,-

Ayam panggang separo komplit Rp. 75.000,-

Ayam panggang separo tanpa jeroan Rp. 65.000,-

Dada/Gending panggang Rp. 25.000

Kepala panggang Rp. 5.000

Di sini juga ada menu ikan gaes

Nasi Gurami goreng Rp. 25.000,-

Nasi Nila Besar Panggang Rp. 25.000,-

Nasi Nila sedang panggang Rp. 25.000,-

Untuk rasanya, maknyoss banget.. enak banget deh, nggak nyesel beli, bukan panggang abal-abal.. tempat ini cocok banget buat kamu sekeluarga makan bareng di sini, disamping menu yang cocok buat satu keluarga, tempatnya juga nyaman, jadi bisa sambil bercengkerama menikmati ayam panggang 3 berku ini ..

So, kalau kamu ke jogja, cobalah mampir ke tempat ini, cicipin dan critain ke saya ya menurut kamu bagaimana? recomended atau tidak.. kalau aku sih yess hahaha

Satu lagi, packaging di ayam panggang 3 berku ini juga oke, disamping sudah di kasih kardus, masih di kasih tas yang terbut dari kain furing, jadi lebih terlihat eksklusif dan higenis.. cocok banget deh buat oleh-oleh kerabat atau saudara.

Logika Informatika

~ hijriyaninugroho ~ Leave a comment

LOGIKA PROPOSISIONAL

Kebenaran suatu pernyataan bisa ditentukan dari
strukturnya saja, tanpa harus tahu kebenaran
pembentuk-pembentuknya (constituents).

Seperti P or (not P) dan setiap pernyataan
dengan bentuk serupa adalah benar, tidak peduli
apakah P benar atau salah .

Suatu kalimat abstrak adalah valid jika bernilai
benar tanpa mempedulikan kebenaran atau
kesalahan dari proposisi-proposisi pembentuknya.

Sebagai contoh, jika kita tahu bahwa kalimat
abstrak

not ( P and (not P) ) or Q

valid, maka kita bisa dengan cepat menyimpulkan
bahwa kalimat-kalimat kongkrit

not ( [x < 0] and (not [x < 0]) ) or ( y ≥ 0 )

bernilai true (benar), tanpa harus tahu apakah x
< 0 dan y ≥ 0 bernilai true atau false
(salah).

Sebaliknya, setiap instance dari suatu kalimat
abstrak seperti

P and (not P)

bernilai false tanpa harus tahu apakah P bernilai
true atau false. Selanjutnya, kalimat semacam in
akan disebut kalimat contradictory. Perhatikan
bahwa suatu kalimat F adalah valid precisely
when (ketika secara pasti) negasi (negation) nya,
yaitu (not F) adalah contradictory.

Di samping itu, banyak kalimat-kalimat
abstrak seperti

P or Q dan not P

tidak valid maupun tidak contradictor
karena mereka mempunyai instances
yang bisa bernilai true atau false.

Kemudian ada pasangan kalimat-kalimat abstrak seperti

if P then Q dan if (not Q) then (not P),

adalah ekuivalen, dalam pengertian bahwa suatu instance
konkrit salah satu dari keduanya bernilai true precisely when
contoh yang bersesuaian dari satunya bernilai true. Sebagai
contoh, dua kalimat kongkrit

“Jika seorang mahasiswa mengikuti ujian akhir suatu
matakuliah, maka mahasiswa tersebut akan mendapat nilai
untuk matakuliah tersebut.”

dan

“Jika seorang mahasiswa tidak mendapat nilai suatu
matakuliah, maka mahasiswa tersebut tidak mengikuti
ujian akhir untuk matakuliah tersebut.”

adalah contoh dari pasangan kalimat di atas dan keduanya
bernilai true. Akan tetapi keduanya tidak valid.

LANGUAGE

Seperti halnya bahasa pada umumnya, maka
logika proposisional terdiri dari kalimatkalimat (sentences), khususnya kalimat
abstrak (abstract sentence).

Aturan sintaktik (syntactic rules)
menerangkan tata cara pembentukan kalimat
dalam logika proposisional ( pengertiannya
sesuai dengan aturan sintaktik dalam setiap
bahasa pemrograman (programming
language) ).

LANGUAGE (PROPOSITIONS)

Kalimat-kalimat dalam (bahasa) logika proposisional dibentuk
dari simbol-simbol, yang disebut proposisi (propositions).
Simbol-simbol yang dimaksud dikelompokkan menjadi dua,
yaitu :
Simbol-simbol kebenaran (truth symbols)
true dan false

Simbol-simbol proposisional (propositional symbols)
P, Q, R, S, P1, Q1, R1, S1, P2, Q2, R2, S2, …
(huruf-huruf besar P, Q, R, atau S, dan mungkin dengan
indeks-indeks numerik).

Dalam pembicaraan tidak resmi, huruf-huruf skrip E, F, G,
dan H, dan mungkin dengan subskrip (indeks) numerik akan
digunakan untuk menyatakan kalimat

LANGUAGE (SENTENCES)

Kalimat-kalimat dalam logika proposisional
dibangun dari proposisi-proposisi dengan
menerapkan propositional connectives :
not, and, or, if-then, if-and-only-if, if-then-else

Kalimat dibentuk menurut aturan-aturan
(rules) berikut :

  • setiap proposisi, yaitu suatu simbol kebenaran atau
    suatu simbol proposisi merupakan kalimat.
  • apabila F kalimat, maka demikian juga negasi
    (    negation) nya (not F).
  • apabila F dan G kalimat, maka demikian juga konjungsi
    (    conjunction) nya, yaitu (F and G), selanjutnya F
    maupun G disebut conjuncts dari (F and G) .
  • apabila F dan G kalimat, maka demikian juga disjungsi (disjunction) nya, yaitu (F or G), selanjutnya F maupun G disebut disjuncts dari (F or G).
  • apabila F dan G kalimat, maka demikian juga implikasi (implication) nya, yaitu (if F then G). Selanjutnya F disebut antecedent dan G disebut consequent dari (if F then G). Kalimat (if G then F) disebut converse dari kalimat (if F then G).
  • apabila F dan G kalimat, maka demikian juga ekuivalensi (equivalence) nya, yaitu (F if and only if G), selanjutnya F disebut sisi-kiri (left-hand side) dan G disebut sisi-kanan (right-hand side) dari (F if and only if ). G
  • apabila F, G dan H kalimat, maka demikian juga kondisional
    (    conditional) nya, yaitu (if F then G else H). Selanjutnya F, G, dan H masing-masing disebut klausa-if (if-clause), klausa-then (then-clause), dan klausa-else (else-clause) dari kondisional (if F then G else H).

 

Monume Jogja Kembali

~ hijriyaninugroho ~ Leave a comment

Hay gaes, tau kah kamu? Jogja disamping banyak kulinernya, jogja juga mempunyai beberapa tempat bersejarah luhh.. salah satunya ini monumen jogja kembali. Monumen jogja kembali ini dibangun pada tanggal 29 Juni 1985 yang diatndai dengan peletakan batu pertama dan upacara adat penanaman kepala kerbau oleh Sri Sultan Hamengkubowono IX dan Sri Paduka Paku Alam VIII. Bangunan Monjali sendiri berbentuk kerucut dengan luas sekitar 5 hektar yang terdiri dari 3 lantai.   Lantai pertama terdapat 4 museum yang menyimpan berbagai benda bersejarah seperti senjata, mesin ketik, telepon dan sebagainya. Di lantai ini pula terdapat perpustakaan yang kebanyakan berisi buku-buku ensiklopedia. Selain itu terdapat pula ruang pemandu dan, ruang pengelola dan ruang serba guna.  bagian luar lantaterdapat pula kolam yang mengelilingi bangunan utama Monjali. Di lantai kedua terdapat ruang diorama yang mengisahkan perjuangan bangsa Indonesia ketika Belanda menghianati perjanjian Reville hingga terjadilah peristiwa yang sangat bersejarah yaitu Serangan Umum 1 Maret. Di sekeliling bagian luar lantai 2 terdapat pula relief yang kurang lebih menceritakan hal yang sama dengan diorama di dalam. Setidaknya terdapat sekitar 40 relief yang diukir di sekeliling tembok lantai 2 bagian luar. Lantai ketiga adalah lantai khusus yang dibuat untuk  mengenang dan mendoakan para pahlawan yang gugur dan ruang tersebut dinamakan dengan ruang Garbha Graha. Di ruang ini terdapat pahatan yang berukuran besar yang di pahat di dinding ruang. Di tengah ruang terdapat tiang bendera temapt dimana bendera Merah Putih berkibar. Di sisi lain juga terdapat ukiran dari tulisan man presiden Suharto. Monjali ini  terletak di Jln Lingkar Utara, Yogyakarta. Lebih tepatnya terletak di persimpangan antara Jln. Lingkar Utama, Jln. Plagan Tentara Pelajar dan Jln Monjali.  Untuk masuk ke tempat ini hanya perlu mengeluarkan uang Rp.7500/org untuk tiket masuk dan penambahan Rp.1000 untuk kamera. Monjali buka dari pukul 08.00 – 16.00 pada hari Selasa – Jumat, dan pukul 08.00 – 16.30 padari Sabtu dan Minggu, sedangkan pada hari Senin Monjali libur. Penting banget bagi kita untuk mengetahui sejarah dan meneruskan perjuangan para pahlawan dulu. Dengan membawa nama baik Indonesia ke tingkat dunia. 😀  

Gunung Api Purba Nglanggeran

~ hijriyaninugroho ~ Leave a comment

Suka mendaki? Suka dengan alam? sudah coba tempat in belum? Bagi kamu yang pengen banget rasain mendaki tapi ndak pengen yang tinggi-tinggi bisa kok di coba di sini.. Akses menuju ke tempat ini tidak seekstrem kamu pergi ke laut bekah, jalan menuju ke sini yaman banget, jalanya sudah beraspal dan di google maps juga sudah ada. Untuk masuk ke obyek wisata ini kamu perlu melakukan pembayaran uang masuk sebesar 7.500.

Nah di tempat ini sering digunakan buat camping gitu, dan tarifnya berbeda bagi yang mau camping di sini. Jalan menuju puncak sudah di kelola dengan baik gaes, jadi kamu tidak perlu bingung mencari arah menuju puncak yang mana.. dan di sana juga sudah ada yang jualan gaes, jadi kalau kamu merasa capek di tengah jalan, tenang ada yang jualan minum dan juga gorengan di sana 😀

Nah itu foto di ambil dari puncak gung api purba ini.. Oh ya tempat ini punya pos pos gitu gaes, di setiap pos nya kamu bisa istirahat sejenak, jangan lupa bawa air minum ya.. dan ada beberapa pos yang mempunyai spot foto yang oke, jadi kalau kamu ke sini, kamu bakalan punya koleksi foto yang banyak dan oke oke.. saya belum pernah sih camping di sana, mungkin akan tambah seru kalau camping di sana.. bisa nikmatin gemerlap kota Jogja dari atas gunung.

Nah itu salah satu foto narsis saya di sana.. bagus kan banyak tebing-tebing besar gitu.. itu batu gedhe gedhe luh.. kamu harus lihat sendiri langsung ke sana.. Rugi kalau sudah di jogja belum ke sini.. selain kamu dapetin pengalaman mendaki, kamu juga bakalan dapet view yang eksotik.. tetap ya gaes, harus jaga kebersihan lingkungan, hindari corat coret yang tidak bertanggung jawab, jaga alam mulai dari kita, kalau bukan kita yang mulai lalu siapa lagi?? jadi kapan nih mau ke sini?? Kalau kamu sudah pernah ke tempat ini boleh banget luh share pengalaman kamu di sana di kolom komentar. Oke gaess