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

[[ስዕል: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''' ጋር ምንም ለውጥ የለውም። ይህን የመጨረሻውን ግኝት

 

== ሙሉ ማብራሪያ ==

ምሳሌ ፩፡

:: ነገ ዝናብ ቢዘንብና ስራ ባልመጣ፣ እውነት ነኝ።

:: ነገ ዝናብ ቢዘንብና ስራ ብመጣ፣ ውሸት ነኝ።

:: መሰረት አዲስ አበባ ውስጥና ኢትዮጵያ ውስጥ ካለች ከላይ የሰፈረው [[አረፍተነገር]] [[እውነት]] ነው እንላለን

:: መሰረት አዲስ አበባ ውስጥ ብትሆንና ኢትዮጵያ ውስጥ ባትሆን [[ውሸት]] ነው እንላለን -- ግን ይሄ በተጨባጭ ሊሆን የማይችል ነገር ነው።

:: መሰረት አዲስ አበባ ውስጥ ከሌለች አረፍተ ነገሩ የት ትሁን የት፣ ጨረቃ ላይ ትውጣ ኢትዮጵያ ውስጥ ትኑር፣ ቻይና አገር ትብረር የርሱ ጉዳይ አይደለም። '''ስለማያውቀው አይናገርም።'''

 

 

ምሳሌ ፫፡

 

::: እዚህ ላይ መሰረት ሰው ካልሆነች ብቻ ይህ አረፍተ ነገር ስለ ተከታዩ አረፍተ ነገር ሊመረመር ይችላል። ሆኖም ''መሰረት ሰው አይደለችም'' የሚለው ውሸት ስለሆነ፣ ስለተከታዩ አረፍተ ነገር የሚናገረው ነገር አይኖርም። በ[[አምክንዮ]] ዝምታ እውነት ነው። ከላይ የተጠቀሰው አረፍተ ነገር ስለማያውቀው ስለማይናገር እውነት ነው ይባላል። ይህ እንግዲህ ከለተ ተለት ንግግር ዘይቤአችን አንጻር እንግዳ ይሆናል።

:::ቀዳሚው አረፍተ ነገር ምንም እንኳ ምንጊዜም እውነት ቢሆን፣ ተከታዩ ውሸት ስለሆነ፣ ይህ ጥገኝነት (አጠቃላይ አረፍተ ነገሩ) ውሸት ነው እንላለን።

 

 

[[cs:Implikace]]