türetilebilme önermesi

türetilebilme önermesi ne demek?

p önermesinin K önerme kümesinden türetilebildiğini dile getiren dizimsel sözeden dil önermesi: K|-p.

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