Ө Үнэн. Баталгаажуулалт нь үгүйсгэх боломжтой мэдэгдэл юм.
Баталгаа нь мэдэгдэл мөн үү?
Баталгаа гэдэг нь таны хөтөлбөрт ямар нэг баримтыг итгэлтэйгээр нотлох эсвэл дурдах мэдэгдэл юм. … Баталгаажуулалт нь нөхцөлүүд үнэн эсэхийг шалгах энгийн логик илэрхийллүүд юм. Хэрэв энэ нь үнэн бол програм юу ч хийхгүй бөгөөд кодын дараагийн мөрөнд шилжинэ. Гэсэн хэдий ч, хэрэв энэ нь худал бол програм зогсч, алдаа гаргадаг.
Баталгаажуулалтын жишээ юу вэ?
Үндсэн баталгаа гэдэг нь итгэл үнэмшил, мэдрэмж, үзэл бодол, давуу байдлыг илэрхийлсэн шууд мэдэгдэл юм. Жишээ нь: "Биднийг харилцан яриа хийхээс өмнө би энэ имэйлийг дуусгамаар байна." эсвэл "Би таныг ярьж дуустал хүлээхийг хүсэж байна."
Философид батлах гэж юу вэ?
Танилцуулга. Баталгаажуулах нь ярианы үйл ажиллагааны гол төрлүүдийн нэг бөгөөд таны яг одоо уншиж буй өгүүлбэрүүд гэх мэт тунхаг өгүүлбэрийн хэллэгээр хийгддэг. Үүнийг саналыг үнэн гэж танилцуулсан эсвэл үнэн гэж зарласан ярианы үйлдэл гэж тодорхойлж болно.
Мэдэгдэл нь нэхэмжлэл мөн үү?
Нэхэмжлэл нь зарим хүмүүс -тай санал нийлэхгүй байж болзошгүй гэсэннотлох баримт бөгөөд үүнийг хүлээн зөвшөөрөхөөс өмнө дэмжлэг (нотлох баримт) шаардлагатай.