dizimsel tutarlı önerme kümesi

dizimsel tutarlı önerme kümesi ne demek?

Kendisinden çelişme türetilemeyen önerme kümesi, kendisinden dilin tüm önermeleri türetilemeyen önerme kümesi,

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