DISJUNGSI EKSKLUSIF
Bentuk lain dari disjungsi, jika disjungsi secara table kebenaran akan menghasilkan nilai true jika salah satu atau keduanya true, namun disjungsi eksklusif akan menghasilkan nilai true jika kedua nilai proposisinya tidak bernilai sama, operator yang digunakan adalah “xor”.
p dan q adalah proposisi, eksklusif logika p dan q dinyatakan dengan notasi p dan q adalah proposisi yang bernilai benar bila hanya salah satu dari p dan q benar, selain itu nilainya salah.
Contoh : Mahasiswa Berprestasi akan mendapatkan sebuah Beasiswa atau Tabungan Pendidikan
PROPOSISI BERSYARAT (Implikasi)
Implikasi adalah proposisi yang mengandung persyaratan, proposisi pertama pada syarat untuk dilaksanakan proposisi kedua
Pernyataan berbentuk “jika p, maka q.
Contoh : Jika Shiro bisa mengeong maka siro adalah kucing
VARIAN PROPOSISI BERSYARAT
Yaitu berupa varian Proposisi Bersyarat merupakan proposisi sederhana yang merupakan varian dari implikasi, terdapat 3 varian proposisi bersyarat.
Contoh :
Jika Poncoe bisa menggambar maka Poncoe adalah seorang desainer (Implikasi)
Jika Poncoe seorang desainer maka Poncoe bisa menggambar (Konvers)
Jika Poncoe tidak bisa menggambar maka Poncoe bukan seorang desainer (Invers)
Jika Poncoe bukan seorang desainer maka Poncoe tidak bisa menggambar (Kontraposisi)
BIKONDISIONAL (BI-IMPLIKASI)
Bedanya dengan implikasi? Jika implikasi akan menghasilkan nilai false jika proposisi pertama true dan proposisi keduanya false, selebihnya kombinasi kedua proposisi lainnya akan selalu bernilai true, untuk di Bi-Implikasi, jika kedua nilai proposisi maka akan menghasilkan nilai false.
Contoh :
Sapi adalah Hewan pemakan daging (Pernyataan Salah) Kucing adalah makluk yang beranak dan menyusui (Pernyataan Benar)
