በሂሳብ ውስጥ ፣በተቃራኒው ማስረጃ ፣ወይም በተቃርኖ ማረጋገጥ ፣በማስረጃዎች ውስጥ ጥቅም ላይ የሚውል የማመሳከሪያ ደንብ ነው ፣አንድ ሰው ከተቃራሚው ሁኔታዊ መግለጫ ሲሰጥ። በሌላ አነጋገር "A ከሆነ, ከዚያም B" የሚለው መደምደሚያ ይገመታል "ቢ ካልሆነ ከዚያ A" በምትኩ.
እንዴት ማስረጃን በተቃርኖ ይጽፋሉ?
በተቃራኒ ማስረጃ ስንጠቀም እነዚህን ደረጃዎች እንከተላለን፡
- አረፍተ ነገርዎ ውሸት እንደሆነ ያስቡ።
- ከቀጥታ ማረጋገጫ ጋር እንደሚያደርጉት ይቀጥሉ።
- ተቃርኖ አጋጥሞታል።
- በተቃራኒው ምክንያት መግለጫው ውሸት ሊሆን አይችልም፣ስለዚህ እውነት መሆን አለበት።
አንድምታ እንዴት አረጋግጠዋል?
የቀጥታ ማረጋገጫ
- አንድምታውን p q ያረጋግጣሉ p እውነት ነው ብለው በመገመት እና የጀርባ እውቀትዎን እና የሎጂክ ህጎችን በመጠቀም q እውነት መሆኑን ለማረጋገጥ።
- ‹‹p እውነት ነው› የሚለው ግምት በአመክንዮአዊ የአረፍተ ነገር ሰንሰለት ውስጥ የመጀመሪያው አገናኝ ነው፣ እያንዳንዱም ተተኪውን ያሳያል፣ ይህም የሚያበቃው ``q እውነት ነው'' ነው።
የአንድምታ ምሳሌ ምንድነው?
የአንድምታ ትርጓሜው የሚገመተው ነገር ነው። የአንድምታ ምሳሌ ምንም ማስረጃ ባይኖርም ፖሊስ ሰውን ከወንጀል ጋር ማገናኘት ነው። የማሳየት ተግባር ወይም የተዘበራረቀ ሁኔታ።
A ከዚያ B መሆኑን ለማረጋገጥ ሶስቱ መንገዶች ምንድናቸው?
የቅጹን መግለጫ “A ከሆነ፣ ከዚያ B” ለማረጋገጥ ሦስት መንገዶች አሉ። እነሱም በቀጥታ ማረጋገጫ፣ ተቃራኒ አወንታዊ ማረጋገጫ እና ማስረጃ በተቃርኖ ይባላሉ። ቀጥተኛ ማረጋገጫ. "A ከሆነ B" የሚለው አባባል እውነት መሆኑን በቀጥታ በማስረጃ ለማረጋገጥ ሀ እውነት ነው ብለው በመገመት ይጀምሩ እና B እውነት መሆኑን ለማወቅ ይህንን መረጃ ይጠቀሙ።
