modus tollens

Türkçe: olumsuzdan sonuç çıkarma

Açıklama: Modus tollens; ¬q ve p→q'dan ¬p çıkarımı