Sözlükte savunulmaz önerme kümesi kelimesinin manası:
- Savunulur olmayan, başka bir deyişle hiç bir çözümleyici kümenin altkümesi olmayan önerme kümesi. || Krş.. savunulur önerme kümesi.
savunulmaz önerme kümesi ile alakalı bazı sözcükler ve anlamları
- savunulur önerme kümesi Bilgisel sanısal mantıkta bir çözümleyici kümenin altkümesi olan, başka bir deyişle tutarlı olan önerme kümesi.
- tutarsız önerme kümesi Tutarlı olmayan önerme kümesi. || Krş.. dizimseltutarsız önerme kümesi.
- en büyük tutarlı küme Hiç bir dizimsel tutarlı önerme kümesinin öz altkümesi olmayan dizimsel tutarlı önerme kümesi, || Temel mantıklı dizimsel tutarlı bir kuramın…
- çözümleyici küme Aşağıdaki koşulları yerine getiren Ç önerme kümesi; ( ) Ç kümesi doğrusal tutarlıdır. Çözümleyici çizelgede açık yolu oluşturan önermeler kümesi birçözümleyici…
- dizimsel tutarsız önerme kümesi Kendisinden çelişme türetilebilen önerme kümesi, kendisinden dilin tüm önermeleri türetilebilen önerme kümesi.
- bağımlı önermeler Bağımsız olmayan, başka bir deyişle en az bir öğesi öbür öğelerince içerilen önerme kümesi.
- kendini destekleyen önerme Bilgisel-sanısal mantıkta p önermesinin kendini destekleyen bir önerme olması, ( ) birim kümesinin savunulmaz bir önerme kümesi olması, başka bir deyişle…
- içerme imi İki önerme ya da bir önerme kümesi İle bir önerme arasında içerme ilişkisi olduğunu belirtmek amacıyla bunların adları arasına konulan…
- düpedüz tutarlı önerme kümesi Olağan yorumda tüm öğeleri doğru olan önermeler kümesi.
- önerme değişkeni Değer alanı, önerme kaplamlarından ya da başka bir deyişle doğruluk değerlerinden oluşan bireysel olmayan değişken. Değer alanı, önerme içlemlerinden ya…
- tutarsız önerme Tutarlı olmayan önerme. || Anl. mantıkça yanlış önerme. Krş.. dizimseltutarsız önerme Örn. ( )
- üretilen çözümleyici küme Belli bir mantık dizgesinde, K gibi bir önerme kümesinceüretilen çözümleyici küme, bu mantık dizgesine ilişkin K yı kapsayan en küçük…
- ilksavlı kuram (i) bir kuram, (ii) kuramdaki mantıkça kapalı önerme kümesinin bir altkümesi olarak seçilen özel ilksavlar kümesi, (iii) özel ilksavlar kümesinden…
- mantıksal kapanış K gibi bir önerme kümesininmantıksal kapanışı, K kümesinin mantıksal sonucu olan bütün önermelerin kümesi demektir. || Böyle bir küme mantıkça…
- mantıkça kapalı önermeler kümesi Tüm mantıksal sonuçlarını kapsayan önermeler kümesi. || Örn. Geçerli önermelerin tümünden oluşan küme mantıkça kapalı olduğu gibi, herhangi bir önerme…