ጥሬ ኮዱን ለግልባጭ ለማየት

'''ግልባጭ''' የአንድ [[ጥገኛ አምክንዮ]] አረፍተ ነገር  አባል አረፍተ ነገሮች ሲገለበጡ የሚገኝ አረፍተ ነገር ነው።   በሒሳብ አጻጻፍ፣ የሚከተለው ዐረፍተ ነገር ቢሰጥ  <math>P \rightarrow Q</math>  ግልባጩ እንዲህ ይሰፍራል <math>\neg P \rightarrow \neg Q </math>።
: ዝናብ '''ከዘነበ'''፣  ሜዳው ይጨቀያል።

የዚህ አረፍተ ነገር ግልባጭ 

: ዝናብ '''ካልዘነበ''' ሜዳው '''አይ'''ጨቀይም።

እዚህ ላይ መረዳት ያለብን ዋናው አርፍተ ነገርና ግልባጩ የ[[እውነት ዋጋ]]ቸው እርስ በርስ ጥገኛ እንዳልሆነ ነው። ማለት ዋናው አረፍተ ነገር እውነት ሆኖ ግልባጩ እውነትም ሆነ ውሸት ሊሆን ይችላል። 

ደግሞ ይዩ፡

*[[ዙር ተገልባጭ]]

*[[ዙር]]

*[[ጥገኛ አምክንዮ]]

[[መደብ:ጥገኛ አምክንዮ]]
[[መደብ:ሥነ አምክንዮ]]