Logik: Perbezaan antara semakan
Kandungan dihapus Kandungan ditambah
Baris 6:
== Logik usulan ==
Logik peringkat kesifar, di mana atom-atom logik merupakan usulan-usulan tunggal, yang biasanya digabungkan menggunakan hubungan 'dan' (
Pada asasnya, ia boleh dilihat sebagai suatu [[sistem formal]] dengan komponen-komponen berikut:
Baris 23:
(''w''<sub>1</sub>) & (''w''<sub>1</sub>⊃''w''<sub>2</sub>) → (''w''<sub>2</sub>)
Oleh itu, 'atau', 'dan' dan 'identiti' adalah terbitan: misalnya ''p''∨''q'' ialah (¬''p'')⊃''q'', sementara ''p''∧''q'' boleh ditulis ¬((¬''p'')∨(¬''q'')) dan ''p''''q'' sebagai (''p''∧''q'')∨((¬''p'')∧(¬''q'')).
Dengan itu, boleh dibuktikan bahawa ▼
Dari segi semantik, boleh diadakan ''tafsiran'' berlandaskan nombor dedua {0,1} di mana 0 mewakili ‘PALSU’ dan 1 mewakili ‘BENAR’, fungsi pelengkap, ''C''(''x'')=1-''x'', dan fungsi kebenaran, ''T''(''x'',''y'')=0 jika (''x''=1, ''y''=0), 1 jika selainnya. Ini membawa kepada [[algebra Boole]]. Ia agak sepadan dgn logik tabii.
* Logik usulan tak bertentangan (''F'' dan ¬''F'' tak boleh dibuktikan serentak)
* Logik usulan lengkap
| |||