modus ponens

Türkçe: önermeden sonuç çıkarma

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