Page 28 - e modulo 123
P. 28

D.  Biimplikasi


                                            Biimplikasi  atau  Bikondisional  ialah  suatu
                                            pernyataan majemuk yang berbentuk “p jika

                                            dan hanya jika” yang berarti “jika p maka q

                                            dan jika q maka p”. pernyataan “p jika dan
                                            hanya jika q” dilambangkan “p ↔ q”.













                           Contoh Biimplikasi

                            Nina  merupakan  perempuan  yang  sholeha  yang
                            memiliki  perusahaan.  Suatu  hari  Perusahaannya

                            mengalami  kebangkrutan  dan  memiliki  hutang
                            yang banyak. Karena Nina tidak dapat mengatahi

                            masalah  tersbut,  Dia  meminta  pertolongan Allah
                            dalam doanya. “ya Allah ya Tuhanku hamba dapat

                            melunasi  hutang  hamba  jika  dan  hanya  jika
                            Engkau memberi hamba pertolongan”.


                        Nah, untuk memudahkan kita menentukan kebenaran  Implikasi maka kita dapat

                        melihat tabel kebenaran berikut ini
                                                 Tabel 04, Tabel Kebenaran Biimplikasi

                                                ↔    
                                                              Catatan :
                           B        B          B

                           B        S          S              Biimplikasi bernilai benar,
                                                              apabila kedua – duanya
                           S        B          S
                                                              benar atau salah
                           S        S          B






                                                                                                               24

                                             Logika matematika
   23   24   25   26   27   28   29   30   31   32   33