Logik: Perbezaan antara semakan
Kandungan dihapus Kandungan ditambah
k bot menambah: yo:Ìmọ̀ Ọgbọ́n |
Tiada ringkasan suntingan |
||
Baris 3:
Logik merujuk kepada turutan cara mendapatkan sesuatu rumusan berasaskan beberapa andaian kukuh. Logik turut digunakan dalam [[elektronik digital]]. Tingkah-laku litar digital biasanya diputuskan melalui penggunaan litar-litar logik yang dipanggil [[get logik]].
== Logik usulan ==
Logik peringkat kesifar, di mana atom-atom logik merupakan usulan-usulan tunggal, yang biasanya digabungkan menggunakan hubungan 'dan' (<math>\and</math>), 'atau' (<math>\or</math>), 'bukan' (<math>\not</math>) dan 'identiti' (<math>\equiv</math>), adalah sistem logik yang paling mudah.
Pada asasnya, ia boleh dilihat sebagai suatu [[sistem formal]] dengan komponen-komponen berikut:
''abjad'' – huruf-huruf usulan ''p'', ''q'', ''r'', …<br />
operator-operator logik ¬ (‘bukan’),<br />
⊃ (atau →) (‘babatkan’)<br />
kurungan-kurungan (, )
''perkataan'' – apa-apa huruf usulan;
jika ''w'' perkataan, (''w'') juga perkataan;
jika ''w'' perkataan, ¬''w'' juga perkataan;
jika ''w''1, ''w''2 perkataan, ''w''1⊃''w''2 juga perkataan.
''aksiom'' – A1: (''w''1⊃(''w''2⊃''w''1))
A2: (''w''1⊃(''w''2⊃''w''3))⊃((''w''1⊃''w''2)⊃(''w''1⊃''w''3))
A3: (¬''w''2⊃¬''w''1)⊃(''w''1⊃''w''2)
''hukum'' – hukum pemisahan / modus ponens :
(''w''1) & (''w''1⊃''w''2) → (''w''2)
== Logik predikat ==
Logik peringkat pertama, di mana pembolehubah dibolehkan di dalam predikat-predikat yang menggantikan atom-atom usulan.
Asas untuk [[pengaturcaraan logik]].
{{stub}}
| |||