Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

LOGIKA PROPOSISI

No description
by

Wiranti Octaviani

on 19 April 2015

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of LOGIKA PROPOSISI

PENGERTIAN ALGORITMA
•Pola pikir yang terstruktur yang berisi tahap-tahap atau langkah-langkah penyelesaian suatu masalah

•Merupakan satu set proses yang diaktifkan menurut langkah demi langkah dengan jelas bagi penyelesaian bagi suatu masalah

•Dapat disajikan dengan menggunakan dua teknik, yaitu teknik penulisan dan teknik penggambaran.

Pseudocode
•Kode yang mirip dengan pemrograman sebenarnya. Psedoucode berasal dari kata Pseudo yang berarti imitasi, mirip atau menyerupai dengan kode bahasa pemrograman.

•Ditulis berbasiskan bahasa pemrograman yang akan digunakan, misalnya Basic, Pascal, C++ dan lain-lain sehingga lebih tepat digunakan untuk menggambarkan algoritma yang akan dikomunikasikan kepada programmer.

•Pseudocode lebih rinci daripada stuctured English, misalnya untuk menyatakan tipe data yang akan digunakan.

Struktur Urut (1)
•Contoh Stuctured English dengan menggunakan bahasa Indonesia:

1)▫ Inisialisasi dan pemberian nilai awal variabel
2) Baca data panjang dan lebar empat persegi panjang
3) Hitung luas empat persegi panjang sama dengan panjang dikalikan
dengan lebar
4) Tampilkan hasil perhitungan

Gaya Penulisan Structured English
•Common Style
Mengunakan huruf kapital di awal dan selanjutnya hurus kecil semua

•Capitalized Common Style
Seluruhnya menggunakan huruf capital

•Outline Common Style
Dengan menggunakan nomor urut

•Narative Common Style
Berbentuk uraian

•Gaya lain
Tiap kata kunci ditulis dengan huruf kapital semua

LOGIKA PROPORSIONAL
•Logika merupakan studi penalaran yang secara khusus membahas apakah penalaran tersebut benar. Logika berfokus pada hubungan antara pernyataan-pernyataan yang dipertentangkan dengan isi pernyataan tertentu.

•Metode logika digunakan dalam matematika untuk membuktikan teorema dan dalam ilmu komputer untuk membuktikan bahwa program-program berjalan seperti yang diharapkan.



LOGIKA PROPOSISI
Variabel-variabel tersebut diatas dihubungkan dengan mengguna
kan penghubung logis yang disebut operator atau functor.

Sebagai contoh :

1) Saya mempunyai uang
dan
saya lapar
2)
Jika
balok mempunyai berat jenis lebih besar dari 1
maka
ia (ba
lok) akan tenggelam diair.
3) Ir. Sukarno presiden pertama RI
dan
ia proklamator negara RI
4) Saya berangkat kantor naik becak
atau
naik angkot.
5) Lampu mobil mati karena plentongnya mati
atau
kabelnya putus.

Logical Connectives
1). : “not”, atau “negasi” ( simbol lain adl ~ )
2). : “and”, atau “konjungsi” ( simbol lain adl &)
3). : “or” , atau “disjungsi” atau “inclusive or”
4). : “xor”, atau “exclusive or”
5). : “implies”, atau “Jika … maka…”, atau “implikasi kondisional”
6). : “jika dan hanya jika”, atau “bikondisional”

LOGICAL CONNECTIVES
5) Ekuivalensi atau Bikondisional

Pernyataan “p ekuivalen dengan q” mempunyai nilai kebenaran T jika dan hanya jika p dan q mempunyai nilai kebenaran yg
sama ditulis dengan simbol :
p<->q


THANK YOU
LOGIKA PROPOSISIONAL
Algoritma Pemrograman 2C
Structured English
•Merupakan alat yang cukup efisien untuk menggambarkan suatu algoritma. Basis dari stuctured English adalah bahasa Inggris, tetapi juga dapat menggunakan bahasa Indonesia.

•Oleh karena bahasa manusia yang digunakan sebagai dasar penggambaran algoritma, maka stuctured English lebih tepat untuk menggambarkan suatu algoritma yang akan dikomunikasikan kepada pemakai sistem.

KELOMPOK 2 :

- Andri Nugroho
- Dicka Agung Dias Putra
- Fahmi Ramansyah
- Kevin Candra Kirana
- Wiranti Octaviani

Universitas Gunadarma
PENYAJIAN ALGORITMA
• Bentuk tulisan
•▫Stuctured English
•▫Pseudocode

Struktur Urut (2)
• Contoh penulisan Pseudocode

▫* REM program menghitung luas persegi panjang
▫* LET data panjang diberi nilai awal 0
▫* LET data lebar diberi nilai awal 0
▫* INPUT data panjang
▫* INPUT data lebar
▫* Luas sama dengan data panjang x data lebar
▫* PRINT luas persegi panjang
▫* END

Aturan Penulisan Pseudocode

•Tulis satu pseudocode suatu instruksi pada satu baris.

•Pisahkan modul-modul atau kelompok pseudocode instruksi dengan memberikan spasi beberapa baris untuk mempermudah pembacaan.

•Bedakan huruf dalam penulisan pseudocode, dimana pseudocode instruksi ditulis dengan huruf kapital, sedangkan komentar atau variabel dalam huruf kecil.

•Berikan tabulasi yang berbeda untuk penulisan pseudocode instruksi-instruksi yang berada dalam loop atau struktur kondisi.

•Lakukan pembatasan jumlah baris pseudocode instruksi setiap modulnya, misalnya 50 – 75 baris instruksi per modul, sehingga tidak terlalu panjang.

Konsep Validasi
Ada 2 konsep validasi:

•Sintaks
▫* Sekumpulan aturan baku tentang bagaimana elemen-eleman
bahasa tersusun secara gramatikal.

▫*Sintaks menspesifikasikan bagaimana susunan setiap kata
dituliskan kedalam suatu kalimat.

•Semantik
▫Menekankan pada makna atau arti yang terkandung dalam suatu pernyataan atau kalimat.

PROPOSISI
•Kalimat yang bisa benar bisa salah, tetapi tidak sekaligus keduanya, disebut Proposisi (kalimat terbuka). Proposisi biasanya dinyatakan sebagai kalimat pernyataan


•Dikatakan bahwa nilai kebenaran daripada suatu proposisi adalah salah satu dari benar (true disajikan dng T) atau salah (false disajikan dengan F).


•Proposisi merupakan bangunan dasar dari teori logika. Biasanya proposisi dinyatakan dengan huruf kecil seperti p, q, r dan untuk mengkombinasikan proposisi dengan proposisi lain, digunakan kata hubung seperti dan, atau. Kombinasi dari proposisi-proposisi disebut sebagai Proposisi Majemuk.

LOGIKA PROPOSISI
Perhatikan kalimat-kalimat sebagai berikut :

1) Tutuplah pintu itu
2) Dilarang merokok
3) Nilai daripada x terletak diantara nol dan satu

Kalimat-kalimat tersebut tidak dimasukkan dalam pembicaraan
kita karena mereka tidak dapat ber “nilai” benar ataupun salah sedang yang terakhir tidak dimasukkan disini tetapi masuk dalam logika predikat karena ada variabel x yang nilainya belum ditentukan.

Jika atom-atom akan dikombinasikan untuk memperoleh proposisi baru maka diperlukan operator logika atau operator sambung yang dilambangkan dng simbol :

1) Negasi (not)
Jika p sebarang proposisi, pernyataan “not p” atau “negasi dp p”
akan bernilai F jika p bernilai T dan sebaliknya. Dan ditulis dengan :
~p

2) Konjungsi/conjunction (and)

Konjungsi adalah suatu operator binary atau diadika (diadic). Jika p dan q suatu proposisi, pernyataan p and q akan bernilai kebenaran T jika dan hanya jika kedua p dan q mempunyai nilai kebenaran T, dan ditulis dengan

p ^ q



3) Disjungsi (or)

Disjungsi yang juga ada yang menyebut dengan alternatif yang ber
sesuaian dengan bentuk “ Salah satu dari … atau ….” (“Either.. Or..) .
Pernyataan “p or q” bernilai T jika dan hanya jika salah satu p atau q (atau keduanya) bernilai T, dan ditulis :
p v q

4) Implikasi (Implication)

Arti dari pernyataan “If p then q” atau “p implies q” atau “q if p”
atau “p hanya jika q” adalah T jika salah satu dari p bernilai T dan q ber
nilai T atau jika p bernilai F. Jika tidak demikian, yaitu p bernilai T
dan q bernilai F, maka nilai F. Ditulis :

p -> q
Full transcript