geçersiz tutarlı önerme

geçersiz tutarlı önerme İng. invalid but consistent sentence, contingent sentence

En az bir yorumda yanlış, ama en az bir yorumda da doğru olan önerme. || Geçersiz ama tutarlı her önermenin değillemesi de aynı niteliktedir. Hiç bir mantıksal değişmez kapsamayan önermeler geçersiz ama tutarlıdır. Örn. 2>2 önermesi geçersiz ama tutarlıdır; çünkü bu önerme olağan yorumunda yanlış, ama ‘ > ’ yüklemini eşitlik bağıntısı olarak belirleyen yorumda doğrudur.


geçersiz tutarlı önerme ile benzer kelimeler

geçersiz önerme

İng. invalid sentence

Yanlışlayıcı yorumu olan önerme. || Örn. 3>2 önermesi geçersizdir, çünkü '>' yüklemini küçük-olma bağıntısı olarak belirleyen yorum, bu önermeyi yanlış kılar.

dizimsel tutarlı önerme

İng. consistent sentence

Kendisinden çelişme türetilemeyen önerme; kendisinden dilin tüm önermeleri türetilemeyen önerme.

dizimsel tutarlı önerme kümesi

İng. consistent set of sentences

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

düpedüz tutarlı önerme kümesi

İng. patently consistent

Olağan yorumda tüm öğeleri doğru olan önermeler kümesi.

tutarlı önerme

İng. satisfiable sentence

En az bir doğrulamı olan önerme. || Anl. yorumsal . Krş.. dizimsel .

tutarlı önerme kümesi

İng. set of satisfiable sentences

Birlikte doğru olabilen ya da başka bir deyişle bağdaşabilen önermeler kümesi; Doğrulayıcı yorumu (doğrulamı) olan önerme kümesi; düpedüz tutarlı bir yorumlayanı olan önerme kümesi. ||Anl. yorumsal . Krş.. dizimsel .

yorumsal tutarlı önerme

bk. tutarlı önerme.

yorumsal tutarlı önerme kümesi

bk. tutarlı önerme kümesi.


"geçersiz tutarlı önerme" karakter analizi

  • geçersiz tutarlı önerme, 23 karakter ile yazılır.
  • g harfi ile başlar, e harfi ile biter.

Karakter dağılımı

  • 'g', 'e', 'ç', 'e', 'r', 's', 'i', 'z', ' ', 't', 'u', 't', 'a', 'r', 'l', 'ı', ' ', 'ö', 'n', 'e', 'r', 'm', 'e', şeklindedir.
  • geçersiz tutarlı önerme kelimesinin tersten yazılışı ' emrenö ılratut zisreçeg' diziliminde gösterilir.