terstasım
1. Tasımsal çıkarımın geçersiz kılıcı kümesinden,( )SaP yerine SoP,(...)SeP yerine SiP,(...)SiP yerine SeP,(...)SoP yerine SaP koymakla elde edilen özne-yüklem önerme kümesi || Tasımsal çıkarımın sıkı geçerliliğinin gerekli-yeterli koşulu, bu tasımsal çıkarımdan elde edilen terstasımın tutarsız olması; tasımsal çıkarımın gevşek geçerliliğinin gerekli-yeterli koşulu da terstasımın tutarlı olup, terstasıma varlıksal öndayanağı dile getiren önermeyi katmakla oluşan kümenin tutarsız olmasıdır. 2. İki öncüllü tasımsal çıkarımdan elde edilen terstasım.
terstasım, 9 karakter ile yazılır. Ayrıca,
t harfi ile başlar, m harfi ile biter. Tüm karakter dağılımı ise,
't', 'e', 'r', 's', 't', 'a', 's', 'ı', 'm', şeklindedir.
terstasım kelimesinin tersten yazılışı mısatsret diziliminde gösterilir.