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