Билдирүүлөр жана предикаттар үстүндөгү амалдар
Билдирүү (Сүйлөм) деген эмне?
Билдирүү (же сүйлөм) — бул ЧЫНДЫК (Ч) же ЖАЛГАН (Ж) болгон, бирок эч качан экөө бирдей болбогон баяндоочу сүйлөм.
✓ Билдирүүлөр
- "5 — жөнөкөй сан." → ЧЫНДЫК
- "$2 + 3 = 6$" → ЖАЛГАН
- "Ар бир квадрат — тик бурчтук." → ЧЫНДЫК
- "$\sqrt{4} = 3$" → ЖАЛГАН
✗ Билдирүүлөр ЭМЕС
- "Саат канча?" (суроо)
- "Эшикти жап!" (буйрук)
- "$x + 5 = 10$" (ачык сүйлөм — $x$ке көз каранды)
- "Бул сүйлөм жалган." (парадокс)
Предикат деген эмне?
Предикат — бул бир же бир нече өзгөрмөлөрдү камтыган ачык сүйлөм. Ал өзгөрмөлөр берилген аныктоо областынан конкреттүү маанилерге алмаштырылганда гана билдирүүгө айланат.
Белгилөө: $x$ өзгөрмөсү менен $P$ предикатын $P(x)$ деп жазабыз.
Мисалы, $P(x): x + 3 = 7$ — предикат. $x = 4$ болгондо, $P(4): 4 + 3 = 7$ — ЧЫНДЫК. $x = 2$ болгондо, $P(2): 2 + 3 = 7$ — ЖАЛГАН.
Мисалы, $P(x): x + 3 = 7$ — предикат. $x = 4$ болгондо, $P(4): 4 + 3 = 7$ — ЧЫНДЫК. $x = 2$ болгондо, $P(2): 2 + 3 = 7$ — ЖАЛГАН.
Предикатты чындыкка айландырган бардык маанилердин жыйындысы чындык жыйындысы (же чечимдер жыйындысы) деп аталат.