Matematika Diskrit

Logika

Proposisi

Mengkombinasikan proposisi

Tabel Kebenaran

Hukum hukum Logika

Disjungsi Ekslusif

Proposisi Bersyarat (Implikasi)

Varian Proposisi bersyarat

Bikondisonal (Bi-Implikasi)

Tabel Kebenaran

Nilai kebenaran dari proposisi majemuk ditentukan oleh nilai kebenaran dari proposisi atomiknya dan cara mereka dihubungkan oleh operator logika

Misalkan p dan q adalah proposisi

o Konjungsi p Λ q bernilai benar jika p dan q keduanya benar, selain itu nilainya salah

o Disjungsi p V q bernilai salah jika p dan q keduanya salah, selain itu nilainya benar

o Negasi p bernilai benar jika p salah, atau kebalikannya

Misalkan

p: 17 adalah bilangan prima

q: bilangan prima selalu ganjil

maka p benar dan q salah sehingga konjungsi

p Λ q: 17 adalah bilangan prima dan bilangan prima selalu ganjil adalah salah

Lebih Lengkap Lagi Disini