Logika dan Teori HimpunanUniversitas Brawijaya Press, 8 Okt 2010 - 260 halaman Buku diktat ini terdiri dari sembilan bab yang dapat dikelompokkan menjadi tiga bagian. Bagian pertama membahas dasar-dasar logika (proposisional) terdiri dari lima bab, yaitu: pernyataan dan perangkai logika (Bab 1), tautologi dan kontradiksi (Bab 2), hukum logika dan kaidah inferensi (Bab 3), kuantor (Bab 4) dan definisi dan bukti teorema (Bab 5). Bagian kedua membahas teori himpunan terdiri dari tiga bab, yaitu: himpunan dan operasi himpunan (Bab 6), hukum-hukum teori himpunan (Bab 7) dan relasi dan fungsi (Bab 8). Bagian ketiga terdiri dari satu bab (Bab 9) yang membahas salah satu penggunaan logika dan teori himpunan yaitu aljabar Boole dan sistem saklar. Setiap bab disusun dengan sistematika pembahasan: mendeskripsikan bahan (topik), pembahasan topik yang disertai contoh-contoh dan diakhiri dengan soal-soal latihan. |
Isi
Kuantor | 61 |
DEFINISI DAN BUKTI TEOREMA | 91 |
Daftar Isi BAB 6 HIMPUNAN BAB 7 HUKUMHUKUM TEORI HIMPUNAN BAB 8 RELASI DAN FUNGSI BAB 9 ALJABAR BOOLE DAN SIST... | 113 |
GLOSARIUM | 235 |
Istilah dan frasa umum
Alasan aljabar Boole Apabila argumen artinya Aturan bentuk Berapa berhubungan berlaku bernilai benar bilangan bulat bilangan riil bilangan-bilangan Bukti Buktikan buku cara Contoh Definisi dibagi diberikan didefinisikan digunakan dilambangkan diperoleh disajikan disebut ditulis ditunjukkan ekspresi Boole ekuivalen ekuivalensi elemen empat fungsi fungsi Boole Gambar ganjil genap himpunan himpunan bagian himpunan-himpunan Hukum identitas implikasi logis Invers Jadi jenis kalimat terbuka kalimat-kalimat terbuka keduanya kolom komplemen kontradiksi kontraposisi kuantor Langkah logika matematika memuat Menggunakan Menggunakan tabel kebenaran menunjukkan metode Misalkan Negasi Penyelesaian pernyataan berikut pernyataan majemuk pernyataan-pernyataan berikut peta Karnaugh positif Premis relasi saklar salah sebarang sebuah sebuah pernyataan sedemikian hingga semesta setiap setiap bilangan simetrik suku hasilkali tautologi Tentukan Teorema Terdapatlah tunjukkan universal valid variabel variabel-variabel Vx p(x