Sözlükte bağımlı önermeler kelimesinin manası:
- Bağımsız olmayan, başka bir deyişle en az bir öğesi öbür öğelerince içerilen önerme kümesi.
bağımlı önermeler ile alakalı bazı sözcükler ve anlamları
- savunulmaz önerme kümesi Savunulur olmayan, başka bir deyişle hiç bir çözümleyici kümenin altkümesi olmayan önerme kümesi. || Krş.. savunulur önerme kümesi.
- 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.
- ö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…
- 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…
- düpedüz tutarlı önerme kümesi Olağan yorumda tüm öğeleri doğru olan önermeler kümesi.
- tutarsız önerme kümesi Tutarlı olmayan önerme kümesi. || Krş.. dizimseltutarsız önerme kümesi.
- çö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…
- 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…
- tambağımsız önermeler Bütün değerlemeleri gerçekleşebilir olan önerme kümesi.
- önerme değişmezi Biçimsel bir dilde tek bir imden oluşan önerme; başka bir deyişle dizimsel türü p olan özdeğişmez.
- bağımlı değişken Bağımsız değişkenin farklı değerlerine bağlı olarak farklılık gösteren değişken, cevap değişkeni, sonuç değişkeni. (bağlanım çözümlemesi) Bir ya da birden çok…
- 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…
- obverse Yüzü bakan kimseye dönük Dibi tepesinden daha dar. Paranın yüz tarafı, yüz Herhangi bir şeyin yüz tarafı Bir meselenin öbür…
- dizimsel tutarsız önerme kümesi Kendisinden çelişme türetilebilen önerme kümesi, kendisinden dilin tüm önermeleri türetilebilen önerme kümesi.
- sınır sıral sayısı Başka bir sıral sayının ardılı olmayan, başka bir deyişle KU {K} biçiminde olmayan sıral sayı. || Örn. Boş küme olarak…