1. Misalkan : A = himpunan semua universitas dalam negeri B = himpunan semua universitas luar negeri C = himpunan semua universitas yang ada sebelum tahun 1990 D = himpunan semua universitas yang memiliki mahasiswa kurang dari 1000. E = himpunan semua universitas milik swasta. Pernyataan “semua universitas ini adalah universitas dalam negeri atau
(i)
universitas luar negeri” Pernyataan “semua universitas dalam negeri yang ada sebelum tahun
(ii)
1990 memiliki mahasiswa kurang dari 1000” (iii)
Pernyataan “semua universitas luar negeri yang ada setelah tahun 1990 memiliki mahasiswa lebih dari 1000”
Nyatakan pernyataan di atas dalam notasi himpunan.
2. Pernyataan-pernyataan berikut ini, a. Kemarin hari hujan. b. Pemuda itu tinggi. c. Serahkan uangmu sekarang ! d. X+3 = 8 e. Kehidupan hanya ada di planet Bumi. Tentukan yang mana pernyataan-pernyataan yang merupakan kalimat proposisi ? 3. Misalkan p adalah “Iwan bisa berbahasa Inggris”, q adalah “Iwan bisa berbahasa jerman” dan r adalah “Iwan bisa berbahasa Perancis”. Terjemahkan kalimat berikut kedalam notasi simbolik :
a. Iwan bisa berbahasa Inggris atau Jerman. b. Iwan bisa berbahasa Jerman tetapi tidak bahasa Perancis. c. Iwan bisa berbahasa Inggris atau bahasa Jerman, atau dia tidak bisa berbahasa Perancis atau bahasa Jerman. d. Tidak benar bahwa Iwan bisa berbahasa Inggris atau bahasa Perancis. e. Tidak benar bahwa Iwan bisa berbahasa Inggris atau bahasa Perancis tetapi tidak bahasa Jerman. f. Tidak benar bahwa Iwan tidak bisa berbahasa Inggris, Perancis maupun Jerman.
4. Gunakan tabel kebenaran untuk menunjukkan bahwa tiap implikasi berikut adalah tautologi : a. ~𝑝 → (𝑝 → 𝑞) b. ~(𝑝 → 𝑞) → ~𝑞 c. (𝑝 ^ 𝑞) → (𝑝 → 𝑞) 5. Diberikan pernyataan “Tidak benar bahwa penjualan merosot maupun pendapatan tidak naik” a. Nyatakan pernyataan diatas dalam notasi simbolik. b. Berikan pernyataan yang ekivalen secara logika dengan pernyataan tersebut (petunjuk : gunakan Hukum de Morgan).
6. Gunakan tabel kebenaran untuk memperlihatkan hukum distributif p ^ ( q v r) ⇔ ( p ^ q ) v (q ^ r).