Заримдаа математикт өгөгдсөн математик хэллэгийн эсрэг заалт юу болохыг тодорхойлох нь чухал байдаг. Үүнийг ихэвчлэн мэдэгдлийг "үгүйсгэх" гэж нэрлэдэг. Анхаарах нэг зүйл бол хэрэв мэдэгдэл үнэн бол түүнийг үгүйсгэх нь худал байна (хэрэв мэдэгдэл худал бол үгүйсгэх нь үнэн).
Үгүйсгэхийн жишээ юу вэ?
Үгүйсгэх гэдэг нь ямар нэг зүйлээс татгалзах эсвэл үгүйсгэх юм. Хэрэв таны найз таныг өөрт нь таван долларын өртэй гэж бодож байгаа бол та өргүй гэж хэлсэн бол таны мэдэгдэл үгүйсгэх болно. … "Би эрдэнэсийг хөнөөгөөгүй" гэдэг нь "Эрдэнэс хаана байгааг би мэдэхгүй" гэсэн үгтэй хамт үгүйсгэж болно. Эдгээр мэдэгдлүүдийн аль нэгийг хэлж байгаа үйлдэл нь мөн л үгүйсгэсэн үйлдэл юм.
Математик логикт үгүйсгэх гэж юу вэ?
Логикийн хувьд үгүйсгэх нь мөн логик нэмэлт гэж нэрлэгддэг өөр нэг саналд "биш" гэж бичсэн, эсвэл санал авах үйлдэл юм. Үүнийг худал үед үнэн, үнэн үед худал гэж зөн совингоор тайлбарладаг. Үгүйсгэх нь нэгдмэл (ганц аргумент) логик холбогч юм.
Математикийн заримыг үгүйсгэх нь юу вэ?
Ерөнхийдөө: "Зарим А нь В"-ын үгүйсгэл нь "А байхгүй (бол) В." (Тэмдэглэл: үүнийг "Бүх А нь B" гэж хэлж болно. Б-ийн эсрэг, " Хэдийгээр энэ бүтэц заримдаа хоёрдмол утгатай сонсогддог.)
Эсрэг тэсрэг жишээ гэж юу вэ?
Жишээ нь авч үзье"Бороотой бол өвс нойтон байна" гэсэн үг ҮНЭН. Тэгвэл та "Хэрэв өвс нойтон биш бол бороо орохгүй" гэсэн эсрэг тэсрэг үгийг мөн ҮНЭН гэж үзэж болно.
