:: Logik ::

Definisi : 

• Menggunakan kaedah-kaedah operasi pada satu kenyataan atau beberapa kenyataan  untuk mencapai satu penyelesaian yang betul.

Nilai Kebenaran(Truth value) :

• Adalah mana-mana kenyataan sama ada benar atau palsu tetapi bukan kedua-duanya. kenyataan yang boleh diberikan nilai kebenaran, benar (T atau 1) atau Salah (F atau 0).

Logik Hubungan

• Digunakan untuk membentuk usulan sebatian daripada yang ringkas.

PenafiAn:


Jika p ialah pernyataan, maka pernyataan "tidak p" dipanggil penafian pyang diwakili oleh "~ p".
~ p adalah benar, apabila p adalah palsu dan ~ p adalah palsu, apabila p adalah benar.






















KaTa HubUnG


Jika p dan q adalah dua penyataan, maka penyataan sebatian "p dan q", dikenali sebagai kata hubung.
menandakan "p q". p q adalah benar apabila kedua-dua p dan q adalah benar.

Jadual KebeNaran p q:



















Pemisahan:

Jika p dan q adalah dua penyataan, maka penyataan p atau q dipanggil pemisah,

Ia ditanda "p v q ", p v q palsu apabila kedua - dua p dan q adalah palsu



Jadual KebeNarAn UntUk p v q :



















Kenyataan Bersyarat:


jika p dan q adalah dua penyataan, maka sebatian penyataan "Jika p maka q"adalah dipanggil bersyarat
penyataan ditandakan "p q". p q adalah palsu apabila p adalah benar dan q adalah palsu.





















Tautology


Sesuatu pernyataan yang majmuk dikatakan menjadi "tautology", jika ia sentiasa benar untuk semua kemungkinan kombinasi nilai-nilai kebenaran.
"tautology" juga dikenali sebagai teorem atau corak kenyataan secara logik sah.


Percanggahan:


Sesuatu pernyataan yang majmuk percanggahan, jika ia sentiasa palsu untuk semua kemungkinan kombinasi nilai-nilai kebenaran komponennya.

NoTa:
i) penafian 'Tautology' adalah satu percanggahan.
(ii) penafian percanggahan adalah 'Tautology'.



cOntoH :
menunjukkan bahawa  (p q) r = p (q r)