Дискретті математикадағы сәйкестік заңы дегеніміз не?
Дискретті математикадағы сәйкестік заңы дегеніміз не?

Бейне: Дискретті математикадағы сәйкестік заңы дегеніміз не?

Бейне: Дискретті математикадағы сәйкестік заңы дегеніміз не?
Бейне: Дискретті кездейсоқ шамалардың сандық сипаттамалары 2024, Наурыз
Anonim

Сонымен сәйкестік заңы , p∧T≡p, кез келген p сөйлемінің ерікті тавтологиясы бар T жалғауы әрқашан 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 барлық таңдаулары үшін дұрыс x және y, олар нақты немесе күрделі сандар болсын.

Сонымен қатар, сәйкестілік принципінің мысалы қандай? Логикада заң жеке басын куәландыратын әрбір заттың өзімен бірдей екенін айтады. Бұл қайшылықсыздық заңымен және шеттетілген орта заңымен бірге ойлаудың үш заңының біріншісі. Сондай-ақ, оны формальды түрде азырақ жазуға болады, өйткені A. A. Мұндай a-ның бір мәлімдемесі принципі «Раушан – раушан – раушан – раушан».

Әрі қарай, дискретті математикадағы Де Морган заңы дегеніміз не?

Де Морган заңдары қалай сипаттаңыз математикалық тұжырымдар мен ұғымдар қарама-қарсылықтар арқылы байланысады. Жиындар теориясында, Де Морган заңдары толықтауыш арқылы жиындардың қиылысуы мен бірігуін байланыстырады. Ұсыныс логикасында, Де Морган заңдары сөйлемдердің конъюнкциялары мен дизъюнкцияларын терістеу арқылы байланыстырады.

Дискретті математикалық әсерлер дегеніміз не?

Анықтама: p және q ұсыныстар болсын. p ∨ q арқылы белгіленген "p немесе q" ұсынысы p және q жалған болғанда жалған болады, ал басқа жағдайда ақиқат болады. p → q деп белгіленген «p q білдіреді» ұсынысы аталады салдары . Егер p ақиқат болса, q жалған болса, ол жалған болады, ал басқа жағдайда ақиқат болады.

Ұсынылған: