Untuk mendefinisikan istilah "logika proposisional", Anda perlu memahami dengan jelas apa yang "pernyataan."
Jadi pernyataan itu adalah saran, peringkat tata bahasa yang benar, dan yang salah atau benar.Gagasan ini harus mengungkapkan makna tertentu.Sebagai contoh, kalimat "burung kenari memiliki" meliputi komponen-komponen berikut: "kenari" dan "Burung".
Itu sebabnya salah satu konsep awal kunci dari logika dan mengatakan.Konsep-konsep ini adalah untuk menggambarkan situasi tertentu di mana pernyataan itu baik sesuatu atau penolakan.
Benar dianggap mengatakan, jika ditelusuri garis realitas situasi ketika circumscribing.Sendiri "false" dan "benar" menentukan pernyataan yang benar.
logika laporan terdiri dari ekspresi sederhana dan kompleks.Jadi, hanya berpikir pernyataan yang tidak termasuk dalam komposisi ekspresi lainnya.Dan untuk kompleks termasuk ekspresi yang berasal dari yang sederhana, pernyataan logis saling terkait.
logika proporsional klasik dapat diwakili oleh teori umum deduksi.Ini adalah bagian dari logika, yang menjelaskan tidak tergantung pada struktur kalimat koneksi logis ekspresi sederhana.
Belum lagi konjungsi - sebuah pernyataan yang kompleks, yang diperoleh dengan menggabungkan dua kalimat sederhana menggunakan kata "dan".Kebenaran hubungannya menegaskan keakuratan semua pernyataan termasuk dalam strukturnya.Dalam kasus di mana setidaknya salah satu anggotanya adalah palsu, seluruh hubungannya adalah tanda "kebohongan."
hubungannya sendiri berfungsi untuk membentuk laporan yang kompleks, yang didasarkan pada asumsi-asumsi ini:
- ekspresi apapun (baik sederhana dan kompleks) dapat benar atau salah;
- kebenaran ucapan kompleks tergantung pada kebenaran dari laporan yang terkandung di dalamnya dan link logis di dalamnya.
Ketika bergabung dua pernyataan dengan kata "atau" telah memperoleh disjungsi a.Dalam kehidupan sehari-hari, konsep ini dapat dilihat dari perspektif dua makna yang berbeda.Pertama, itu adalah akal non-eksklusif, yang berarti validitas ekspresi, terlepas dari ekspresi sejati satu atau dua seperti itu, mereka berdua.Kedua, menghilangkan rasa menegaskan bahwa salah satu ekspresi benar, dan yang lainnya - adalah palsu.
formula logika proposisional berisi karakter khusus.Dengan demikian, dalam simbol disjungsi V menunjukkan fakta bahwa ungkapan benar di kebenaran setidaknya salah satu pernyataan, dan false jika kedua anggotanya adalah palsu.
Dalam menentukan implikasinya ada pernyataan yang mengatakan bahwa dasar tidak mungkin benar di investigasi yang salah.Dengan kata lain, konsep ini menyiratkan kebenaran ketergantungan atau kesalahan ekspresi dari nilai komponen dan metode hubungan mereka.
Terlepas dari kenyataan bahwa implikasinya cukup berguna untuk beberapa tujuan, itu sangat tidak konsisten dengan pemahaman koneksi AC pada umumnya.Dengan demikian, dalam banyak sifat penting mengelilingi perangkat perilaku logis mengatakan konsep ini tidak dapat menjadi deskripsi yang memadai itu.
logika pernyataan bertujuan mengatasi masalah sentral ini, sebagai pemisahan skema penalaran yang benar dan salah dan sistematisasi pertama.Untuk mendapatkan hasil yang benar, Anda harus fokus pada karakter khusus yang dapat mewakili satu atau bentuk lain.Oleh karena itu bunga yang ditunjuk sedemikian kata-kata yang tampaknya tidak penting seperti "dan", "dan," dll
logika laporan bahkan memiliki bahasa sendiri, yang terdiri dari unsur-unsur berikut:
- karakter asli - variabel, konstanta dan tanda-tanda teknis logis;
- formula.
Untuk memahami apa yang telah dikatakan harus pergi ke contoh-contoh spesifik.Misalnya, menggunakan simbol hubungannya & amp;, disjungsi - \ / atau \ ยบ /.
