Upload presentasi
Presentasi sedang didownload. Silahkan tunggu
1
EKUIVALEN LOGIS
2
EKUIVALEN LOGIS Suatu ekspresi logika disebut ekuivalen logis apabila : Ekspresi logikanya adalah tautologi Ekspresi logikanya adalah kontradiksi Ekspresi logikanya adalah contingent, tetapi urutan T dan F pada tabel kebenaran tetap pada urutan yang sama
3
KOMUTATIF (A B) ≡ (B A)
Pada perangkai Konjungsi (), variable kedua proposisional dapat saling berganti tempat tanpa merubah nilai kebenaran Hal ini disebut KOMUTATIF Sifat komutatif berlaku juga untuk perangkai Disjungsi (V) dan Ekuivalensi (↔)
4
ASOSIATIF ((A B) C) ≡ (A (B C))
Apabila tanda kurung suatu ekspresi logika bisa dipindahkan dan tidak merubah nilai kebenarannya maka disebut asosiatif. Asosiatif lainnya dapat terjadi pada perangkai yang sama, misalnya Disjungsi (V) dan Ekuivalensi (↔)
5
ASOSIATIF Penggunaan tanda kurung yang terlalu banyak sangat tidak disarankan, dapat mengakibatkan redundansi, yang akan mengakibatkan kesalahan proses Contoh: (A v ¬B) (¬ A C) (A v ¬ B) ¬ A C , tidak mengubah nilai kebenaran
6
ASOSIATIF Penambahan tanda kurung juga dimungkinkan untuk mempermudah pembacaan ekuivalen logisnya. Contoh: (¬ A v ¬ B) A C A (¬ A v ¬ B) C (A (¬ A v ¬ B)) C
Presentasi serupa
![Logika Proposisional [Kalkulus Proposisi]](/12/3764538/big_thumb.jpg "Logika Proposisional [Kalkulus Proposisi]>")