логика деген эмне адам өз ою м-н жазгандай кылып бер

Кыскача жооп

Логика — бул туура ой жүгүртүүнүн мыйзамдары жөнүндөгү илим. Ал ойлорду бири-бири менен туура байланыштырып, кайсы пикир чын, кайсынысы жалган экенин тактоого үйрөтөт. Информатикада логика эки гана маани менен иштейт: чын (1) жана жалган (0).

Негизги үч форма

1. Түшүнүк — нерсенин жалпы белгиси: «компьютер», «алгоритм».
2. Пикир (оюм) — бир нерсени тастыктаган же жокко чыгарган сүйлөм: «Бул программа туура иштейт».
3. Жыйынтыктоо — эки пикирден үчүнчүсү чыгат:
   • Бардык мышыктар — жаныбар.
   • Мурка — мышык.
   • Демек, Мурка — жаныбар.

Информатикада кандай колдонулат

Компьютер «оюн» логикалык амалдар аркылуу жүргүзөт:

• \(\lnot A\) — ЭМЕС (инверсия): \(A\) чын болсо, \(\lnot A\) жалган.
• \(A \land B\) — ЖАНА (конъюнкция): экөө тең чын болгондо гана чын.
• \(A \lor B\) — ЖЕ (дизъюнкция): жок дегенде бирөө чын болсо, чын.

Мисал: «Сыртта жаан жаайт (\(A\)) жана менде кол чатыр жок (\(\lnot B\))» → \(A \land \lnot B\).

Өзүңдү текшер

«Мен сабакка кечиктим же автобус кечикti» — бул пикир качан жалган болот? (Жооп: эки бөлүгү тең жалган болгондо, башкача айтканда кечикпесең да, автобус да кечикпесе.)