IRCForumları - IRC ve mIRC Kullanıcılarının Buluşma Noktası
  sohbet

Yeni Konu aç Cevapla
 
LinkBack Seçenekler Stil
Alt 13 Kasım 2020, 23:39   #1
Çevrimdışı
Kullanıcıların profil bilgileri misafirlere kapatılmıştır.
IF Ticaret Sayısı: (0)
IF Ticaret Yüzdesi:(%)
Modern Mantıkta Çözümleyici Çizelgede Önermenin Tutarlılığını Denetleme Nedir?





Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.


Modern Mantıkta Çözümleyici Çizelgede Önermenin Tutarlılığını Denetleme Nedir?


Modern Mantıkta herhangi bir önermenin tutarlılığı denetlenirken, çözümleme kurallarının aynısı uygulanır. Çözümleme sonunda, yolların ucunda en az bir açık yol varsa önerme tutarlıdır. Çünkü, bu durum önermenin en az bir tane doğru değerine sahip olduğunu gösterir. Hiç açık yol yoksa önerme tutarsız demektir.

Örnek 1: (~p V q) Λ (p Λ q) önermesinin tutarlılığını denetleyelim: Önermenin ana eklemi tümel evetleme (Λ) eklemidir. Bu nedenle çözümlemeye alt alta yazma kuralı uygulanarak başlanır ve aşağıdaki yol izlenir.


Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.


Çözümlemeye önermenin sağ tarafına adım numarasını, sol tarafına başlangıç önermesi olduğunu belirten (Ö) harfini koyarak başladık. Tümel evetleme kuralına göre bileşenleri alt alta yazdık. Görüldüğü gibi, elde edilen iki önermeden biri tümel evetleme diğeri tikel evetleme önermesidir. İşlem sırasına göre ilk önce tümel evetleme yapılacağı için, kural gereği tümel evetleme önermesini (2) çözümledik. Çelişki ortaya çıkmadığı için tikel evetleme önermesini (3) çözümledik. Böylece işlem tamamlandı. Ortaya çıkan iki yoldan birisinde p ve ~p önermeleri çelişti. Bu nedenle o yolu (X) işaretiyle kapattık. Diğer yol açık olduğu için çözümlediğimiz önerme tutarlı çıktı.


Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.


Yukarıdaki örnekte, verilen önermenin ana eklemi tümel evetleme olduğu için birinci adımda alt alta yazarak çözümledik. İkinci adımda, koşul önermesini çözümleme kuralına göre (p => q ≡ ~p v q denkliği gereği) çatal açarak çözümledik. Her iki yolda çıkan ~p önermesi yukarıdaki p önermesi ile çeliştiği için önerme tutarsızdır.

[Üye Olmadan Linkleri Göremezsiniz. Üye Olmak için TIKLAYIN...]

__________________

English Preparatory Department
School of Foreign Languages
Assistant English Teacher
Ankara Baskent University
2017-18

“Benim, senden öncem ve senden sonram yok, yalnızca sen varsın...”
C.A - 31.12.2010 - ∞

English Language and Literature
Faculty of Humanities and Letters
Ankara Bilkent University
2010-15
 
Alıntı ile Cevapla

IRCForumlari.NET Reklamlar
sohbet odaları sohbet odaları Benimmekan Mobil Sohbet
Cevapla

Etiketler
mantık


Konuyu Toplam 1 Üye okuyor. (0 Kayıtlı üye ve 1 Misafir)
 
Seçenekler
Stil

Yetkileriniz
Konu Acma Yetkiniz Yok
Cevap Yazma Yetkiniz Yok
Eklenti Yükleme Yetkiniz Yok
Mesajınızı Değiştirme Yetkiniz Yok

BB code is Açık
Smileler Açık
[IMG] Kodları Açık
HTML-Kodu Kapalı
Trackbacks are Kapalı
Pingbacks are Açık
Refbacks are Açık


Benzer Konular
Konu Konuyu Başlatan Forum Cevaplar Son Mesaj
Modern Mantıkta Çözümleyici Çizelgede Önermenin Geçerliliğini Denetleme Nedir? Kalemzede Felsefe 0 13 Kasım 2020 23:39
Modern Mantıkta Çözümleyici Çizelgede Önermenin Eşdeğerliliğini Denetleme Nedir? Kalemzede Felsefe 0 13 Kasım 2020 23:39
Modern Mantıkta Çözümleyici Çizelgede Çıkarımın Geçerliliğini Denetleme Nedir? Kalemzede Felsefe 0 13 Kasım 2020 23:39
Modern Mantıkta Çözümleyici Çizelgede Denetleme Yapmak Nedir? Kalemzede Felsefe 0 13 Kasım 2020 23:39
Modern Mantıkta Birden Fazla Önermenin Tutarlılık Denetlenmesi Nedir? Kalemzede Felsefe 0 13 Kasım 2020 21:23