Дискрет математикт эквивалент гэж юу вэ?
Дискрет математикт эквивалент гэж юу вэ?

Видео: Дискрет математикт эквивалент гэж юу вэ?

Видео: Дискрет математикт эквивалент гэж юу вэ?
Видео: 1. Высказывание и логические связки. Дискретная математика. 2024, Дөрөвдүгээр сар
Anonim

онд математик , ан эквивалент харилцаа нь рефлекс, тэгш хэмтэй, шилжилтийн хоёртын харилцаа юм. "Тэнцүү" харьцаа нь каноник жишээ юм эквивалент хамаарал, энд a, b, c объектуудын хувьд: a = a (рефлексийн шинж чанар), хэрэв a = b ба b = c бол a = c (шилжилтийн шинж чанар).

Түүнээс гадна математикт эквивалент гэж юу вэ?

Үүнтэй адил үнэ цэнэ, үүрэг, утгаараа тэнцүү гэсэн үг. онд математик , тэнцүү тоонууд нь өөр өөр бичигдсэн боловч ижил дүнг илэрхийлдэг тоо юм.

Дискрет математикт таних хууль гэж юу вэ? Тиймээс таних хууль , p∧T≡p гэдэг нь дурын тавтологийн T-тэй дурын p өгүүлбэрийн холболт нь үргэлж p-тэй ижил үнэний утгатай байх болно (өөрөөр хэлбэл p-тэй логикийн хувьд тэнцүү байх болно). Аливаа p өгүүлбэрийг дурын тавтологи Т-тэй салгах нь үргэлж үнэн байх болно (өөрөө тавтологи байх болно) гэсэн үг юм.

Нэмж хэлэхэд, эквивалент харилцааны жишээ гэж юу вэ?

Ан эквивалент харьцаа олонлог дээр S нь a харилцаа S дээр рефлекс, тэгш хэмтэй, шилжилт хөдөлгөөнтэй. Жишээ : S = ℤ гэж үзээд R = {(x, y) | -ийг тодорхойлно x ба y нь ижил париттай} өөрөөр хэлбэл, x ба y нь хоёулаа тэгш эсвэл хоёулаа сондгой байна. Паритет харилцаа нь эквивалент харьцаа.

Логик эквивалентийн хууль гэж юу вэ?

онд логик болон математик, мэдэгдэл болон логик гэж хэлсэн тэнцүү , хэрэв тэдгээр нь олон тооны аксиомын дагуу бие биенээсээ нотлогдох боломжтой эсвэл загвар бүрт ижил үнэний утгатай байвал. The логик эквивалент -ийн ба заримдаа,, эсвэл хэлбэрээр илэрхийлэгддэг., хэрэглэж буй тэмдэглэгээнээс хамаарна.

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