ከ«ጥገኛ አምክንዮ» ለውጦች መካከል ያለው ልዩነት

[[ስዕል:Venn1011.svg|thumb|right|200px| ጥገኝነት የሚፋለሰው A እውነት ሆኖ B ውሸት ሲሆን [[ብቻና ብቻ]] ነው። ከላይ ባለው [[ቬን ምስል]] ይህ የውሸት ክፍል በነጭ ቀለም ተለይቶ ይታያል። <br> ጥገኝነት በሂሳብ ትርጓሜው እንዲህ ይሰፍራል <math>A \rightarrow B \Leftrightarrow \neg A \or B</math><br><br>[[File:Venn1011.svg|40px|A → B]] <math>\Leftrightarrow</math> [[File:Venn1010.svg|40px|¬A]] <math>\or</math> [[File:Venn0011.svg|40px|B]]]]

'''ጥገኛ አምክንዮ''' በሁለት የ[[አምክንዮ ዋጋ|አምክንዮ ዋጋወች]] የሚተገበር ሲሆን፣ ውጤቱ ውሸት የሚሆነው [[ቀዳሚ አረፍተ ነገር|ቀዳሚ አረፍተ ነገሩ]] እውነት ሁኖ ተከታይ አረፍተ ነገሩ (ጥገኛ አረፍተ ነገሩ) ውሸት ሲሆን [[ብቻና ብቻ]] ነው። (ቀዳሚና ተከታይ አረፍተ ነገር ምን ማለት እንደሆነ ከታች ''ሙሉ ማብራሪያ የሚለውን ክፍል ይመልከቱ'' ) ከአምክንዮ አንጻር ጥገኛ አምክንዮ ከ'''አይደለም....ወይም...''' ጋር [[እኩል]] ነው። በሂሳብ አጻጻፍ፣ '''p''' ቀዳሚ አረፍተ ነገር (አስጠጊ) ቢሆንና '''q''' ተከታይ (ጥገኛ) ቢሆን፣ የጥገኝነት ዝምድናቸው እንዲህ ይጻፋል '''p&nbsp;→&nbsp;q''' ፡ ሲነበብ '''p ስለዚህ q''' ነው። ይህ እንግዲህ ከላይ እንደተጠቀሰው ከ''' አይደለም p ወይም q''' ጋር ምንም ለውጥ የለውም። ይህን የመጨረሻውን ግኝት