ከ«በቂና አስፈላጊ» ለውጦች መካከል ያለው ልዩነት

መጀመሪያ ምሳሌዎችን እንይ፡

:: ለማየት አይን '''አስፈላጊ''' ነው -- ሲተረጎም፣ ለማየት የአይን መኖር መሟላት አለበት። በሌላ አነጋገር አይን ከሌለ ማየት አይቻልም።

 

P የተባለ አረፍተ ነገር (ድንጋጌ) Q ለተባለ ድንጋጌ እውነት መሆን '''አስፈላጊ''' ነው ከተባለ በግልባጭ ሲተረጎም "P እውነት እንዲሆን የግዴታ Q እውነት መሆን አለበት ," ወይም " P ውሸት ከሆነ Q ም ውሸት ነው" እንደማለት ይቆጠራል። ለምሳሌ '''ማየት''' በQ ቢወከልና '''አይን''' በP ቢወከል፣ P ለመሆን Q አስፈላጊ ነው። Q ከሆነ (ከታየ)፣ P እውነት ነው ማለት ነው (አይን አለ)።

 

 

== በቂ ሁኔታ ==