Бирдей Мазмуну, бирдей иш көйгөйдү логикалык чечүүнүн бир мисалы

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

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

логика

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

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

милдеттери

Логикалык алгебра бир нече негизги иш-милдеттерди (каккандардын, көбөйүү, тышкары, демек, бирдей) камсыз кылат.

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

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

бирдей

кирген сөздөр барабар жана ал бирдей болгондо гана чыныгы логикалык милдети. Төмөндө көрсөтүлгөн болот Function стол, эки жер логикалык операция болуп саналат. Чийме түрүндө, ал эки тараптуу жебе, же үч туурасынан белгилерин коюу дегенди түшүндүрөт. белги эки жөнөкөй сөздөрдү бөлүшүү керек.

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

чындык үстөл бир нече жол менен толтуруп калышы мүмкүн деп белгилешет. Чыныгы сөз айкашы деп жазылган болот: "+", "1" же "мен". False - "-", "0" жана "L".

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

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

мисал

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

• 1 сөздөр сөз барабар 2;
• (He2 + 1) * (HE1 + 2).

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

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