Дискреттик математикада иденттүүлүк мыйзамы деген эмне?
Дискреттик математикада иденттүүлүк мыйзамы деген эмне?

Video: Дискреттик математикада иденттүүлүк мыйзамы деген эмне?

Video: Дискреттик математикада иденттүүлүк мыйзамы деген эмне?
Video: Дискреттик математика.Видеосабак. ф.-м.и.к., доцент Кутунаев Ж. 2024, Декабрь
Anonim

Ошентип инсандык мыйзам , p∧T≡p, кандайдыр бир p сүйлөмүнүн Т ыктыярдуу тавтологиясы менен бириктирилиши ар дайым p менен бирдей чындык маанисине ээ болорун билдирет (б.а. логикалык жактан p менен эквиваленттүү болот). Бул кандайдыр бир p сүйлөмүнүн ыктыярдуу тавтология Т менен дизъюнкциясы дайыма чындык болоорун билдирет (өзү тавтология болот).

Ошондой эле билүү үчүн, математикада инсандык мыйзам деген эмне?

Ан иденттүүлүк анын өзгөрмөлөрү үчүн тандалган баалуулуктарга карабастан, анык болгон теңчилик. Мисалы, иденттүүлүк (x + y) 2 = x 2 + 2 xy + y 2 (x+y)^2 = x^2 + 2xy + y^2 (x+y)2=x2+2xy+y2 бардык тандоолор үчүн туура х жана у, алар чыныгы же татаал сандар болобу.

Андан тышкары, иденттүүлүк принцибинин мисалы кайсы? Логикада мыйзам иденттүүлүк ар бир нерсе өзүнө окшош экенин айтат. Бул карама-каршылыксыздык мыйзамы жана четтетилген орто мыйзамы менен бирге ой жүгүртүүнүн үч мыйзамынын биринчиси. Аны формалдуу түрдө азыраак жазса болот, анткени А A болуп саналат. Мындай aнын бир билдирүүсү принцип "Роза - роза - роза".

Кийинчерээк, дискреттик математикада Де Морган мыйзамы деген эмне?

Де Морган мыйзамдары кантип сүрөттөп бер математикалык билдирүүлөр жана түшүнүктөр алардын карама-каршылыгы аркылуу байланышат. Көптөгөн теориясында, Де Морган мыйзамдары көптүктөрдүн кесилишин жана биригүүсүн толуктоочулар аркылуу байланыштыргыла. сунуш логикасында, Де Морган мыйзамдары сунуштардын конъюнкцияларын жана дизъюнкцияларын жокко чыгаруу аркылуу байланыштырышат.

Дискреттик математикалык натыйжалар деген эмне?

Аныктама: p жана q сунуштар болсун. p ∨ q менен белгиленген "p же q" сунушу p жана q тең жалган болгондо жалган, башка учурда туура болот. p → q менен белгиленген "p q билдирет" сунушу деп аталат мааниси . Эгерде p чын, ал эми q жалган болсо, ал туура эмес, башка учурда туура болот.

Сунушталууда: