In propositional logic yog p- q?

Cov txheej txheem:

In propositional logic yog p- q?
In propositional logic yog p- q?

Video: In propositional logic yog p- q?

Video: In propositional logic yog p- q?
Video: 20 Must Know Questions of Propositional Logic | GeeksforGeeks GATE 2024, Hlis ntuj nqeg
Anonim

Yog hais tias cov lus p thiab q sib npaug, lawv yog qhov tseeb lossis ob qho tsis tseeb, uas yog, ob leeg muaj qhov tseeb tib yam. Ib tug tautology yog ib nqe lus uas yeej ib txwm muaj tseeb. Kev tsis sib haum xeeb yog ib nqe lus uas ib txwm tsis tseeb.

P -> Q txhais li cas?

p → q (p implies q) (yog p ces q) yog qhov lus qhia uas tsis tseeb thaum p yog qhov tseeb thiab q yog cuav thiab tsis tseeb.

Dab tsi yog qhov sib npaug rau P → Q?

P→Q is logically equivalent to ¬P∨Q. … Piv txwv li: “Yog tias tus lej yog ntau yam ntawm 4, ces nws yog txawm” yog sib npaug rau, “tus lej tsis yog ntau ntawm 4 lossis (lwm tus) nws txawm.”

P tsuas yog Q yog dab tsi?

Tsuas yog qhia a qhov tsim nyog: P tsuas yog Q txhais tau tias qhov tseeb ntawm Q yog qhov tsim nyog, lossis xav tau, txhawm rau kom P muaj tseeb. Qhov ntawd yog, P tsuas yog Q txiav txim tawm tsuas yog ib qho ua tau: tias P yog qhov tseeb thiab Q tsis tseeb.

Thaum qhov xwm txheej p → q yog cuav?

Cia p thiab q yog ob nqe lus ces "yog tias p ces q" yog cov lus sib xyaw, txhais los ntawm p → q thiab xa mus raws li cov lus hais, lossis kev cuam tshuam. Qhov cuam tshuam p→ q yog cuav xwb thaum p yog tseeb, thiab q yog cuav; txwv tsis pub, yeej muaj tseeb.

Pom zoo: