9.3 Txoj Kev Txiav Txim Piv txwv li, txoj cai ntawm Modus Ponens Modus Ponens Hauv kev xav txog kev xav, modus ponens (/ˈmoʊdəs ˈpoʊnɛnz/; MP), tseem hu ua modus ponendo ponens (Latin rau " txoj kev muab los ntawm kev tso") lossis cuam tshuam los ntawm kev tshem tawm lossis lees paub qhov tseeb, yog daim ntawv txiav tawm thiab txoj cai ntawm kev txiav tximhttps://en.wikipedia.org › wiki › Modus_ponens
Modus ponens - Wikipedia
qhia peb tias yog qhov lus qhia "P. Q" yog qhov tseeb thiab qhov lus "P" yog qhov tseeb, ces "Q" yuav tsum muaj tseeb. Txoj cai ntawm kev txiav txim siab no tuaj yeem hais qhia raws li cov lus qhia tautological hauv qab no ntawm cov khoom siv: “((P. Q)•P). Q."
Txoj cai no yog dab tsi p thiab q implies p?
Latin rau "txoj kev tsis lees paub." Ib txoj cai ntawm inference kos los ntawm kev sib xyaw ntawm modus ponens thiab contrapositive. Yog q yog cuav thiab yog p implies q (p q), ces p kuj yog cuav. Ib qho yuam kev hauv kev xav. Muab ib nqe lus p, yog tias ~p ua qhov laj thawj rau qhov tsis sib xws, ces p yuav tsum muaj tseeb.
9 txoj cai ntawm kev xav yog dab tsi?
Cov ntsiab lus hauv cov teeb no (9)
- Modus Ponens (M. P.) -Yog P ces Q. -P. …
- Modus Tollens (M. T.) -Yog P ces Q. …
- Hypothetical Syllogism (H. S.) -Yog P ces Q. …
- Disjunctive Syllogism (D. S.) -P or Q. …
- Conjunction (Conj.) -P. …
- Txoj kev nyuaj siab (C. D.) -(Yog P ces Q) thiab (Yog R ces S) …
- Simplification (Simp.) -P thiab Q. …
- Absorption (Abs.) -Yog P ces Q.
Koj nyeem PQ li cas?
Qhov cuam tshuam p → q (nyeem: p implies q, lossis p ces q) yog cov lus hais uas lees tias yog p yog qhov tseeb, ces q kuj muaj tseeb. Peb pom zoo tias p → q yog qhov tseeb thaum p is cuav nqe lus p hu ua qhov kev xav ntawm qhov cuam tshuam, thiab nqe lus q hu ua qhov xaus ntawm qhov cuam tshuam.
Vim li cas P thiab Q thiaj siv hauv logic?
Cov lus pom zoo sib npaug lossis sib npaug yog tias lawv ib txwm muaj qhov tseeb qhov tseeb. Ntawd yog, p thiab q yog qhov laj thawj sib npaug yog tias p yog qhov tseeb thaum twg q yog qhov tseeb, thiab rov qab, thiab yog p yog qhov tseeb thaum twg q tsis tseeb, thiab rov ua dua. Yog tias p thiab q yog qhov sib npaug, peb sau p=q.
