tutarlı önerme kümesi ne demek?
Anlamlar
- 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. yorumsaltutarlı önerme kümesi. Krş.. dizimseltutarlı önerme kümesi.
Set of satisfiable sentences.
Ensemble d'énoncés satisfaisables
Reklam
İlişkili Kelimeler
tutarlı
- Aralarında çelişki bulunmayan, her bakımdan uyumlu, insicamlı.
- Consistent.
- Coherent.
- Logical.
- Consequent.
tutarlı formül
- Mantıkta, en az bir yorum altında doğru olan formül.
önerme
- Bir savı öne süren veya bir durumu dile getiren cümle, belli bir yorumda belli bir doğruluk değeri kazanan düzgün deyim, kaziye.
- Önermek işi.
- Kabul edilmesi için öne sürülen düşünce, teklif.
- Bir yargı içeren, doğru ya da yanlış olabilen sav.
- (Klasik mantıkta).-5- Yargının sözlerle dile gelişi; doğru ya da yanlış olabilen bir anlatım. // Modern mantıkçılar doğru ya da yanlış olabilen anlatım yanında belirsiz kalan bir anlatım da bulunduğuna dikkati çekmişlerdir.önerme mantıksal terim olarak temel anlamını modern mantıkta kazanmıştır. B. Russellönermeden "İlk planda bir şeyi ya doğru olarak ya da yanlış olarak dile getiren sözler kuruluşu."nu anlar; örneğin: 2x2=4 de 2x2=5 de birerönermedir; "Sokrates bir insandır." "Sokrates bir insan değildir." de birerönermedirler; önemli olanönermedenönerme görevini ayırmaktır.önerme görevi bir anlatımda bu anlatımı kuran bir ya da daha çok belirsiz parçayı, bu parçalara değer yüklendiğinde birönerme kılacak olan anlatımdır. Ör. "X bir insandır." X belirsiz kaldığı sürece buönerme ne doğrudur ne yanlış; X e bir değer verilirse bundan doğru ya da yanlış birönerme çıkar.
- Önesürüş.
- Bir savı öne süren ya da bir durumu dile getiren (genellikle bildiri kipinde olan) bir tümce; belli bir yorumda belli bir doğruluk değeri kazanan düzgün deyim. || Bir önermenin kaplamı kendi doğruluk değeri, içlemi de öne sürdüğü sav ya da dile getirdiği durumdur. Dizimsel türü: p. Anl. bildirsel tümce, kapalı tamdeyim, kapalıönerme, sıfırlı yüklem, sıfırlı tamdeyim. Krş.. çekirdekönerme, yalınçönerme, bileşikönerme, tekilönerme, genelönerme, doğruönerme, yanlışönerme, geçerliönerme, tutarlı önerme.
- Sav ya da durum.
- Suggesting.
- Proposing.
kümesi
- Heap, pile, mass, cluster, group, tuft, conglomerate, league, aggregate, aggregation, bank, clamp, cloud, clump, conglomeration, family, stack, congeries, division.
Türemiş Kelimeler
tutarlıtutarlı formültutarlı ilksavlı kuramtutarlı kestiricitutarlı olantutarlı olaraktutarlı olmaktutarlı önermetutarlı sınamatutarlı tahmin edicitutartutar para birimitutar yeri kalmamaktutaraktutaraklıönermeönerme değişkeniönerme değişmeziönerme eklemiönerme kalıbıönerme niceliğiönerme niteliğiönerme simgesiönermekönermeler cebiriönerönerenöneren kimseönergeönerge vermek
Reklam