ardhi.web.id

Contoh proposisi : "1 + 1 = 2", ini nilainya benar, penjumlahan 1 + 1 hasilnya adalah 2 "Hari ini adalah hari Rabu", akan bernilai benar apabila hari ini bertepatan dengan hari Rabu dan sebaliknya. Pernyataan "x > 0" bukan merupakan proposisi karena terdapat variabel x yang baru dapat dinyatakan nilai kebenarannya apabila sudah ada nilai yang diberikan untuk variabel x. "This sentence is false" juga bukan merupakan proposisi karena berisi self-reference yang memuat kontradiksi. Variabel proposisional dapat digunakan untuk sebuah proposisi, misalnya variabel P untuk mewakili proposisi “2 + 2 = 4”. Sebuah well-formed formula (WFF) dalam logika proposisional adalah formula yang benar secara sintaks yang dibuat berdasarka aturan sintaks dalam kalkulus poposisional. WFF terdiri dari variabel, konstanta, terms, dan penghubung logika misalnya konjungsi ( and ), disjungsi ( or ), implikasi ( if ... then ... ). ekuivalensi ( if and only if ), dan negas...

Logika Proposisional Logika Proposisional atau propositional logic melibatkan proposisi. Proposisi adalah pernyataan yang bisa bernilai benar atau salah (salah satu saja, tidak bisa sekaligus benar dan salah). Proposisi bisa dikombinasikan dengan proposisi lainnya (dengan penghubung logika) untuk membentuk compound proposition . Truth table digunakan untuk menentukan nilai kebenaran suatu ekpresi logika yang kompleks. Logika proposisinal dapat digunakan untuk melakukan encode argumen sederhana yang diekpresikan dalam bahasa alami, dan menentukan validitasnya. Validitas suatu argumen dapat ditentukan berdasarkan truth table , atau menggunakan aturan inferensi misalnya modus ponens untuk menghasilkan kesimpulan melalui langkah-langkah deduktif. Logika Predikat Logika predikat memungkinkan fakta fakta kompleks yang ada di dunia nyata dapat diekpresikan, fakta baru dapat dihasilkan melalui deductive reasoning .  Terdapat tools untuk membantu penggunaan logika predikat yaitu mengguna...

Rekayasa Perangkat Lunak IEEE 610.12 definition Software engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software; that is, the application of engineering to software, and the study of such approaches. Rekayasa perangkat lunak mencakup : 1. Metodologi untuk mendesain, membangun, dan melakukan tes perangkat lunak agar dapat memenuhi kebutuhan klien. 2. Perangkat lunak didesain dengan baik, dibangun dan telah dites dengan memadai sesuai dengan prinsip-prinsip engineering / teknik pembangunan perangkat lunak. 3. Kualitas dan standar keamanan yang baik. 4. Matematika dapat digunakan untuk membantu mendesain dan memverifikasi produk perangkat lunak. Level matematika yang digunakan tergantung dari seberapa kritis / pentingnya produk yang dibuat. Tinjauan sejawat yang sistematis dan pengujian yang ketat akan seringkali digunakan untuk memastikan perangkat lunak yang dibangun berkualitas. Teknik matematika yang...