Логика жана математикалык ой жүгүртүүгө киришүү
Логика - бул ой жүгүртүүнү изилдөө болуп, ал бардык математиканын негизин түзөт. Биз математикада логиканы колдонгондо, аргументтерди түзүп, аларды талдап, алардын мааниси бар экенин аныктайбыз. Күнүмдүк жашоодо чечим кабыл алуу үчүн ой жүгүртүүнү колдонгондой эле, математиктер да маселе чечүү жана билдирүүлөрдү далилдөө үчүн логикалык ой жүгүртүүнү колдонушат.
Логикадагы билдирүүлөр
Билдирүү - бул чын же жалган болгон, бирок экөө тең эмес сүйлөм. Математикада биз дайыма билдирүүлөр менен иштейбыз.
Билдирүүлөрдүн мисалдары:
- "Үч бурчтуктун бурчтарынын суммасы 180 градус." (Бул чын.)
- "Бардык жөнөкөй сандар тактан." (Бул жалган, анткени 2 жуп жөнөкөй сан.)
Мисал эместер (билдирүү эмес):
- "Саат канча?" (Бул суроо, билдирүү эмес.)
- "Үй тапшырмаңды аткар." (Бул буйрук, билдирүү эмес.)
Шарттуу билдирүүлөр (Эгер-анда билдирүүлөрү)
Математикадагы эң маанилүү билдирүүлөрдүн бири - бул шарттуу билдирүү, ал эгер-анда билдирүүсү деп да аталат. Анын эки бөлүгү бар:
- Гипотеза ("эгер" бөлүгү)
- Корутунду ("анда" бөлүгү)
Биз аны мындай жазабыз: "Эгер гипотеза, анда корутунду."
Мисалы: "Эгер сан 6га бөлүнсө, анда ал 3кө бөлүнөт."
Гипотеза: сан 6га бөлүнөт
Корутунду: ал 3кө бөлүнөт
Дедуктивдүү ой жүгүртүү
Дедуктивдүү ой жүгүртүү - бул мурда белгилүү болгон фактылар жана логикага таянып корутундуга келүү процесси. Бул сырды чечүү үчүн далилдерди колдонгон детективдей!