Kalimat Berkuantor Ganda Yaitu terdapat beberapa kuantor sekaligus pada kalimat yang sama. Ada 8 cara berbeda dalam menggunakan 2 kuantor โ dan โ dalam 2 variabel x dan y. Masing-masing adalah (โx)(โy), (โy)(โx), (โx)(โy), (โy)(โx), (โx)(โy), (โy)(โx), (โy)(โx), (โx)(โy). Jika kuantornya sama, maka urutan penulisan kuantor-kuantor tersebut bisa dibalik. Akan tetapi, jika kuantornya berbeda, urutan …
Logika
Matematika Diskrit : Predikat dan Kuantifikasi
Predikat โJames adalah mahasiswa Politeknik Statistika STISโ adalah sebuah proposisi. Kalimat tersebut dapat diubah menjadi predikat/fungsi proposisi/kalimat terbuka. ๐(๐ฅ) : ๐ฅ adalah mahasiswa Politeknik Statistika STIS. ๐(๐ฅ, ๐ฆ) : ๐ฅ adalah mahasiswa ๐ฆ. ๐ ๐๐๐ ๐ disebut simbol predikat. ๐ฅ ๐๐๐ ๐ฆ disebut variabel predikat. Predikat adalah kalimat yang berisi sejumlah variabel predikat dan menjadi …
Matematika Diskrit : Logic Puzzles
CASE I : Two Opposite Kinds of Inhabitants of an Island An island that has two kinds of inhabitants: knights (satria), who always tell the truth knaves (penipu), who always lie. You encounter two people A and B. If A says โB is a knightโ and B says โThe two of us are opposite typeโ, …
Matematika Diskrit : Inferensi Logika
Argumentasi Suatu argumentasi dalam logika proposisi adalah suatu barisan pernyataan p1, p2, โฆ , pn yang diakhiri dengan sebuah pernyataan q. Pernyataan-pernyataan p1, p2, โฆ , pn disebut premis atau hipotesa sedangkan q disebut kesimpulan atau konklusi. Suatu argumentasi dikatakan absah (valid) atau berlaku, jika semua hipotesanya (premisnya) p1, p2, โฆ , pn bernilai benar …
Matematika Diskrit : Logika Ekuivalensi
Ekuivalen Dua proposisi majemuk disebut Ekuivalen (secara logika) jika keduanya mempunyai nilai kebenaran yang identik. Jika p dan q adalah proposisi majemuk yang ekuivalen, maka dituliskan ๐ โบ ๐ atau ๐ โก ๐. Jika ๐ โก ๐, maka ๐ โก ๐. Tabel kebenaran dapat digunakan untuk menyelidiki apakah dua kalimat ekuivalen. Contoh 1 Tentukan apakah …