Logik usulan

Untuk menentukan istilah "logik usulan", ia adalah perlu untuk memahami dengan jelas apa yang dikatakan "kenyataan".

Jadi, kenyataan itu adalah ayat, kedudukan tatabahasa yang betul, dan adalah palsu atau benar. Idea ini mesti menyatakan makna tertentu. Sebagai contoh, frasa "burung kenari mempunyai" termasuk komponen-komponen berikut: "canary" dan "burung".

Itulah sebabnya salah satu konsep awal utama logik dan katakan. Konsep-konsep ini perlu menggambarkan keadaan tertentu di mana kenyataan itu sama ada sesuatu atau penafian.

Ia dianggap sebagai satu kenyataan yang benar, jika realiti garis dikesan keadaan apabila ia membataskan. Oleh diri mereka sendiri, "palsu" dan "benar" menentukan kebenaran pernyataan-pernyataan.

logik usulan terdiri daripada ungkapan mudah dan kompleks. Jadi, hanya fikir kenyataan itu yang tidak termasuk dalam komposisi ungkapan lain itu. Dan kompleks termasuk ungkapan yang diperolehi dari mudah, kenyataan yang logik disambungkan.

logik usulan klasik boleh diwakili oleh teori umum potongan. Ia adalah sebahagian daripada logik, yang menggambarkan tidak bergantung kepada penyata sambungan logik ungkapan mudah.

Belum lagi kata hubung - satu cadangan yang sukar diperolehi dengan menggabungkan dua ungkapan mudah menggunakan perkataan "dan". Kebenaran konjungsi mengesahkan bahawa semua kenyataan termasuk dalam strukturnya. Dalam kes di mana sekurang-kurangnya salah satu daripada ahli-ahlinya yang palsu, seluruh konjungsi adalah tanda "satu pembohongan."

Sendiri adalah sempena untuk membentuk penyata kompleks, yang berdasarkan andaian ini:

- apa-apa ungkapan (dan mudah dan kompleks) boleh sama ada benar atau palsu;

- kebenaran ucapan-ucapan kompleks bergantung kepada kebenaran daripada kenyataan yang terkandung di dalamnya dan pautan logik di dalamnya.

Apabila menyambung dua penyata menggunakan perkataan "atau" telah diperolehi Pemisahan itu. Dalam kehidupan seharian, konsep ini boleh dilihat dari perspektif dua makna yang berbeza. Pertama, ia adalah rasa tidak eksklusif, yang bermaksud kebenaran bersuara, tanpa mengira ungkapan sebenar salah satu daripada dua atau sememangnya mereka orang-orang yang dua. Kedua, menghapuskan erti menegaskan bahawa salah satu ungkapan adalah benar, dan yang lain - adalah palsu.

formula usulan mengandungi aksara khas. Oleh itu, dalam simbol Pemisahan V menunjukkan bahawa ungkapan adalah benar jika kebenaran sekurang-kurangnya salah satu kenyataan, dan palsu jika kedua-dua zakar palsu beliau.

Dalam menentukan implikasi terdapat dakwaan bahawa penyata asas tidak boleh menjadi benar pada siasatan yang salah. Dalam erti kata lain, konsep ini membayangkan kebenaran pergantungan atau kepalsuan ungkapan nilai komponen dan kaedah hubungan mereka itu.

Walaupun kesannya adalah amat berguna untuk tujuan-tujuan, ia tidak begitu konsisten dengan pemahaman konvensional komunikasi secara umum. Jadi, apabila ia mengelilingi peranti banyak ciri-ciri penting dalam tingkah laku logik kenyataan yang diberikan konsep mungkin tidak keterangan yang mencukupi itu.

logik usulan bertujuan untuk menyelesaikan apa-apa tugas utama, kerana pemisahan yang betul dan salah litar penaakulan dan sistematisasi pertama. Untuk mendapatkan hasil yang betul, anda perlu memberi tumpuan kepada watak-watak khas yang boleh mewakili satu atau bentuk yang lain. Oleh itu menyatakan minat dalam apa-apa kata-kata yang seolah-olah tidak penting seperti "atau", "dan," dan lain-lain

penyata logik juga mempunyai bahasa sendiri, yang terdiri daripada elemen-elemen berikut:

- watak-watak asal - pembolehubah, pemalar logik dan simbol teknikal;

- formula.

Untuk pemahaman yang lebih baik daripada apa yang telah diperkatakan anda perlu pergi ke contoh-contoh khusus. Sebagai contoh, konjungsi menggunakan simbol &, Pemisahan - \ / atau \ º /.