Sözlükte içerme imi kelimesinin manası:
- İ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 sözeden dildeki ikili yüklem imi: | = (yada ||)
içerme imi ile alakalı bazı sözcükler ve anlamları
- türetilebilme imi P önermesinin K gibi bir önerme kümesinden türetilebildiğini belirtmek amacıyla K ile p arasına konulan dizimsel sözeden dildeki 2-li yüklem…
- içerme kalıbı ( ) önerme kalıplarından oluşup yorumsal sözeden dilde bir açık önerme olan ( ) biçimindeki deyim.
- kendiyle çelişik önerme Kendinden bir çelişme türetilebilen önerme. || Anl. dizimsel tutarsız önerme. Bir çelişmeyi içeren önerme. || Anl. yorumsal tutarsız önerme.
- tutarsız önerme kümesi Tutarlı olmayan önerme kümesi. || Krş.. dizimseltutarsız önerme kümesi.
- tikel olumsuz önerme ( ) (Kimi S,P değildir) biçimindeki özne-yüklem önermesi. || Bu önerme SoP olarak kısaltılır; simgesi O dur. Anl. tikel değilleyici önerme.
- tikel olumlu önerme ( ) (kimi S, P dir) biçimindeki özne-yüklem önermesi. || Bu önerme SiP olarak kısaltılır; simgesi İ dir. Anl. tikel evetleyici…
- tümel olumlu önerme ( ) (Bütün S ler P dir) biçimindeki özne-yüklem önermesi, bu önerme SaP olarak kısaltılır; simgesi A dır. || Anl. tümel-evetleyici…
- değillemeli ikil önerme kalıpları Bir önerme kalıbımın değillemeli ikilli'si, bu önerme kalıbının gerek tümünün gerek içinde geçen tüm çekirdek önerme kalıplarının değillemesi ile elde…
- tutarsız önerme Tutarlı olmayan önerme. || Anl. mantıkça yanlış önerme. Krş.. dizimseltutarsız önerme Örn. ( )
- 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.
- dizimsel tutarsız önerme kümesi Kendisinden çelişme türetilebilen önerme kümesi, kendisinden dilin tüm önermeleri türetilebilen önerme kümesi.
- ikil önerme kalıbı Bir önerme kalıbının ikillisi, asal ikillisine eşdeğer olan herhangi bir önerme kalıbı demektir. || Bir önerme kalıbının ikilleri arasında asal…
- kipsel önerme İçinde en az bir kipsel yönetici bulunan önerme. Krş.. tamkipsel önerme, yinelemelikipsel önerme.
- tamkipsel önerme İçinde geçen her çekirdek önerme, bir kipsel yönetilenin altdeyimi olan önerme. || Örn. ( )
- bileşik önerme En az iki önermeden oluşan yeni önerme. Bir ya da birden çok önermeden eklem yardımıyla oluşturulan önerme, bir ya da…