ටින් කොටින් හෝ Tractacus Logico – Philosophocas මගින් සත්‍යතා ශ්‍රිත ශ්‍රේනි ආකාරයට ඉදිරිපත් කරන ලදි. මෙම වැඩෙහි පුලුල් බලපෑම මගින් සක්‍යතා වගු වල භාවිතය පැතරි යන ලදි. සක්‍යතා වගු ප්‍රස්තුන ප්‍රකාශන වල අගයන් ඵලදායි ගණනය කිරිමට භාවිතා කරනු ලැබේ. මෙය සමහර අවස්ථාව ලදී තිරණ ක්‍රියාමාර්ග ලෙස හදුන්වනු ලැබේ. මෙය සමහර අවස්ථාවලදී තිරණ ක්‍රියාමාර්ග ලෙස හදුවනු ලැබේ. මෙය සමහර අවස්ථාවලදී තීරක ක්‍රියාමාර්ග ලෙස හදුන්වනු ලැබේ. ප්‍රස්තුත ප්‍රකාශනයක් පරමාණුක සුත්‍රයක් - ප්‍රස්තුතන නියනයක් ප්‍රස්තුන විචලනයක් හෝ ප්‍රස්තුතන ශ්‍රිතයක් විය හැක (උදාහරණය ලෙස px හෝ plx ) පරමාණුක සුත්‍රයක් තාර්කික කාරයක මගින් ගොඩනැගිමේ හැක උදාහරණයක් ලෙස AND (^), OR (V), NOT (-) නිදසුන් ලෙස FX^GX යනු ප්‍රස්තුත ප්‍රකාශනයන් වේ.  සක්‍යත වගුව තීර සිරස්තල මගින් I.ප්‍රස්තුත ශ්‍රිත සහ / හෝ විචල්‍ය සහII.ප්‍රස්තුත ග්‍රික හෝ විචල්‍ය හෝ කාරක මගින් ගොඩනගන ලද සතුමන - ශ්‍රීත ප්‍රකාශන පෙන්මු කරයි.පෙලි මගින් (I) සහ (II) ට අනුකූලව  T හෝ  F  අගයන් පවරනු ලබයි. අනිත් අතට ගත්කල එක් එක් පේලියේ (I) සහ  (II) හි කැපිපෙනන විවරණයක් වේ.සම්භවය තර්ක