Нарийн төвөгтэй санал гэдэг нь логик холболтыг агуулсан бөгөөд хэд хэдэн энгийн саналаас бүрддэг.
Дараах зүйлд бид энгийн шүүлтүүдийг тодорхой гэж үзэх болно хуваагдашгүй атомууд, тэдгээрийн хослолоос үүсэх элементүүдийн хувьд нарийн төвөгтэй бүтэц. Бид энгийн саналуудыг тусад нь тэмдэглэх болно латин үсгээр: a, b, c, d, ... Ийм үсэг бүр зарим энгийн саналыг илэрхийлдэг. Үүнийг хаанаас харж болох вэ? Цогцолбороос амарч байна дотоод бүтэцэнгийн шүүлт, түүний тоо хэмжээ, чанарын хувьд, энэ нь субьект, предикаттай гэдгийг мартаж, бид шүүлтийн зөвхөн нэг шинж чанарыг хадгалдаг - энэ нь үнэн эсвэл худал байж болно. Бусад бүх зүйл биднийг энд сонирхдоггүй. "А" үсэг нь үзэл баримтлал биш, тоо биш, функц биш харин саналыг илэрхийлдэг гэж хэлэхэд бид зөвхөн нэг зүйлийг л илэрхийлдэг: "а" нь үнэн эсвэл худлыг илэрхийлдэг. Хэрэв "а" гэж бид "Имж Австралид амьдардаг" гэсэн саналыг хэлж байгаа бол бид үнэнийг хэлж байна; Хэрэв "а" гэсэн үгээр "Кенгуру Сибирьт амьдардаг" гэсэн санааг хэлж байгаа бол бид худал гэсэн үг. Тиймээс бидний үсэг "a", "b", "c" гэх мэт. – эдгээр нь үнэн эсвэл худал гэж сольж болох хувьсагч юм.
Логик холболтуудМанай уугуул иргэдийн холбоодын албан ёсны аналогийг төлөөлдөг байгалийн хэл. Энгийн өгүүлбэрүүдээс "гэхдээ", "түүнээс хойш", "эсвэл" гэх мэт холбоо үгийн тусламжтайгаар нийлмэл өгүүлбэрүүд бүтээгддэг шиг нийлмэл өгүүлбэрүүд нь энгийн үгсээс логик холболтын тусламжтайгаар үүсдэг. Энд бид сэтгэлгээ, хэл хоёрын хооронд илүү их холбоо байгааг мэдэрдэг тул дараа нь цэвэр бодол санааг илэрхийлдэг "шүүлт" гэдэг үгийн оронд бодлыг илэрхийлдэг "мэдэгдэл" гэдэг үгийг ихэвчлэн ашиглах болно. хэл шинжлэлийн илэрхийлэл. Ингээд хамгийн түгээмэл хэрэглэгддэг логик холболтуудтай танилцацгаая.
Үгүйсгэх. Байгалийн хэлээр энэ нь "Энэ нь үнэн биш ..." гэсэн илэрхийлэлтэй тохирч байна. Үгүйсгэхийг ихэвчлэн ямар нэг саналыг илэрхийлсэн үсгийн өмнө тавьсан “¬” тэмдгээр илэрхийлдэг: “¬a” нь “А гэдэг нь үнэн биш” гэж уншина. Жишээ нь: "Дэлхийг бөмбөрцөг хэлбэртэй гэдэг нь худлаа."
Та нэг нарийн нөхцөл байдалд анхаарлаа хандуулах хэрэгтэй. Дээр бид энгийн сөрөг дүгнэлтүүдийн талаар ярьсан. Тэднийг үгүйсгэсэн цогц дүгнэлтээс хэрхэн ялгах вэ? Логик нь дотоод ба гадаад гэсэн хоёр төрлийн үгүйсгэлийг ялгадаг. Хэрэв үгүйсгэх нь энгийн санал дотор "байна" гэсэн холбоосын өмнө гарч ирвэл энэ тохиолдолд бид "Дэлхий бол бөмбөрцөг биш" гэсэн энгийн сөрөг саналтай харьцаж байна. Хэрэв үгүйсгэвэл гаднаасшүүлтэд хавсаргасан байна, жишээлбэл: "Дэлхий бол бөмбөг гэдэг нь үнэн биш" гэж үзвэл ийм үгүйсгэлийг энгийн шүүлтийг нарийн төвөгтэй болгож хувиргах логик холболт гэж үзнэ.
Холболт. Байгалийн хэлээр энэ холбогч нь "ба", "а", "гэхдээ", "гэхдээ" гэх мэт холбоосуудтай тохирдог. Ихэнх тохиолдолд холболтыг "&" тэмдгээр тэмдэглэдэг. Одоо энэ дүрс нь янз бүрийн компани, аж ахуйн нэгжүүдийн нэрсээс ихэвчлэн олддог. Ийм холбогчтой саналыг коньюнктив буюу энгийн холбоос гэж нэрлэдэг бөгөөд дараах байдлаар харагдана.
a&b. Жишээ нь: "Өвөөгийн сагсанд зулзаган ба зулзага байсан." Энэхүү нарийн төвөгтэй шүүлт нь "Миний өвөөгийн сагсанд мөөг байсан" ба "Миний өвөөгийн сагсанд мөөг байсан" гэсэн хоёр энгийн саналын нэгдэл юм.
Салалт. Байгалийн хэлээр энэ холбогч нь "эсвэл" гэсэн холбоостой тохирч байна. Үүнийг ихэвчлэн "v" үсгээр тэмдэглэдэг. Ийм холбогчтой шүүлтийг дизьюнктив буюу зүгээр л дизьюнкц гэж нэрлэдэг бөгөөд дараах байдлаар харагдана: a v b.
Байгалийн хэл дээрх "эсвэл" гэсэн холбоосыг хоёр хэлбэрээр ашигладаг өөр өөр утгатай: сул “эсвэл” – хуваагдлын гишүүд бие биенээ үгүйсгэхгүй байх үед, i.e. нэгэн зэрэг үнэн байж болох ба хатуу “эсвэл” (ихэвчлэн “эсвэл... эсвэл...” хос холбоосоор солигддог) - салалтын гишүүд бие биенээ үгүйсгэх үед. Үүний дагуу хатуу ба хатуу бус гэсэн хоёр төрлийн хуваагдлыг ялгадаг.
Үр дагавар. Байгалийн хэлээр "хэрэв ... тэгвэл" гэсэн холбоостой тохирно. Үүнийг "->" тэмдгээр илэрхийлнэ. Ийм холбогчтой саналыг импликатив буюу энгийн далд утга гэж нэрлэдэг бөгөөд дараах байдлаар харагдана: a -> b. Жишээ нь: “Хэрэв кондуктор тэнцсэн бол цахилгаан гүйдэл, дараа нь дамжуулагч халаана." Далд утга санааны эхний гишүүнийг өмнөх буюу суурь гэж нэрлэдэг; хоёр дахь нь үр дагавар буюу үр дагавар юм. Өдөр тутмын хэлэнд “хэрэв... тэгвэл” гэсэн холбоос нь ихэвчлэн юмс үзэгдлийн шалтгаан-үр дагаврын холбоог илэрхийлсэн өгүүлбэрүүдийг холбож, эхний өгүүлбэр нь шалтгааныг засаж, хоёр дахь нь үр дагаварыг илэрхийлдэг. Эндээс далд утгын гишүүдийн нэрс гарчээ.
Дээрх тэмдэглэгээг ашиглан байгалийн хэлний мэдэгдлийг бэлгэдлийн хэлбэрээр илэрхийлэх нь тэдгээрийг албан ёсны болгох гэсэн үг бөгөөд энэ нь олон тохиолдолд ашигтай байдаг.
4) Дулаан далайд үзэсгэлэнтэй арал хэвтэж байв. Бүх зүйл сайхан болно, гэхдээ үл таних хүмүүс энэ арал дээр суурьших зуршилтай болжээ. Тэд дэлхийн өнцөг булан бүрээс ирж, ирж, уугуул иргэд нь шахагдаж эхэлсэн. Арлын захирагч харийнхны довтолгооноос сэргийлэхийн тулд зарлиг буулгаж: “Манай адислагдсан арал дээр суурьшихыг хүссэн зочин бүр ямар нэгэн дүгнэлт хийх үүрэгтэй. Хэрэв шүүхийн шийдвэр үнэн бол үл таних хүнийг буудах ёстой; Хэрэв шүүхийн шийдвэр худал болвол дүүжлэх ёстой” гэж хэлсэн. Хэрэв чи айж байгаа бол амаа татаад буц!
Асуулт нь: Амьд үлдэж, арал дээр суурьшихын тулд ямар дүгнэлт хийх ёстой вэ?
| |
Үгүйсгэх (тэмдэг). Хэрэв А нь мэдэгдэл бол (унш: А биш) нь мөн мэдэгдэл болно; Энэ нь А мэдэгдэл худал эсвэл үнэн эсэхээс хамаарч үнэн эсвэл худал гэдгийг бид мэдэгдлийн онол дахь үйлдэл нь үгийн энгийн утгаараа үгүйсгэх ойлголттой бүрэн нийцэж байгааг харж байна. Үгүйсгэх үйлдлийг хүснэгтээр дүрсэлж болно
Холболт. l тэмдгийг холболтын тэмдэг болгон ашигладаг, мөн & (өөрөөр хэлбэл холбоос болон- Мөн).
Хэрэв АТэгээд IN- дараа нь мэдэгдэл А ˄ IN(уншсан: АТэгээд IN) - шинэ мэдэгдэл. Энэ нь зөвхөн хэрвээ л үнэн юм Аүнэн ба INүнэн.
Нэг үндсэн өгүүлбэрээс хамаарах үгүйсгэх үйлдлээс ялгаатай нь бидний өгсөн дараагийн бүх холболтын нэгэн адил холболт нь хоёр үндсэн өгүүлбэрээс хамаардаг тул тэдгээрийг хоёр оронтой холбогч гэж нэрлэдэг бол үгүйсгэх нь нэг байрт холбогч юм.
Давхар холбогчийг тодорхойлохын тулд үнэний матрицыг хоёр оролттой хүснэгт хэлбэрээр бичих нь тохиромжтой: мөрүүд нь нэг энгийн мэдэгдлийн үнэний утгатай, баганууд нь өөр нэг энгийн мэдэгдлийн утгатай тохирч байна. харгалзах нийлмэл өгүүлбэрийн үнэний утгыг багана ба мөр огтолж буй нүдийг байрлуулна.
Нарийн төвөгтэй мэдэгдлийн үнэний үнэ цэнэ А˄ INматрицаар өгөгдсөн:
Таны харж байгаагаар холболтын үйл ажиллагааны тодорхойлолт нэлээд нийцэж байна ердийн утга"у" холбоос. Жишээлбэл, автомат шугамыг ослоос хамгаалах асуудал нь EA үйл ажиллагааны найдвартай байдлаас ихээхэн хамаардаг. Контактуудыг хаах үед үүсэх чичиргээний нөлөөллийг цахилгаан соронзон хөтөчийн механик болон зүтгүүрийн шинж чанарын харьцаагаар зохицуулдаг.
Салалт.Бид ˅ тэмдгийг салгах тэмдэг болгон ашиглах болно. Хэрэв A ба B нь мэдэгдэл бол A v B (унших: A эсвэл B) нь шинэ мэдэгдэл болно. A ба B худал бол худал; бусад бүх тохиолдолд A v INүнэн. Тиймээс салгах үйлдлийн үнэний матриц дараах байдалтай байна.
Салгах үйл ажиллагаа нь тохирч байна хэвийн утганэгдэл "эсвэл".Жишээлбэл, контактын элэгдлийг уналтыг сонгох эсвэл үйл ажиллагааны өмнө ба дараа жинлэхэд хянадаг.
Үр дагавар.Үүний шинж тэмдэг болгон бид тэмдгийг ашиглах болно. Хэрэв А ба В хоёр мэдэгдэл байвал А IN(унш: A нь B гэсэн үг) нь шинэ мэдэгдэл юм. Хэзээнээс бусад тохиолдолд энэ нь үргэлж үнэн байдаг Аүнэн гэхдээ INхудлаа.
Далд үйл ажиллагааны үнэний матриц нь дараах байдалтай байна.
Далд утгаар А INэхний улирал Аөмнөх үе, хоёр дахь нэр томъёо гэж нэрлэдэг IN- үр дагавартай.
"Хэрэв А, Тэр IN", "-аас Аёстой IN», « А - хангалттай нөхцөлУчир нь IN".
Хэрэв гүйдэл тэгээр дамжсаны дараа харилцан үйлчлэлийн цоорхой дахь эсэргүүцлийн өсөлт нь хүчдэлийн өсөлтөөс илүү хүчтэй байвал нум дахин асахгүй. Хэрэв гүйдэл богино холболтгал хамгаалагчийн холбоосын хайлах гүйдлээс ихээхэн давж, гал хамгаалагч нь шатаж, гал хамгаалагч нь цахилгаан хэлхээг унтраадаг.
Тэнцүү байдал.Энэ үйлдэлд ⇔ тэмдгийг ашиглана. Үйлдлийг дараах байдлаар тодорхойлно: хэрэв А ба Б- мэдэгдэл, дараа нь A ⇔ IN(уншсан: Атэнцүү IN) нь аль аль нь үнэн эсвэл хоёулаа худал бол үнэн болох шинэ мэдэгдэл юм.
Оруулсан холбогчийг ашиглан та зөвхөн хоёроос гадна ямар ч тооны энгийн хэллэгээс хамаарах нарийн төвөгтэй мэдэгдлийг байгуулж болно.
Нэрлэсэн гүйдлийн горимд 25...600 Ахос контактууд гүйцэтгэх боломжтой давхар үүрэг: асаалттай байрлалд гүйдэл удаан үргэлжлэх ба унтрах, нум үүсэх үед. Эхний тохиолдолд контактууд нь контактын эсэргүүцэл багатай байх ёстой; хоёрдугаарт, өндөр контактын эсэргүүцэлтэй байх шаардлагыг тавьдаг. Аль ч тохиолдолд нэг үе шаттай холбоо барих системийг ашигладаг. Хоёр процесс хоёулаа контактын элэгдэлд нөлөөлдөг.
Анхаарна уу.Хатуу бус тэгш бус байдал нь А дизюнкц юм<В ˅ (А = В).Оно истинно, если истинно по меньшей мере одно из входящих в него простых высказываний. Примерами сложных высказываний, встречающихся в практике, являются так называемые двойные неравенства А< В < С(А < В) ˄ (В < С), а, например, означает сложное высказывание (А< В) ˄ ((В Энгийн хэллэгүүдийн үнэний утгыг агуулсан байх тул холболтын тодорхойлолт дээр үндэслэн нийлмэл өгүүлбэрийн үнэний утгыг тооцоолоход хялбар байдаг. Нарийн төвөгтэй мэдэгдлийг ((B ˅ C) ⇔ (B ˄ A)) өгөөд түүнд багтсан энгийн өгүүлбэрүүд дараах үнэний утгатай байг: A = L, B = I, C =
I. Дараа нь B ˅ C = I, B ˄ A = L, тиймээс асуултанд байгаа мэдэгдэл ((B ˅ C) ⇔ (B ˄ A)) худал байна. анхан шатны хэллэгүүдээс нарийн төвөгтэй мэдэгдлүүд (томьёо) бүрдүүлэхэд ашигладаг логик хэлний тэмдэгтүүд. Логик холбогчийг мөн эдгээр тэмдэгтүүдэд тохирох байгалийн хэлний холбоо гэж нэрлэдэг. Ихэнхдээ логик холболтыг холбогч ("ба" холбоос", бэлгэдлийн тэмдэглэгээ: &, l ба үржүүлэх тэмдгийн хэлбэрээр тэмдэглэсэн цэгийг ихэвчлэн орхигдуулдаг, A ба B холбоосыг AB гэж бичдэг), дизьюнкц зэрэг логик холболтуудыг ашигладаг. ("эсвэл", "v" гэж тэмдэглэсэн сул холбоос), далд утга ("хэрэв..., тэгвэл" гэсэн тэмдгээр тэмдэглэнэ, . Саналын үнэний функц нь жагсаасан олонлог бүрд үнэний утгуудын нэгийг онооно - 1 эсвэл 0. A& илэрхийлэлд өгөгдсөн холболт нь зөвхөн A ба B хоёулаа 1 гэсэн утгатай, өөрөөр хэлбэл 1 гэсэн утгатай байна. A&.B нь 0. Б дизюнкц нь эсрэгээр, зөвхөн нэг тохиолдолд худал болно, А хоёулаа худал, B үед. А ба В утга нь зөвхөн А үнэн (өмнөх) ба B худал ( үр дагавар). Бусад тохиолдолд A => B нь 1 гэсэн утгыг авна. Дөрвөн нэгдмэл функцээс зөвхөн үгүйсгэх нь сонирхол татахуйц бөгөөд мэдэгдлийн утгыг эсрэгээр нь өөрчлөх: А нь үнэн, -А нь худал, дэд нь. эсрэгээр. Бусад бүх нэгдмэл болон хоёртын сонгодог функцуудыг танилцуулсан функцээр илэрхийлж болно. Харгалзах семантикт батлагдсан логик холболтын систем нь бусад бүх зүйлийг тодорхойлох боломжийг бидэнд олгодог бол үүнийг функциональ бүрэн гэж нэрлэдэг. Сонгодог логикийн иж бүрэн системд, тухайлбал, коньюнкц ба үгүйсгэлт; салгах ба үгүйсгэх; нөлөөлөл ба үгүйсгэл. Де Морганы хуулиуд гэж нэрлэгддэг (A&B) = -i(-i/4v-i.) ба (A v B) a -,(-&-) гэсэн эквивалентуудын улмаас коньюнкц ба дизьюнкцийг бие биенээр нь тодорхойлох боломжтой. : (A ^B)s(-iA^ B), (A&B) s -,(A e -), (B) = ((A => B) zA). A = B хэлбэрийн аливаа эквивалент нь зөвхөн (A =) B) & (B e A) холболт ерөнхийдөө хүчинтэй (үргэлж үнэн) үед л хүчинтэй байна. -(B) ба -(A&.B) гэж тус тус тодорхойлсон antidisjunction болон anticonjunction функцууд нь тус бүр нь функциональ бүрэн холболтын системийг тус тусад нь төлөөлдөг. Энэ сүүлчийн нөхцөл байдлыг К.Пирс (1880 онд амьд ахуйдаа хэвлэгдээгүй бүтээл) аль хэдийн мэдэж байсан бөгөөд Х.М.Шефиер дахин нээсэн юм. Antidisjunction-ийг цорын ганц логик холбогч болгон ашиглаж 1913 онд Шеффер бүтээжээ бүрэн тооцоомэдэгдэл. Антидисьюнкцийг A B гэж тэмдэглэсэн бөгөөд үүнийг Шеферийн анхны хэмжигдэхүүн гэж нэрлэдэг энэ илэрхийлэл, "Д биш, Б биш" гэж. Ж.Г.П.Никод эсрэг холболтын хувьд ижил тэмдэглэгээг ашигласан (“А ба В хоёулаа хоёулаа гэдэг нь үнэн биш”) ба зөвхөн энэ холбогчийг ашиглан 1917 онд тэрээр нэг (зөвхөн!) аксиом, нэг дүгнэлт гаргах дүрэм бүхий бүрэн саналын тооцоог томъёолжээ. . Тиймээс Шефферийн цус харвалт нь үндсэндээ босоо шугам бөгөөд өөр өөр зохиогчдын үзэж байгаагаар салалтын эсрэг ба эсрэг холболтыг хоёуланг нь илэрхийлж болно. Логик холболтуудын өргөтгөл нь тэдэнд өвөрмөц байдлыг өгч, логик тооцоог бий болгох асуудлыг хялбарчилж, тууштай байдал, шийдэмгий байдал, бүрэн бүтэн байдлын метатеолын асуудлыг шийдвэрлэх боломжийг олгодог (Металогикийг үзнэ үү). Гэсэн хэдий ч зарим тохиолдолд холбогчийг үнэн-үйл ажиллагааны тайлбар нь байгалийн хэлээр хэрхэн ойлгогдохтой ихээхэн зөрүүдэхэд хүргэдэг. Тиймээс далд утгын үнэнийг тайлбарлах нь биднийг танихад хүргэдэг зөв өгүүлбэрүүд"Хэрэв А бол В" гэсэн хэлбэртэй, А ба В мэдэгдлийн хооронд (мөн үүний дагуу тэдгээрийн үйл явдлууд) бид ярьж байна) байхгүй бодит холболт. А нь худал эсвэл В үнэн байх нь хангалттай. Тиймээс "Хэрэв А бол В" ба "Хэрэв В бол А" гэсэн хоёр өгүүлбэрийн ядаж нэгийг нь үнэн гэж хүлээн зөвшөөрөх ёстой бөгөөд энэ нь нөхцөлт холбогчийн ердийн хэрэглээнд тохирохгүй байна. Доорх нөлөө энэ тохиолдолдтусгайлан "материал" гэж нэрлэдэг бөгөөд ингэснээр түүнийг үнэн нөхцөл байдлын өгүүлбэрийн өмнөх болон үр дагавар хоёрын хооронд бодит холболт байдаг гэж үздэг болзолт холбоосоос ялгадаг. Үүний зэрэгцээ, материаллаг нөлөөллийг олон нөхцөл байдалд, жишээлбэл, математикийн хувьд мартаж болохгүй үед төгс ашиглаж болно. өвөрмөц онцлог. Гэсэн хэдий ч зарим тохиолдолд нөхцөл байдал нь нөхцөлт холбоосыг материаллаг далд утга гэж тайлбарлахыг зөвшөөрдөггүй бөгөөд энэ нь өгүүлбэрүүдийн харилцан уялдаа холбоог санал болгодог. Ийм контекстийг шинжлэхийн тулд тусгайлан бүтээх шаардлагатай сонгодог бус логик, жишээ нь, хамааралтай (Холбогдох логикийг үзнэ үү), оронд нь хэлээр нь материаллаг үр дагавар(эсвэл үүнтэй зэрэгцэн) эрчимтэй (үндэслэлээр) ойлгогдох, үнэнийг нь үнэн-функциональ байдлаар зөвтгөх боломжгүй бусад үр дагаврыг нэвтрүүлсэн. Бусад логик холболтуудыг мөн эрчимтэй тайлбарлаж болно. Дүрмийн үүднээс авч үзвэл мэдэгдэл нь тунхаг өгүүлбэр юм. Нарийн төвөгтэй өгүүлбэрүүдтодорхой ойлголт, логик холболтыг илэрхийлсэн хэллэгээс бүтээгдсэн. NOT, AND, OR, IF... THEN, THE THE AND ON ON THE EXISTS, ALL болон бусад зарим үгсийг логик холбогч (оператор) гэж нэрлэдэг ба утга. логик үйлдлүүд, үүний тусламжтайгаар бусад нь нэг өгүүлбэрээс бүтдэг. Логик холбоогүй өгүүлбэрүүд нь үндсэн шинж чанартай байдаг тул хэсэг бүрийг өгүүлбэр болгон хувааж болохгүй. Анхан шатны мэдэгдлийг мөн мэдэгдэл (шүүлт) гэж нэрлэдэг. Мэдэгдэл нь объект, үзэгдэл, үйл явцын талаархи мэдээллийг агуулдаг. Анхан шатны мэдэгдэл нь субьект (логик субьект) - мэдэгдэлд яригдаж байгаа зүйл, предикат (логик предикат) - сэдвийн талаархи мэдэгдэлд батлагдсан эсвэл үгүйсгэгдсэн зүйлээс бүрдэнэ. Иймээс мэдэгдэл гэдэг нь субьект ба предикатын үүрэг гүйцэтгэдэг ойлголтуудын логик холболтыг батлах эсвэл үгүйсгэх сэтгэлгээний хэлбэр юм. энэ мэдэгдлийн. Энэхүү холболтын бодит байдалтай нийцэх эсвэл үл нийцэх байдал нь мэдэгдлийг (шүүлт) үнэн эсвэл худал болгодог. Өгүүлбэрийн субьект ба предикатын хоорондох логик холболтыг ихэвчлэн IS эсвэл IS БИШ гэсэн холбогч хэлбэрээр илэрхийлдэг боловч өгүүлбэрт энэ холболт байхгүй байж болох ч зөвхөн далд утгатай байдаг. Үүний зэрэгцээ өгүүлбэрийн субьект нь зөвхөн өгүүлбэрийн субьектээр илэрхийлэгдэхгүй, харин уг өгүүлбэр нь зөвхөн өгүүлбэрээр илэрхийлэгдэхгүй (эдгээр нь өгүүлбэрийн бусад гишүүд байж болно). Өгүүлбэрийн субьект гэж юуг хэлэх, өгүүлбэрийн предикат юу болохыг логик өргөлтөөр тодорхойлно. Логик стрессилтгэгч эсвэл сонсогчдод зориулсан өгүүлбэрт агуулагдах утгатай холбоотой. Маягтын дагуу мэдэгдлүүд нь энгийн (байсан) гэж хуваагддаг логик хэлбэр « СБайна П"эсвэл" Сидэж болохгүй П", Хаана С- сэдэв, П– предикат) ба төвөгтэй (дүрмийн хувьд нийлмэл өгүүлбэрээр илэрхийлэгддэг). Энгийн хэллэгийн жишээ: "Бүх баавгай зөгийн бал дуртай" гэсэн нарийн төвөгтэй үг: "Зарим баавгай зөгийн бал, залуу хулсны найлзуурыг хайрладаг." Энгийн үгсилэрхийлэх боломжийг танд олгоно дараах төрлүүдүгс: · attributive statements – өмч нь объект, ангид хамаарах эсэхийг илэрхийлдэг (жишээлбэл, Дэлхий бол гариг); · харилцааны тухай мэдэгдэл - объектуудын хоорондын хамаарлын тухай ярих (жишээлбэл, 3<5
); · оршихуйн мэдэгдлүүд (оршихуйн мэдэгдлүүд) – объект, үзэгдлийн орших, эс оршихуйн тухай ярих. Тодорхойлолтын багц дээрх үйлдлүүд. Энгийн хэллэгээс хүн зохиож болно нарийн төвөгтэй мэдэгдэллогик үйлдлүүдийг ашиглах. Нарийн нийлмэл өгүүлбэрийн нэг хэсэг болох анхан шатны мэдэгдлүүд нь логик операторуудаар утгын тайлбараар бус зөвхөн үнэн утгаараа холбогддог. Тиймээс нарийн төвөгтэй мэдэгдлүүд нь тэдгээрт багтсан энгийн мэдэгдлүүдийн үүрэг юм. Саналын логик дахь бүх үйлдлүүдийг зөвхөн үнэний хүснэгтээр тайлбарладаг. Мэдээллийн багц дээрх үйлдлүүд нь: · Татгалзах. Үүний үнэний хүснэгт нь: Байгалийн хэлээр үүнийг ихэвчлэн "ба" гэсэн холбоосоор тайлбарладаг. · Хоёр элементийн хэллэгийн дизьюнкц нь үндсэн заалтуудын ядаж нэг нь үнэн байвал үнэн болно. Үүнийг заримдаа логик нэмэх эсвэл логик максимум гэж нэрлэдэг. Дизюнкцийн үнэний хүснэгт дараах байдалтай байна. · XOR үйлдлийг дараах үнэний хүснэгтээр өгөгдсөн бөгөөд операндуудын зөвхөн нэг нь үнэн үед үнэн болно. Энэ үйлдлийг хатуу салгах буюу логик тэгш бус байдал гэж бас нэрлэдэг. Математикийн теоремуудыг ихэвчлэн ийм хэлбэрээр томъёолдог. Хэрэв теоремыг өөр аргаар томъёолсон бол мөн чанарыг нь алдалгүйгээр заасан хэлбэрээр дахин илэрхийлж болно. Нарийн төвөгтэй санал гэдэг нь логик холболтыг агуулсан бөгөөд хэд хэдэн энгийн саналаас бүрддэг. Дараах зүйлд бид энгийн шүүлтүүдийг тодорхой хуваагдашгүй атомууд гэж үзэх болно нийлбэрээс цогц бүтэц бий болдог элементүүд. Бид энгийн саналуудыг тусдаа латин үсгээр тэмдэглэнэ: a, b, c, d,... Ийм үсэг бүр нь тодорхой энгийн саналыг илэрхийлдэг. Үүнийг хаанаас харж болох вэ? Энгийн шүүлтийн нарийн төвөгтэй дотоод бүтцээс, түүний тоо хэмжээ, чанараас анхаарал сарниулж, түүнд сэдэв, предикат агуулагдаж байгааг мартаж, бид шүүлтийн зөвхөн нэг шинж чанарыг хадгалдаг - энэ нь үнэн эсвэл худал байж болно. Бусад бүх зүйл энд биднийг сонирхдоггүй. "А" үсэг нь үзэл баримтлал биш, тоо биш, функц биш харин саналыг илэрхийлдэг гэж хэлэхэд бид зөвхөн нэг зүйлийг л илэрхийлдэг: энэ "а" нь үнэн эсвэл худлыг илэрхийлдэг. Хэрэв "а" гэсэн үгээр бид "Имж Австралид амьдардаг" гэсэн саналыг хэлж байгаа бол бид үнэнийг хэлж байна; Хэрэв "а" гэсэн үгээр "Кенгуру Сибирьт амьдардаг" гэсэн санааг илэрхийлж байгаа бол бид худал гэсэн үг юм. Тиймээс бидний үсэг "a", "b", "c" гэх мэт. - эдгээр нь үнэн эсвэл худал гэж сольж болох хувьсагч юм. Логик холбогч нь бидний төрөлх хэл дээрх холбоосуудын албан ёсны аналог юм. Энгийн өгүүлбэрүүдээс "гэхдээ", "түүнээс хойш", "эсвэл" гэх мэт холбоо үгийн тусламжтайгаар нийлмэл өгүүлбэрүүд бүтээгддэг шиг нийлмэл өгүүлбэрүүд нь энгийн үгсээс логик холболтын тусламжтайгаар үүсдэг. Энд бид сэтгэлгээ, хэл хоёрын хооронд илүү их холбоо байгааг мэдэрч байгаа тул дараа нь цэвэр бодлыг илэрхийлдэг "шүүлт" гэдэг үгийн оронд хэл шинжлэлийн илэрхийлэлд бодлыг илэрхийлдэг "мэдэгдлийн" гэсэн үгийг ихэвчлэн ашиглах болно. Ингээд хамгийн түгээмэл хэрэглэгддэг логик холболтуудтай танилцацгаая. Үгүйсгэх. Байгалийн хэлээр энэ нь "Энэ нь үнэн биш ..." гэсэн илэрхийлэлтэй тохирч байна. Үгүйсгэхийг ихэвчлэн ямар нэг саналыг илэрхийлсэн үсгийн өмнөх “-” тэмдгээр илэрхийлдэг: “-a” нь “А гэдэг нь үнэн биш” гэж уншина. Жишээ нь: "Дэлхийг бөмбөрцөг хэлбэртэй гэдэг нь худлаа." Та нэг нарийн нөхцөл байдалд анхаарлаа хандуулах хэрэгтэй. Дээр бид энгийн сөрөг дүгнэлтүүдийн талаар ярьсан. Тэднийг үгүйсгэсэн цогц дүгнэлтээс хэрхэн ялгах вэ? Логик нь дотоод ба гадаад гэсэн хоёр төрлийн үгүйсгэлийг ялгадаг. Хэрэв үгүйсгэлт нь "байна" гэсэн холбоосын өмнө энгийн санал дотор байгаа бол энэ тохиолдолд бид "Дэлхий бол бөмбөрцөг биш" гэсэн энгийн сөрөг саналтай харьцаж байна. Хэрэв үгүйсгэл нь шүүлтэд гаднаас нь хавсаргасан бол, жишээлбэл: "Дэлхий бол бөмбөг гэдэг нь худлаа" гэж үзвэл ийм үгүйсгэлийг энгийн шүүлтийг нарийн төвөгтэй болгож хувиргадаг логик холболт гэж үзнэ. Холболт. Байгалийн хэлээр энэ холбогч нь "ба", "а", "гэхдээ", "гэхдээ" гэх мэт холбоосуудтай тохирдог. Ихэнх тохиолдолд холболтыг "&" тэмдгээр илэрхийлдэг. Одоо энэ дүрс нь янз бүрийн компани, аж ахуйн нэгжүүдийн нэрсээс ихэвчлэн олддог. Ийм холбогчтой саналыг коньюнктив буюу энгийн холбоос гэж нэрлэдэг бөгөөд дараах байдлаар харагдана. a & b. Жишээ нь: "Өвөөгийн сагсанд зулзаган ба зулзага байсан." Энэхүү нарийн төвөгтэй шүүлт нь хоёр энгийн шүүлтийн нэгдэл юм: - "Миний өвөөгийн сагсанд зулзаган мөөг байсан" ба "Миний өвөөгийн сагсанд болетус байсан". Салалт. Байгалийн хэлээр энэ холбогч нь "эсвэл" гэсэн холбоостой тохирч байна. Үүнийг ихэвчлэн "v" үсгээр тэмдэглэдэг. Ийм холбогчтой шүүлтийг дизьюнктив буюу зүгээр л дизьюнкц гэж нэрлэдэг бөгөөд дараах байдлаар харагдана: a v b. Байгалийн хэл дээрх "эсвэл" холбоосыг хоёр өөр утгаар ашигладаг: сул "эсвэл" - салангид гишүүд бие биенээ үгүйсгэхгүй, өөрөөр хэлбэл. нэгэн зэрэг үнэн байж болно, мөн хатуу “эсвэл” (ихэвчлэн “эсвэл..., эсвэл...” хос холбоосоор солигддог) - салалтын гишүүд бие биенээ үгүйсгэх үед. Үүний дагуу хатуу ба хатуу бус гэсэн хоёр төрлийн хуваагдлыг ялгадаг. Үр дагавар. Байгалийн хэлээр "хэрэв ... тэгвэл" гэсэн холбоостой тохирно. Үүнийг "->" тэмдгээр илэрхийлнэ. Ийм холбогчтой саналыг импликатив буюу энгийн далд утга гэж нэрлэдэг бөгөөд дараах байдлаар харагдана: a -> b. Жишээ нь: "Хэрэв цахилгаан гүйдэл дамжуулагчаар дамжин өнгөрвөл дамжуулагч халаана." Далд утга санааны эхний гишүүнийг өмнөх буюу суурь гэж нэрлэдэг; хоёр дахь нь үр дагавар буюу үр дагавар юм. Өдөр тутмын хэлэнд “хэрэв... тэгвэл” гэсэн холбоос нь ихэвчлэн юмс үзэгдлийн шалтгаан-үр дагаврын холбоог илэрхийлсэн өгүүлбэрүүдийг холбож, эхний өгүүлбэр нь шалтгааныг засаж, хоёр дахь нь үр дагаварыг илэрхийлдэг. Эндээс далд утгын гишүүдийн нэрс гарчээ. Дээрх тэмдэглэгээг ашиглан байгалийн хэлний мэдэгдлийг бэлгэдлийн хэлбэрээр илэрхийлэх нь тэдгээрийг албан ёсны болгох гэсэн үг бөгөөд энэ нь олон тохиолдолд ашигтай байдаг. 4) Дулаан далайд үзэсгэлэнтэй арал хэвтэж байв. Бүх зүйл сайхан болно, гэхдээ үл таних хүмүүс энэ арал дээр суурьших зуршилтай болжээ. Тэд дэлхийн өнцөг булан бүрээс ирж, ирж, уугуул иргэд нь шахагдаж эхэлсэн. Арлын захирагч харийнхны довтолгооноос сэргийлэхийн тулд зарлиг буулгаж: “Манай адислагдсан арал дээр суурьшихыг хүссэн зочин бүр ямар нэгэн дүгнэлт хийх үүрэгтэй. Хэрэв шүүхийн шийдвэр үнэн бол үл таних хүнийг буудах ёстой; Хэрэв шүүхийн шийдвэр худал болвол дүүжлэх ёстой” гэж хэлсэн. Хэрэв чи айж байгаа бол амаа татаад буц! Асуулт нь: Амьд үлдэж, арал дээр суурьшихын тулд ямар дүгнэлт хийх ёстой вэ?
