Салалт үнэн байхын тулд юу шаардлагатай вэ?
Салалт үнэн байхын тулд юу шаардлагатай вэ?

Видео: Салалт үнэн байхын тулд юу шаардлагатай вэ?

Видео: Салалт үнэн байхын тулд юу шаардлагатай вэ?
Видео: Гэр бүл салалт 2024, Арваннэгдүгээр
Anonim

Холболтын хувьд хоёр мэдэгдэл хоёулаа байх ёстой үнэн холбоос байхын тулд үнэн ; гэхдээ a салгах , хоёр мэдэгдэл нь худал байх ёстой салгах худлаа байх. А салалт юм гагцхүү хоёр мэдэгдлийн хувьд худал байна худал; тэгэхгүй бол үнэн.

Үүний дагуу дизьюнкц ба холболт гэж юу вэ?

Мэдэгдэл гэдэг нь үнэн эсвэл худал гэж тэмдэглэж болох аливаа хэллэг юм. Хоёр хэллэгийг 'ба,' тэмдэгттэй хослуулах үед танд a байна холбоос . Учир нь холболтууд , нийлмэл өгүүлбэр үнэн байхын тулд аль аль нь үнэн байх ёстой. Таны хоёр мэдэгдлийг 'эсвэл' гэсэн тэмдэгттэй хослуулсан тохиолдолд танд а байна салгах.

Үүний нэгэн адил Pvq гэж юу гэсэн үг вэ? v: Энэ гэсэн үг "эсвэл." Өгүүлбэр ( pvq ) гагцхүү p үнэн, эсвэл q үнэн, эсвэл (p^q) үнэн бол үнэн болно. ->: Энэ гэсэн үг "шаардлагатай." Өгүүлбэр (p->q) нь зөвхөн р худал эсвэл q үнэн (((~p)vq) өгүүлбэр үнэн) тохиолдолд үнэн болно.

Түүнчлэн мэдэх нь, салгах дүрэм юу вэ?

The дүрэм -ийн салгагч Хоёр өгүүлбэрийг а-аар холбосноор силлогизм ба нэмэгдэл шууд үүсдэг СУРГАЛТ , юу баталж байна вэ гэж disjuncts ядаж нэг нь үнэн юм. Үүний үр дүнд, хэрэв бид салангид хэсгүүдийн нэг нь худал гэдгийг мэддэг бол нөгөөг нь бас мэддэг салангид үнэн байх ёстой.

Үнэний функциональ аргумент гэж юу вэ?

Тойм. Логик холбогч нь үнэн - ажиллагаатай хэрэв үнэн -нийлмэл өгүүлбэрийн утга нь а функц -ийн үнэн -түүний дэд өгүүлбэрийн үнэ цэнэ. Холбогчдын ангилал нь үнэн - ажиллагаатай хэрэв түүний гишүүн бүр. Төрөл бүрийн хувьд тэдний үнэ цэнэ үнэн - зэрэг утгууд маргаан ихэвчлэн өгдөг үнэн ширээ.

Зөвлөмж болгож буй: