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.