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