Kuis Metode Formal

Apa yang dimaksud dengan Metode Formal dalam konteks pengembangan perangkat lunak?

• Metode pengujian perangkat keras

• Teknik pemrograman visual

• Pendekatan matematis untuk merancang dan memverifikasi perangkat lunak

• Strategi manajemen proyek

Salah satu keuntungan utama dari penggunaan Metode Formal adalah

• Pemrograman tanpa aturan

• Fleksibilitas dalam pengembangan perangkat lunak

• Tidak ada kebutuhan untuk dokumentasi

• Kemampuan untuk mendeteksi kesalahan sejak awal

Apa tujuan dari spesifikasi formal dalam Metode Formal?

• Memberikan dokumentasi yang tidak terstruktur

• Mendeskripsikan persyaratan sistem dengan menggunakan bahasa formal

• Hanya digunakan untuk keperluan akademis

• Meningkatkan kompleksitas proyek secara keseluruhan

Apa yang dimaksud dengan logika proposisi?

• Cabang logika yang mempelajari hubungan antar proposisi

• Cabang matematika yang mempelajari bilangan bulat

• Pemrograman komputer berbasis proposisi

• Teori graf dalam konteks proposisi

Berapa jumlah baris yang ada dalam tabel kebenaran untuk dua proposisi, misalnya p dan q?

• 2

• 4

• 8

• 16

Apakah negasi dari pernyataan "Jika hujan, maka saya membawa payung"?

• Jika hujan, maka saya membawa payung.

• Tidak benar bahwa jika hujan, maka saya membawa payung

• Saya membawa payung tanpa memperhatikan cuaca.

• Saya tidak membawa payung dan hujan.

Apakah pernyataan "x adalah bilangan genap" termasuk dalam logika proposisi?

• Ya

• Tidak

Argumen yang dibuktikan validitasnya dengan tabel kebenaran yang menunjukkan  nilai benar semua adalah

• Kontingensi

• Kontradiksi

• Tautologi

• Disjungsi

Apa simbol yang digunakan untuk operasi konjungsi dalam logika proposisi?

• ∧

• ∨

• →

• ↔

Apa simbol yang mewakili operasi pernyataan bersyarat dalam logika proposisi?

• ∧

• ∨

• →

• ↔