Logik
Ini adalah sains yang mengkaji bahasa saintifik, pendekatannya, organisasinya, dalam entiti hierarki dan kaedahnya sebagai formula untuk menganalisis semua bentuk bertulis. Untuk berkomunikasi, manusia menggunakan bahasa diskursif, bahasa-bahasa ini penuh dengan partikel logik.
Partikel logik: pada asasnya pengukur adalah penghubung dengan mereka wacana dibentuk.
Logik cadangan
Ini adalah cabang logik klasik yang mengkaji pemboleh ubah proposisional atau kalimat logik, implikasi kemungkinannya, penilaian kebenaran dan dalam beberapa kes tahap kebenaran mutlak mereka. Sebilangan pengarang juga mengenalinya dengan logik matematik atau logik simbolik, kerana menggunakan rangkaian simbol khas yang membawanya lebih dekat dengan bahasa matematik.
Cadangan
Tautologi: tautologi atau kesahan didefinisikan sebagai formula yang selalu benar.
Percanggahan: ia adalah dalil yang selalu salah untuk semua nilai kebenaran. Untuk sebarang nilai cadangan yang benar, apa pun hasil formula logik yang dikaji selalu salah.
Sambungan: adalah formula yang benar atau salah. Ungkapan-ungkapan yang bergantung kepada kesahan argumen adalah pemalar logik yang ditentukan.
Penyambung
Negasi: tidak - >>, ~
Dalam logik dan matematik, penolakan, juga disebut pelengkap logik, adalah operasi pada proposisi, nilai kebenaran, atau secara umum, nilai semantik. Secara intuitif, penolakan proposisi adalah benar apabila proposisi tersebut salah, dan sebaliknya. Dalam penafian logik klasik biasanya dikenali dengan fungsi kebenaran yang mengubah nilainya dari benar menjadi palsu dan sebaliknya.
Sambungan: Y ∧, Hanya jika komponen konjungsi itu benar, konjungsi itu benar.
Gangguan: O ∨, Kesalahan hanya salah jika dua komponennya.
Bersyarat: ⇒ maka
Biasanya nilai kebenaran dua pernyataan, mengembalikan nilai benar palsu hanya apabila pernyataan pertama adalah benar dan yang kedua adalah salah.
Dua syarat: ⇔ jika hanya ya.
Implikasi dua syarat atau ganda adalah pengendali yang menggunakan dua nilai kebenaran, biasanya nilai kebenaran dari dua proposisi, mengembalikan nilai kebenaran yang benar apabila kedua-dua cadangan mempunyai nilai kebenaran yang sama, dan salah apabila nilai kebenarannya berbeza.
Cadangan
Pemboleh ubah: Dalam bahasa simbolik logik proposisional, pernyataan sederhana, atom atau unsur adalah yang tidak dapat diuraikan menjadi yang lebih sederhana. Mereka disebut pemboleh ubah, dan ditulis dengan huruf kecil di akhir abjad: «p», «q», «r», «s»… untuk kes tertentu, atau dengan huruf besar pada awal abjad ketika mereka berada kes umum: «A», «B», «C», «D»…
Sebagai tambahan kepada pemboleh ubah, logik proposisi mempunyai unsur lain dalam abjadnya: pemalar logik dan simbol tambahan yang membentuk ayat majmuk.
Beberapa tanda leksikal bahasa semula jadi diterjemahkan dengan salah satu daripada lima pemalar logik berikut:
¬ DENIAL: Tidak
DIS PERBINCANGAN INKLUSIF: sama ada, atau, sama ada… atau sama ada, ٨ CONJUNCTION: y, e, atau ni (= dan tidak)
→ SYARAT: ya…. begitu
↔ BERBICARA: ya dan hanya jika
Jadual Kebenaran
Negasi: Apabila pemboleh ubah itu benar, menafikannya menjadi salah, dan jika itu salah, menafikan menjadi benar.
| KE | ~ A |
| V | F |
| F | V |
Perbezaannya: Ia hanya salah apabila semua pemboleh ubah itu salah.
| KE | B | AVB |
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
Gabungan: Itu hanya berlaku apabila semua pemboleh ubah juga benar.
| KE | B | A ∧ B |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
Bersyarat: Hanya apabila pemboleh ubah atau anteseden pertama adalah benar dan yang kedua atau yang salah, hasilnya adalah salah.
| KE | B | A ⇒ B |
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
The Biconditional: Benar apabila kedua-dua pemboleh ubah mempunyai nilai yang sama.
| KE | B | A ⇔ B |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |
Melalui kursus video berikut, anda akan dapat mengetahui lebih lanjut mengenai logik proposisi, sumber yang sangat baik untuk memperkuat pengetahuan anda dalam cabang logik klasik ini. (TareasPlus.com, 29 video)
