gerektirme kuralı

gerektirme kuralı ne demek?

p kanıtsav olması koşuluyla, (?) nin türetilebildiğini dile getiren öncülsüz çıkarım kuralı.

TDK Mantık Terimleri Sözlüğü İçerisinde Arama

# A B C Ç D E F G H I İ J K L M N O Ö P Q R S Ş T U Ü V Y Z