terstasım anlamı İng. antilogism Fr.antilogisme
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.