Пикирлер үстүндөгү амалдардын касиеттери (Логикалык амалдар)
Пикирлер деген эмне? Математикалык логикада пикир (же сунуш) — бул ЧЫНДЫК (Ч) же ЖАЛГАН (Ж) болгон, бирок экөө бирдей эмес, баяндоочу сүйлөм. Биз пикирлер үстүндө логикалык байланыштыргычтарды колдонуп амалдарды аткарабыз.
📌 Негизги логикалык амалдар
| Амал | Белги | Аталышы | Мааниси |
|---|---|---|---|
| Терс алуу | $ \sim p $ же $ \neg p $ | ЭМЕС | $p$-нын карама-каршы чындык мааниси |
| Конъюнкция | $ p \wedge q $ | ЖАНА | ЭКӨӨ тең чын болгондо гана чын |
| Дизъюнкция | $ p \vee q $ | ЖЕ | ЖОК ДЕГЕНДЕ БИРӨӨ чын болгондо чын |
| Шарттуу | $ p \rightarrow q $ | ЭГЕР...АНДА | $p$ чын жана $q$ жалган болгондо гана жалган |
| Эки тараптуу шарттуу | $ p \leftrightarrow q $ | ЭГЕР ЖАНА ЭГЕР ГАНА | Экөөнүн чындык мааниси БИРДЕЙ болгондо чын |