Logo am.boatexistence.com

የትኛው ህግ ነው p q ከ p?

ዝርዝር ሁኔታ:

የትኛው ህግ ነው p q ከ p?
የትኛው ህግ ነው p q ከ p?

ቪዲዮ: የትኛው ህግ ነው p q ከ p?

ቪዲዮ: የትኛው ህግ ነው p q ከ p?
ቪዲዮ: Отделка внутренних и внешних углов под покраску. ПЕРЕДЕЛКА ХРУЩЕВКИ от А до Я #19 2024, ግንቦት
Anonim

9.3 የመቀነስ ዘዴ ለምሳሌ የModus Ponens Modus Ponens በፕሮፖዚላዊ ሎጂክ፣ modus ponens (/ ˈmoʊdəs ˈpoʊnɛnz/ MP)፣ እንዲሁም modus ponendo ponens (ላቲን ለ በማስቀመጥ ዘዴ)) ወይም አንድምታ ማስወገድ ወይም የቀድሞ ታሪክን ማረጋገጥ፣ ተቀናሽ መከራከሪያ ቅጽ እና የውሳኔ ደንብ https://am.wikipedia.org › wiki › Modus_ponens ነው።

Modus ponens - Wikipedia

ይነግረናል "P. Q" የሚለው ሀሳብ እውነት ከሆነ እና "P" የሚለው ሀሳብ እውነት ከሆነ "Q" እውነት መሆን አለበት. ይህ የአመለካከት ህግ በሚከተለው ታውቶሎጂያዊ የቁሳዊ አንድምታ ማረጋገጫ ሊገለጽ ይችላል፡ “((P. Q)•P)። ጥ።"

ይህ የግምገማ ህግ ምንድን ነው p እና q p ን ያመለክታል?

ላቲን ለ "የመካድ ዘዴ"። ከሞዱስ ፖነን እና ከኮንትሮፖዚክቲቭ ጥምር የተወሰደ የፍተሻ ህግ። q ውሸት ከሆነ እና p q (p q) የሚያመለክት ከሆነ p ደግሞ ውሸት ነው። የማመዛዘን ስህተት። p ከተሰጠው መግለጫ ~p ምክንያታዊ በሆነ መንገድ ወደ ተቃርኖ የሚመራ ከሆነ p እውነት መሆን አለበት።

9 የማጣቀሻ ህጎች ምንድናቸው?

በዚህ ስብስብ ውስጥ ደንቦች (9)

  • Modus Ponens (M. P.) -P ከሆነ ከዚያ Q. -P። …
  • Modus Tollens (ኤም.ቲ.) -ፒ ከሆነ ከዚያ Q. …
  • ግምታዊ ሲሎሎጂ (ኤች.ኤስ.) -ፒ ከሆነ ከዚያ ጥ…
  • Disjunctive Syllogism (ዲ.ኤስ.) -P ወይም Q. …
  • ግንኙነት (ኮንጅ.) -ፒ. …
  • Constructive Dilemma (ሲ.ዲ.) -(P ከዚያም Q) እና (R ከዚያም S ከሆነ) …
  • ማቅለል (Simp.) -P እና Q. …
  • መምጠጥ (Abs.) -P ከሆነ ከዚያ Q.

እንዴት PQ ታነባለህ?

አንድምታው p →q (አንብብ፡ p qን ያመለክታል፣ ወይም p ከዚያም q ከሆነ) p እውነት ከሆነ q ደግሞ እውነት መሆኑን የሚያስረግጥ መግለጫ ነው።p → q እውነት እንደሆነ እንስማማለን p ሐሰት መግለጫው p የአንድምታው መላምት ተብሎ ሲጠራ q ደግሞ የአንድምታው መደምደሚያ ይባላል።

ለምንድነው P እና Q በሎጂክ ጥቅም ላይ የሚውሉት?

አስተያየቶቹ ሁል ጊዜ ተመሳሳይ የእውነት ዋጋ ካላቸው እኩል ናቸው ወይም ምክንያታዊ ናቸው። ማለትም p እና q በምክንያታዊነት እኩል ናቸው p እውነት ከሆነ በማንኛውም ጊዜ q እውነት፣ እና በተቃራኒው፣ እና p ውሸት ከሆነ በማንኛውም ጊዜ q እና በተቃራኒው። p እና q ምክንያታዊ ከሆኑ፣ p=q. እንጽፋለን።

የሚመከር: