Logika Himpunan 

• Konversi, Invers, Kontraposisi

       Beberapa terminologi dalam implikasi p ➡ q

1) Konversnya : q ➡p

2) Inversnya.    : -p ➡ -q

3) Kontraposisi: -q ➡-p

• Ekuivalen (Biimplikasi)

        Ekuivalen (Biimplikasi) adalah pernyataan yang menggunakan kata hubung"Bila dan hanya bila". Kata hubung tersebut disajikan dengan lambang " ↔".

~ Jika q maka p jika p maka p

~ p jika q dan p hanya jika q

~ q syarat perlu dan cukup untuk p

~ p ekuivalen dengan q

         Definisi 

      Jika suatu ekuivalen bernilai benar bila keduanya pernyataan tunggal mempunyai nilai kebenaran yang sama. 

• XOR (Exclusive OR)

       XOR (Exclusive OR) adalah operasi biner exclusive-or "+" (XOR) menggabungkan dua proposisi untuk membentuk logika "exclusive or" nya.

       Contoh :

p = Saya akan mendapat nilai A dikuliah ini.

q = Saya akan drop kuliah ini.

p+q = Saya akan mendapat nilai A atau saya akan drop kuliah ini (tapi tidak dua-duanya!)

# Perhatikan bahwa p+q berarti p benar atau q benar tapi tidak dua-duanya benar!.