Propositional логик

нэр томъёог "propositional логик" гэдэг нэр томъёог тулд, энэ нь "мэдэгдэл" гэж юу болохыг тодорхой ойлгох нь чухал юм.

Тэгэхээр мэдэгдэл нь өгүүлбэр, эрэмбэлсэн дүрмийн зөв юм, хуурамч буюу үнэн юм. Энэ ойлголт нь тодорхой утгыг илэрхийлэх ёстой. "Канарын" болон "шувуу" Жишээ нь, өгүүлбэр нь дараах бүрэлдэхүүн хэсгүүдийг агуулсан "Канарын шувуу нь байна."

яагаад, логик гол анхны үзэл баримтлалын нэг нь хэлж байгаа юм. Энэ ойлголт нь мэдэгдэл ямар нэгэн зүйл, эсвэл татгалзах аль болох тодорхой нөхцөл байдлыг тайлбарлах ёстой.

Энэ нь нөхцөл байдлыг мөрдөн мөр бодит байдал дээр энэ нь circumscribing үед бол үнэн мэдэгдэл гэж үзэж байна. өөрсдөө, "хуурамч" болон "үнэн" тайлангийн үнэн тодорхойлно.

Propositional логик энгийн, нийлмэл илэрхийлэл бүрдэнэ. Тиймээс зүгээр л түүний бүтэц нь бусад илэрхийлэлд нь байдаггүй мэдэгдэл гэж бодож байна. Тэгээд цогцолбор нь энгийн, логикийн хувьд холбогдсон тайлан гаргаж авсан байна илэрхийлсэн байдаг.

Сонгодог propositional логик хасалт ерөнхий онолын төлөөлж болно. Энэ нь логик, энгийн илэрхийлэлд логик холболт тайланд хамааралтай байж харуулсан тэр хэсэг юм.

хэцүү саналаа үгийг "болон" ашиглан хоёр энгийн илэрхийлэл хослуулах замаар олж авсан - conjunctions дурьдах байх. хамтран үнэн бүх тайланг түүний бүтцэд оруулсан гэж баталж байна. тохиолдолд хаана түүний гишүүд нь хуурамч наад зах нь нэг бүхэл бүтэн Холбоос шинж тэмдэг юм "худал".

Өөрөө цогц тайлан, эдгээр таамаглал дээр үндэслэсэн байдаг бүрдүүлэх нь Холбоос нь:

- ямар нэгэн илэрхийлэл (мөн энгийн, цогцолбор) үнэн эсвэл худал ч байж болно;

- цогц өгүүлбэр нь үнэн, энэ агуулагдах тайлан дотор логик холбоосыг үнэний хамаарна.

гэдэг үгийг ашиглан хоёр тайланг холбогдох үед "эсвэл" аль хэдийн disjunction олж авсан байна. өдөр тутмын амьдралд, энэ үзэл баримтлал нь хоёр өөр утгаар талаас нь харж болно. Нэгдүгээрт, төрийн бус онцгой мэдрэмж үл хамааран хоёр нэг үнэн нь үзэл бодлоо илэрхийлэх, үзэл бодлоо илэрхийлэх эрх үнэнийг хэлнэ, эсвэл хоёр тэдгээр байдаг юм. Хоёрдугаарт, мэдрэмжийг арилгах илэрхийллүүдийн аль нэгийг нь үнэн гэдгийг батлан хэлсэн болон бусад - хуурамч юм.

Propositional томъёо тусгай тэмдэгт агуулсан байдаг. Тиймээс disjunction тэмдэгт V илэрхийлэл үнэн гэдгийг харуулж байна уу тайлангийн нэг наад зах нь, аль аль нь түүний хуурамч шодой бол худал үнэн.

нөлөөтэй тодорхойлохдоо үндсэн тайланг буруу мөрдөн байцаалтын үед үнэн байж болохгүй батламж байна. Өөрөөр хэлбэл, энэ ойлголтыг илэрхийлж хараат үнэн, эсвэл falsity нь The илэрхийлэл нь The үнэ цэнэ нь түүний бүрэлдэхүүн, арга нь тэдний харилцаа.

Дүгнэлт нь зарим нэг зорилгоор маш ашигтай байдаг гэсэн хэдий ч, энэ нь ерөнхийдөө харилцаа холбооны уламжлалт ойлголт нь маш тууштай байна. Тиймээс үед энэ нь ойлголтыг өгсөн тайлангийн логик зан чухал онцлог нь олон Хэрэв зохих тайлбар байж болох юм төхөөрөмж тойрсон.

зөв, буруу хэлхээ шалтгаан, системтэй анхны салгах гэж ийм төв зорилтыг шийдвэрлэхэд чиглэсэн Propositional логик. зөв үр дүнг олж авахын тулд та нэг буюу өөр хэлбэрээр илэрхийлж болно тусгай тэмдэгтийн анхаарлаа хандуулах хэрэгтэй. Иймээс зэрэг "буюу" Ийм мэт санагдах өчүүхэн хэлбэл сонирхол ", болон" гэх мэт заасан

Логик тайлан ч Дараах элементүүд бүрдсэн, өөрийн хэлийг байна:

- анхны тэмдэгт - хувьсагчууд, логик тогтмолууд, техникийн тэмдэглэгээ;

- томъёо.

гэж байна юу нь илүү сайн ойлгоход нь та тодорхой жишээн дээр очих ёстой. \ / Буюу \ º / - Жишээ нь, Холбоос бэлгэдэл &, disjunction ашигладаг.