በቂና አስፈላጊ
በስነ አምክንዮ  "በቂ" እና "አስፈላጊ" የሚሉት ቃላቶች በጣም የጠራ ትጓሜና አጠቃቀም አላቸው።

ṾưựưḀḀḀḀ’•₵¤v‰”ℳm³m³m³m³m³== አስፈላጊ ሁኔታ ==
መጀመሪያ ምሳሌዎችን እንይ፡rterg
  ለማየት አይን አስፈላጊ ነው   -- 575676645ሲተረጎም፣ ለማየት የአይን መኖር መሟላት አለበት። በሌላ አነጋገር አይን ከሌለ ማየት አይቻልም።
  አባት ለመሆን ወንደ መሆኑ  አስፈ45ty456ላtፋል፡  'r> P),   ትርጉሙም  P የ"Q " መዘዝ ነው ማለት ነው። ወይም በሌላ አነጋገር Q እውን ሲሆን   Pን ያመላክታል ማለት ነው።  ምሳሌ፡ እይታ => አይን መኖር ፤ እይታ መፈጠሩ አይን መኖርን ያመላክታል። ወይም ደግሞ አይን መኖር የእይታ መዘዝ ነው።
yt5ytert34trm45tmewmtmrymrtmum56y4576ʶ645

በቂ ሁኔታ  
ምሳሌዎች፡
 እንስሳ ለመሆን ድመት መሆን በቂ ነው  -- ሲተረጎም፡ አንድ ነገር ድመት መሆኑን ካረጋገጥን እንስሳ መሆኑ  አያጠራጥርም
  አሜሪካዊ ለመሆን አሜሪካ መወለድ በቂ ነው -- ሲተረጎም፡ አንድ ሰው አሜሪካ ከተወለደ አሜሪካዊ መሆኑ አያጠራጥርም

P የተባለ አረፍተ ነገር Q የተባለ አረፍተ ነገር እውነት እንዲሆን በቂ ፣  ነው ካልን   P እውነት መሆኑ ብቻ Qን እውነት ያደርገዋል።  በሌላ ጎን P ውሸት ቢሆን  Q ውሸት ነው ለማለት በቂ ማስረጃ የለንም። በሌላ አነገጋገር  " P ከሆነ Q" ወይም ደግሞ  "P =>  Q,"  በሚል ሲያጥር፣  " የP  መሆን  Qን ያመላክታል" ማለት ነው። ከዚህ አንጻር Q የP መዘዝ ነው ማለት ነው።

ሂሳባዊ ግንኙነት 
በሂሳብ ጥናት "በቂ" እና "አስፈላጊ" የተገላቢጦሽ ግንኙነት አላቸው። ለQ፣  P አስፈላጊ ከሆነ፣ ለP፣ Q በቂ ነው ማለት ነው። ምሳሌ፡ ድመት ለመሆን እንስሳ መሆን አስፈላጊ ሲሆን፣  በአንጻሩ እንስሳ ለመሆን ድመት መሆን በቂ ነው።

በቂና አስፈላጊ 
P ፣ ለ Q በቂና አስፈላጊ ነው ካልን  ትርጉሙ  "P ከሆነ Q እንዲሁም  Q ከሆነ P" ወይም ባጭሩ "P ከሆነና ከሆነ ብቻ Q" እንደማለት ነው። በሂሳብ ሲጻፍ P <=> Q ማለት ነው። P ና Q በዚህ ወቅት ምንም ልዩነት የላቸውም፣ አንድ ናቸው ማለት ይቻላል።

ምሳሌዎች:
 ፀሐይ ለመባል ለምድር በጣም ቅርብ የሆነች ኮኮብ መሆን በቂና አስፈላጊ ነው --- ትርጉሙ  ለምድር ከጸሃይ የሚቀርብ ኮኮብ ስሌለ፣ ይህ አረፍተ ነገር ትክክል ነው ማለት ነው ።

ፍልስፍና
ጥገኛ አምክንዮ
በስነ አምክንዮ  "በቂ" እና "አስፈላጊ" የሚሉት ቃላቶች በጣም የጠራ ትጓሜና አጠቃቀም አላቸው።

ṾưựưḀḀḀḀ’•₵¤v‰”ℳm³m³m³m³m³== አስፈላጊ ሁኔታ ==
መጀመሪያ ምሳሌዎችን እንይ፡rterg
  ለማየት አይን አስፈላጊ ነው   -- 575676645ሲተረጎም፣ ለማየት የአይን መኖር መሟላት አለበት። በሌላ አነጋገር አይን ከሌለ ማየት አይቻልም።
  አባት ለመሆን ወንደ መሆኑ  አስፈ45ty456ላtፋል፡  'r> P),   ትርጉሙም  P የ"Q " መዘዝ ነው ማለት ነው። ወይም በሌላ አነጋገር Q እውን ሲሆን   Pን ያመላክታል ማለት ነው።  ምሳሌ፡ እይታ => አይን መኖር ፤ እይታ መፈጠሩ አይን መኖርን ያመላክታል። ወይም ደግሞ አይን መኖር የእይታ መዘዝ ነው።
yt5ytert34trm45tmewmtmrymrtmum56y4576ʶ645