Айтылыштар логика

терминди "Айтылыштар логика" аныктоо үчүн, бул "Арыз" деген эмне экендигин так түшүнүү керек.

Ошондуктан, бул сөздөрдүн бир өкүм болуп саналат, грамматикалык жактан туура, жалган же чын орунду ээлеп келет. Бул түшүнүк бир мааниге билдирүүгө тийиш. Мисалы, сөз төмөнкү компоненттерди камтыйт: "канарейка канаттууну бир бар", "Мадрид" жана "куш".

Бул логикага негизги алгачкы түшүнүктөрү жана бири деп жатышат, ошондуктан. Бул түшүнүктөр билдирүү нерсе жана алардан баш тартууга, же кайсы бир конкреттүү кырдаалды сүрөттөө керек.

Ал кандай шарттарда жатат кырдаалды башынан сап чындык болгондо, анда ал чыныгы билдирүү болуп эсептелет. өзүнөн-өзү, "жалган" жана "чыныгы" отчеттун чындыкты аныктоого.

Айтылыштар логика жөнөкөй жана татаал сөздөр турат. Демек, бир гана анын курамы башка сөз камтылган эмес сөздөрдү деп ойлойм. Ал комплекстин жөнөкөй, логикалык жактан байланышкан отчеттон алынган сөздөр кирет.

Классикалык Айтылыштар логика салууга жалпы теориясы менен көрсөтүлүшү мүмкүн. Бул жөнөкөй сөздөрдү логикалык байланыштын отчетуна көз каранды эмес сүрөттөгөн логика, бир бөлүгү болуп саналат.

байламталар сөз эмес, - деген сөз "жана" колдонуп, эки жөнөкөй сөздөрдү бириктирип алган оор жоромолду. бирге чындык бардык билдирүүлөрү, анын курамына кирбеген экендигин ырастайм. анын мүчөлөрүнүн кеминде бир учурда жалган, бүт биргеликте белгиси "жалгандын".

Ал өзү бул божомолдоолорго негизделген комплекстүү отчетту түзүү үчүн бирдикте болуп саналат:

- ар бир сөз айкашы (жөнөкөй жана татаал) чыныгы же жалган болушу мүмкүн;

- татаал сөздөрүнүн чындык камтылган отчетту жана андагы логикалык байланыштарды чындыкка көз каранды.

деген сөздү колдонуу менен эки туташтыруудан мурун "же" мурунтан эле Disjunction алынат. күнүмдүк турмушта, бул түшүнүк эки башка маанини көз карашы менен кароого болот. Биринчиден, бул карабастан, эки бир чыныгы билдирүү, сөз чындыкты билдирет же эки адамдар эмес өзгөчө сезими. Экинчиден, мааниси жок сөздөрдү бир чындык экенин айтууда, ал эми башка - туура эмес.

Айтылыштар бисмиллах атайын белгилерди камтыйт. Ошентип, Disjunction белгиси V сөздөр учурда отчеттун жок дегенде бир, эки, анын жалган төрөтө турган болсо, жалган чындык чындык экенин көрсөтүп турат.

кесепеттерге аныктоодо базалык сөздөр туура эмес иликтөө чыныгы болушу мүмкүн эмес ырастоосу жок. Башка сөз менен айтканда, бул түшүнүк көз карандылык чындыкты же анын компоненттерин жана алардын мамилелерин ыкмаларын маанидеги сөз катачылыгын турат.

Башкача айтканда, кээ бир максаттар үчүн кыйла пайдалуу экендигине карабастан, бул жалпы байланыш шарттуу түшүнүк менен анча ырааттуу эмес. Ошентип, ал аны аппаратты түшүнүгүн берген отчеттуулуктун логикалык жүрүш маанилүү өзгөчөлүктөрү көп шайкеш сүрөттөлүшү болушу мүмкүн эмес курчап турат.

Айтылыштар туура жана туура эмес схемаларды биринчи ой жана системалаштыруу бөлүү катары, мисалы, борбордук тапшырманы чечүүгө багытталган логикасы. оң натыйжаны алуу үчүн, бир же бир түрүн билдирет атайын белгилердин бурушубуз керек. Ошондуктан, мисалы, "же" сыяктуу көрүнгөн бир аз сөз менен кызыкдар экенин, "жана" ж.б.

Logic отчет кийинки элементтен турган, өз тили бар:

- баштапкы каармандар - өзгөрмөлөр, логикалык константалар, жана техникалык белгилер;

- бисмиллах.

айтылгандардан улам жакшыраак түшүнүү үчүн сиз конкреттүү мисалдар бар. \ / Же \ º / - Мисалы, биргеликте белгиси &, Disjunction колдонушат.