eng

terstasım ne demek?

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.

TDK Mantık Terimleri Sözlüğü

TDK Mantık Terimleri Sözlüğü İçerisinde Arama