Matematika Diskrit

Proposisi

Definisi
Definisi 1 Suatu proposisi merupakan sebuah pernyataan yang bernilai benar, atau salah, dan tidak keduanya. Contoh Hari ini hari Selasa 1+1=3 Bogor adalah ibukota Jawa Barat. Mana yang merupakan proposisi?
Matematika Diskrit | Himpunan | oleh: Onggo Wiryawan | @_Onggo 3

Definisi
Definisi 2 Misal p sebuah proposisi. Pernyataan Tidak benar bahwa p merupakan suatu pernyataan yang disebut negasi (ingkaran/bantahan) dari proposisi p. Simbol : p , dibaca bukan p.
p p

B S

S B

Matematika Diskrit | Himpunan | oleh: Onggo Wiryawan | @_Onggo

Definisi
Definisi 3 Misal p dan q merupakan proposisi. Pernyataan p dan q merupakan suatu pernyataan yang hanya bernilai benar saat keduanya benar. Proposisi ini disebut konjungsi dari p dan q. p q pq Simbol : p q B B B dibaca p dan q.
B S S S S B

S
5

Matematika Diskrit | Himpunan | oleh: Onggo Wiryawan | @_Onggo

Definisi
Definisi 4 Misal p dan q merupakan proposisi. Pernyataan p atau q merupakan suatu pernyataan yang hanya bernilai salah saat keduanya salah. Proposisi ini disebut disjungsi dari p dan q. p q pq Simbol : p q B B dibaca p atau q. B
B S S B B B

S
6

Matematika Diskrit | Himpunan | oleh: Onggo Wiryawan | @_Onggo

Definisi
Definisi 5 Misal p dan q merupakan proposisi. Implikasi p q merupakan proposisi yang hanya bernilai salah saat p benar namun q salah. Simbol : p q dibaca jika p maka q.
p B B S q B S B pq B S B

B
7

Matematika Diskrit | Himpunan | oleh: Onggo Wiryawan | @_Onggo

Definisi
Catatan p q, dapat juga dibaca sebagai: jika p maka q p menyebabkan q p hanya jika q q jika p p q pq q ketika p.
B B S B S B B S B

B
8

Matematika Diskrit | Himpunan | oleh: Onggo Wiryawan | @_Onggo

Definisi
Definisi Sebuah proposisi majemuk disebut tautologi jika setiap kombinasi nilai kebenaran dari keduanya menyebabkan proposisi tersebut bernilai benar. Sebuah proposisi majemuk disebut kontradiksi jika setiap kombinasi nilai kebenaran dari keduanya menyebabkan proposisi tersebut bernilai salah.
Matematika Diskrit | Himpunan | oleh: Onggo Wiryawan | @_Onggo 9

Definisi
Contoh Tautologi.
p B S p p B B

Kontradiksi.

p
B S

p p
S S

Matematika Diskrit | Himpunan | oleh: Onggo Wiryawan | @_Onggo

10

Definisi
Contoh

Matematika Diskrit | Himpunan | oleh: Onggo Wiryawan | @_Onggo

11