Mantık Terimleri Sözlüğü
tamçevirme
( ) || Örn. 'Bütün insanlar ölümlüdür' önermesinden tamçevirme ile 'Kimi insan olmayan ölümlü olmayandır' önermesi elde edilir.