Dab tsi yog kev cai lij choj ntawm tus kheej hauv kev ua lej tsis sib xws?
Dab tsi yog kev cai lij choj ntawm tus kheej hauv kev ua lej tsis sib xws?

Video: Dab tsi yog kev cai lij choj ntawm tus kheej hauv kev ua lej tsis sib xws?

Video: Dab tsi yog kev cai lij choj ntawm tus kheej hauv kev ua lej tsis sib xws?
Video: Koj pom Los xyov koj pua paub 2024, Tej zaum
Anonim

Yog li cov kev cai lij choj , p∧T≡p, txhais tau hais tias kev sib txuas ntawm ib kab lus p nrog qhov kev txiav txim siab tautology T yuav ib txwm muaj qhov tseeb tus nqi raws li p (piv txwv li, yuav yog qhov sib npaug nrog p). Nws txhais tau hais tias qhov kev tsis sib haum xeeb ntawm ib kab lus p nrog qhov kev txiav txim siab tautology T yuav ib txwm muaj tseeb (yuav nws tus kheej yog tautology).

Kuj tseem paub yog, txoj cai lij choj ntawm tus kheej hauv lej yog dab tsi?

Ib tus kheej yog ib qho kev sib luag uas muaj tseeb tsis hais qhov tseem ceeb uas tau xaiv rau nws qhov sib txawv. Piv txwv li, lub tus kheej (x + y) 2 = x 2 + 2 xy + y 2 (x + y)^2 = x^2 + 2xy + y^2 (x + y)2 = x2 + 2xy + y2 muaj tseeb rau txhua qhov kev xaiv ntawm x thiab y, seb lawv yog cov lej tiag lossis cov lej.

Tsis tas li ntawd, qhov piv txwv ntawm txoj cai ntawm tus kheej yog dab tsi? Hauv logic, txoj cai ntawm tus kheej hais tias txhua yam zoo ib yam nrog nws tus kheej. Nws yog thawj ntawm peb txoj cai ntawm kev xav, nrog rau txoj cai ntawm kev tsis sib haum xeeb, thiab txoj cai ntawm kev cais nruab nrab. Nws tseem tuaj yeem sau tsawg dua raws li A yog A. Ib nqe lus ntawm xws li a txoj cai yog "Rose is a Rose is a Rose is a Rose."

Tom qab ntawd, ib tug kuj yuav nug, dab tsi yog De Morgan txoj cai nyob rau hauv discrete lej?

De Morgan's Laws piav li cas lej cov lus thiab cov ntsiab lus muaj feem cuam tshuam los ntawm lawv qhov opposites. Hauv kev teeb tsa kev xav, De Morgan's Laws hais txog kev sib tshuam thiab kev sib koom ua ke ntawm cov txheej txheem los ntawm kev sib ntxiv. Nyob rau hauv propositional logic, De Morgan's Laws cuam tshuam nrog kev sib txuas thiab kev tsis sib haum xeeb ntawm cov lus pom los ntawm kev tsis pom zoo.

Dab tsi yog discrete lej cuam tshuam?

Lus Txhais: Cia p thiab q yog cov lus qhia. Cov lus qhia "p lossis q" qhia los ntawm p ∨ q, yog qhov tsis tseeb thaum ob qho tib si p thiab q tsis tseeb thiab yog qhov tseeb lwm yam. Lub tswv yim "p implies q" denoted los ntawm p → q yog hu ua kev cuam tshuam . Nws yog cuav thaum p yog qhov tseeb thiab q yog cuav thiab yog qhov tseeb lwm yam.

Pom zoo: