Logika Predikat 2 (QL) Oleh : Dani Suandi, M.Si. KELOMPOK I
Struktur penulisan QL
Contoh-contoh Semua kuda berwarna coklat Beberapa kuda berwarna coklat Kalimat Notasi Semua kuda berwarna coklat Beberapa kuda berwarna coklat Tidak semua kuda berwarna coklat Tidak ada kuda berwarna coklat
Contoh-contoh alternatif penulisan Kalimat Notasi Tidak ada kuda yang tidak berwarna coklat Tidak semua kuda tidak berwarna coklat Ada kuda yang tidak berwarna coklat Semua kuda tidak berwarna cokelat.
Transfer 8 Aturan Implikasi pada SL kedalam QL Misalkan akan membuktikan argumen tanpa Quantifier berikut: Pembuktian:
Bekerja dengan Quantifier
Hati-Hati!!!!!
Transfer 10 aturan ekuivalen SL ke QL
Bentuk QN pada QL
Pembuktian dengan QN