Azərbaycanca
Deutsch
日本語
Lietuvos
සිංහල
Türkçe
Українська
United State
Matematiksel mantık ve mantık programlamada, kural gibi özel bir biçime sahip mantıksal formüllere Horn cümlesi denir. Bu özel biçim mantık programlama, ve modeller kuramı konularında kullanışlıdır. Horn cümlelerinin önemini 1951'de ortaya koyan mantıkçı bu kavramın isim babası olmuştur.
Tanım
Bir Horn cümlesi en fazla bir olumlu (yani olumsuzlanmamış) terimden oluşan bir cümledir (ayrılma (v) bağlacı ile bağlanmış terim kümesi).
Buna karşın, ayrılma (v) bağlacı ile bağlanmış sözcükler eğer en fazla bir olumsuz sözcüğe sahipse çiftli-Horn cümlesi olarak adlandırılır.
Sadece bir olumlu terime sahip olan Horn cümlesine belirli cümle denir; hiç olumsuz terime sahip olmayan belirli cümlelere olgu denir; olumlu terimi olmayan Horn cümleleri amaç cümlesi olarak da adlandırılır (hiçbir terim içermeyen boş bir cümle de bir amaç cümlesidir). Horn cümlelerinin bu üç çeşidi aşağıdaki tabloda gösterilmiştir:
| Ayrılma biçimi | biçimi | Anlamı | |
|---|---|---|---|
| Belirli cümle | ¬p ∨ ¬q ∨ ... ∨ ¬t ∨ u | u ← p ∧ q ∧ ... ∧ t | eğer p ve q ve ... ve t terimlerinin hepsi doğruysa, o zaman u da doğrudur |
| Olgu | u | u | u doğrudur |
| Amaç cümlesi | ¬p ∨ ¬q ∨ ... ∨ ¬t | yanlış ← p ∧ q ∧ ... ∧ t | p ve q ve ... ve t terimlerinin hepsinin doğru olduğunu ispatlayınız |
wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar
Matematiksel mantik ve mantik programlamada kural gibi ozel bir bicime sahip mantiksal formullere Horn cumlesi denir Bu ozel bicim mantik programlama ve modeller kurami konularinda kullanislidir Horn cumlelerinin onemini 1951 de ortaya koyan mantikci bu kavramin isim babasi olmustur TanimBir Horn cumlesi en fazla bir olumlu yani olumsuzlanmamis terimden olusan bir cumledir ayrilma v baglaci ile baglanmis terim kumesi Buna karsin ayrilma v baglaci ile baglanmis sozcukler eger en fazla bir olumsuz sozcuge sahipse ciftli Horn cumlesiolarak adlandirilir Sadece bir olumlu terime sahip olan Horn cumlesine belirli cumledenir hic olumsuz terime sahip olmayan belirli cumlelere olgu denir olumlu terimi olmayan Horn cumleleri amac cumlesi olarak da adlandirilir hicbir terim icermeyen bos bir cumle de bir amac cumlesidir Horn cumlelerinin bu uc cesidi asagidaki tabloda gosterilmistir Ayrilma bicimi bicimi AnlamiBelirli cumle p q t u u p q t eger p ve q ve ve t terimlerinin hepsi dogruysa o zaman u da dogrudurOlgu u u u dogrudurAmac cumlesi p q t yanlis p q t p ve q ve ve t terimlerinin hepsinin dogru oldugunu ispatlayiniz