PROPOSISI DAN TABEL KEBENARAN

Drs. Slamin, M.Comp.Sc., Ph.D

Program Studi Sistem Informasi Universitas Jember

Outline 1 2 3 4 5 6 Proposisi p Negasi Konjungsi Disjungsi Kondisional Bikondisional PS Sistem Informasi Universitas Jember .

Proposisi Proposisi adalah pernyataan yang bernilai benar saja atau salah saja Contoh œ Surabaya ibukota Indonesia œ5+4=9 PS Sistem Informasi Universitas Jember .

Proposisi Majemuk Proposisi majemuk adalah proposisi-proposisi yang dihubungkan dengan perangkai Contoh œ Ali membeli baju atau celana œ Tidak benar bahwa Amir nakal œ Adi kuliah dan Edi bermain pingpong Proposisi yang tanpa perangkai disebut proposisi sederhana PS Sistem Informasi Universitas Jember .

Negasi œ Negasi proposisi merupakan penyangkal dari proposisi tersebut œ Contoh œNegasi dari Amir sakit adalah œTidak benar bahwa Amir sakit. atau œAmir tidak sakit œ Tabel Kebenaran p B S PS Sistem Informasi Universitas Jember -p p S B .

sakit atau œAmir sakit œ Tabel Kebenaran p B S PS Sistem Informasi Universitas Jember -p S B -(-p) B S .Negasi Rangkap œ Negasi dari negasi sebuah proposisi œ Contoh œNegasi rangkap dari Amir sakit adalah œTidak benar bahwa Amir tidak sakit.

Konjungsi œ Proposisi majemuk yang menggunakan perangkai “dan” dan œ Contoh œAdi kuliah dan Edi bermain pingpong œ Tabel Kebenaran p B B S S PS Sistem Informasi Universitas Jember q B S B S pΛq B S S S .

Disjungsi œ Proposisi majemuk yang menggunakan perangkai “atau” atau œ Contoh œAdi kuliah atau Edi bermain pingpong œ Tabel Kebenaran p B B S S PS Sistem Informasi Universitas Jember q B S B S pVq B B B S .

maka …” œ Contoh œJika Jakarta ibukota Indonesia. Indonesia maka 3 + 5 < 9 œ Tabel Kebenaran p B B S S PS Sistem Informasi Universitas Jember q B S B S pÖq B S B B .Kondisional (1) œ Proposisi majemuk yang menggunakan perangkai “jika jika ….

Kondisional (2) œ p Ö q dapat dibaca: œ Jika p maka q œ Hanya jika q maka p œ Jika hanya p maka q œ p merupakan syarat cukup untuk q œ q merupakan syarat perlu untuk p PS Sistem Informasi Universitas Jember .

Kondisional (3) pÖq inve ers konvers qÖp inve ers -p Ö -q PS Sistem Informasi Universitas Jember konvers -q Ö -p .

Bikondisional (1) œ Proposisi majemuk yang menggunakan perangkai “jika jika dan hanya jika jika” œ Contoh œ x = 3 jika dan hanya jika x + 5 = 8 œ Tabel Kebenaran p B B S S q B S B S pÖq B S B B qÖp pÙq B B B S S S B B PS Sistem Informasi Universitas Jember .

Bikondisional (2) œ p Ù q dapat dibaca: œ p jika dan hanya jika q œ q jika dan hanya jika p œ p Ö q dan konversnya œ q Ö p dan konversnya œ p merupakan syarat cukup dan perlu untuk t kq PS Sistem Informasi Universitas Jember .

Terima Kasih Kasih……… ……… .

Sign up to vote on this title
UsefulNot useful