Öncülsüz Çıkarım anlamı nedir?
- Öncüllerinin sayısı sıfıra eşit olan, başka bir deyişle hiç bir öncülü olmayan (. . . ) p biçiminde bir çıkarım.
|| p önermesinin geçerliliği, öncülsüz (. . . ) p çıkarımının geçerli olmasıyla tanımlanabilir.
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları