Logic

           Adapun operasi-operasi yang dapat membentuk pernyataan majemuk adalah

1.  Negasi atau ingkaran, dengan kata perangkai tidaklah benar, simbol  “ ~ “

2.  Konjungsi, dengan kata perangkai dan, simbol “ Ù “

3.  Disjungsi, dengan kata perangkai atau, simbol “ Ú “

4.  Implikasi, dengan kata perangkai Jika ……, maka …….., simbol “ Þ “

5.  Biimplikasi, dengan kata perangkai …….jika dan hanya jika ……., simbol “ Û “ 

Contoh pernyataan majemuk:

1.  Bunga mawar berwarna merah dan bunga melati berwarna putih

2.  Ani dan Ana anak kembar

3.  Cuaca hari ini mendung atau cerah

4.  Jika x = 0 maka

5.  Suatu segitiga dikatakan segitiga sama sisi jika dan hanya jika ketiga sudutnya sama

1.  Operasi Negasi

           Operasi negasi atau ingkaran adalah operasi yang dikenakan hanya pada sebuah pernyataan. Operasi negasi dilambangkan “ ~ “

Jika p adalah pernyataan tunggal, maka ~p adalah pernyataan majemuk.

Negasi dari suatu pernyataan yang bernilai benar adalah salah dan negasi dari suatu pernyataan yang bernilai salah adalah benar.

Definisi: Suatu pernyataan dan negasinya mempunyai nilai kebenaran yang berlawanan

Definisi diatas dapat ditulis dalam tabel kebenaran sbb:

Contoh:

p    :  Jakarta ibukota negara Republik Indonesia

~ p :  Jakarta bukan ibukota negara Republik Indonesia 

2.  Operasi Konjungsi

           Suatu pernyataan majemuk yang dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan memakai kata perangkai dan disebut konjungsi. Operasi konjungsi dilambangkan dengan “ Ù “

Definisi: Sebuah konjungsi bernilai benar jika komponen-komponennya bernilai

              benar, dan bernilai salah jika salah satu dari komponennya bernilai salah

Definisi diatas dapat ditulis dalam tabel kebenaran sbb:

3. Operasi Disjungsi

           Suatu pernyataan majemuk yang dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan memakai kata perangkai atau disebut disjungsi. Operasi disjungsi dilambangkan dengan “ Ú  “

Definisi: Sebuah disjungsi inklusif bernilai benar jika paling sedikit salah satu 

              komponennya bernilai benar, sedangkan disjungsi eksklusif bernilai benar

              jika paling sedikit komponennya bernilai benar tetapi tidak kedua-duanya.

Definisi diatas dapat ditulis dalam tabel kebenaran sbb: