Öncüllerinden biri -> ayrık yargı olan çıkarım. // Özellikle ayrık tasımlar şu iki biçimdedir: Modus tolendo-ponens: Ya A doğrudur, ya B doğrudur A doğru değildir Öyleyse B doğrudur. Modus ponendo-tollens: Ya A doğrudur, ya B doğrudur A doğrudur Öyleyse B doğru değildir.
TDK Felsefe Terimleri Sözlüğü