Логика жана Чындык Таблицаларына Киришүү
Логика - бул билдирүүлөрдүн чын же жалган экенин аныктоого жардам берген ой жүгүртүү ыкмасы. Математика жана информатика илиминде биз так аргументтерди түзүү жана көйгөйлөрдү чыгаруу үчүн формалдуу логиканы колдонобuz.
Логикалык Билдирүүлөр
Логикалык билдирүү (же сүйлөм) - бул чын (T) же жалган (F) болгон, бирок экөө тең эмес сүйлөм. Бул чындык маанилери математикалык логиканын негизин түзөт.
Мисалы:
- "8 5тен чоң" логикалык билдирүү (жана ал чын).
- "x + 3 = 10" өзү боюнча логикалык билдирүү эмес, анткени x эмне экенин билбейинче анын чын же жалган экенин билбейбиз.