Nüve Forum


Mantık hakkinda Sembolik Mantık ile ilgili bilgiler


SEMBOLİK MANTIK Çıkarımları sembolik bir dille denetlemek için geliştirilmiştir. Çıkarım eldeki bilgilerden bir sonuç çıkarma işlemidir. Eldeki bilgilerden beklenen sonuçların çıkıp çıkmadığını araştırmaya denetleme denir. Sembolik mantık günlük dildeki önermeleri

Cevapla

 

LinkBack Seçenekler Stil
  #1  
Alt 01.02.08, 13:28
Administrator
 
Üyelik tarihi: Aug 2006
İletiler: 21.463
Blog Başlıkları: 13
CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!
Standart Sembolik Mantık

SEMBOLİK MANTIK

Çıkarımları sembolik bir dille denetlemek için geliştirilmiştir.
Çıkarım eldeki bilgilerden bir sonuç çıkarma işlemidir.
Eldeki bilgilerden beklenen sonuçların çıkıp çıkmadığını araştırmaya denetleme denir.
Sembolik mantık günlük dildeki önermeleri semboller yardımıyla çok anlamlılığa ve belirsizliğe yer vermeden denetleyebilmeyi sağlar.

A. Önermeler Mantığı

B. Yüklemler Mantığı
__________________
NEVART AKADEMİ
www.nevart.net
Güzel Sanatlar Fakültesi/Lisesi Yetenek Sınavlarına Hazırlık Kursu
Resim Yağlı Boya Hobi Kursu
Hızlı ve Etkili Okuma Kursu
Çocuklar için Hızlı Okuma Kursu
Çocuklar için Resim Kursu
Disleksi Eğitimi
Okuma Güçlüğü
Alıntı ile Cevapla
  #2  
Alt 01.02.08, 14:43
Administrator
 
Üyelik tarihi: Aug 2006
İletiler: 21.463
Blog Başlıkları: 13
CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!
Standart Önermeler Mantığı

A. ÖNERMELER MANTIĞI

1.
Önermelerin Sembolleştirilmesi

Önermeler mantığında her bir yargı p,q,r... gibi sembollerle ifade edilir.

Örnek:
Dünva gezegendir. Dünyanın şekli elipstir.
P q

Güneş yakıcıdır,
r

2. Önerme Eklemleri: -, v, a, =>, <=>

Dünya gezegen ise güneş yakıcıdır.fp => r)
P => r

Dünya gezegendir ve şekli elipstir, (p A q)
P A q

3. Önerme Çeşitleri

a. Basit önerme

Bir tek yargısı olan önermeler basittir.
Aristotales filozoftur. Bazı çiçekler kokuludur.
P q

b. Bileşik önerme

Birden fazla yargısı olan önermeler bileşiktir.

Aristotales filozoftur veya bilim adamıdır, (p v q)
P q
Yağmur yağıyor ise hava bulutludur, (r => s)
r s

Önemli: içinde önerme eklemi taşıyan önermeler de birden fazla yargı taşıdıklarından bileşiktirler.

İstanbul başkent değildir (~ p)
p (bileşen)

Kuşlar kanatlıdır ve iki ayaklıdır. (q a r)
q (bileşen) r (bileşen)a Bileşik önermeyi meydana getiren önermelerin
her birine bileşen denir.
Hiçbir bileşeni olmayan önermeler basittir. Sadece ~ ekleminin tek bileşeni vardır.

4. Ana Eklem - Ana Bileşen

Birden fazla bileşik önermeden oluşan önermelerde en son işleme katılan eklem, ana eklemdir. Ana eklemin karşıladığı önermeler de ana bileşendir.

~[~(P= Ana bileşen âna bileşen
Ana eklem

~ [~(P= Ana Ana bileşen
eklem

~p(p= Ana bileşen
Ana
eklem

P = ana ana
bileşen bileşen
ana eklem

5. Temel Doğruluk Çizelgeleri

a. Değilleme eklemi (~)

~ ~p ~~p

D Y D
Y D Y

Bilim faydalıdır, (p)

Bilim faydalı değildir
. (~ p)
p

Bilimin faydalı olmadığı doğru değildir
. (~~p)
~p ~

b. Tikel evetleme eklemi ( v)

Bileşenlerden en az birinin doğru olduğunu kabul eden önerme eklemidir.

Hava bulutludur veya hava yağmurludur. (pvq)

p q

pq pVq
DD D
DY D
YD D
YY Y

c. Tümel evetleme eklemi ( ^ )

Bileşenlerinin tümünün doğru olduğunu kabul eden önerme eklemidir.

Bileşenlerin birlikteliğini ifade eden ile, kadar, hem-hem, da-da tümel evetleme eklemiyle belirtilir.

Mevsim yazdır ve güneş yakıcıdır, (p^q)
P q

pq p^q
DD D
DY Y
YD Y
YY Y

d. Koşul eklemi (=>)

Yargının bir koşula bağlı olduğu önerme eklemidir.

Yağmur yağıyor ise hava bulutludur, (p =>q)
p (ön bileşen) q (ard bileşen)

pq p =>q
DD D
DY D
YD D
YY Y

Hava bulutlu değilse yağmur yağmaz. (~q => ~p)
~q ~p

önermesi p =>q önermesinin mantıksal sonucudur. Dolayısıyla aynı doğruluk değerlerine sahiptirler.

Yağmur yağmıyor veya hava bulutludur. (~ p v q)
~P q

Önermesi de p =>q önermesinin mantıksal sonucudur. Dolayısıyla doğruluk değerleri aynıdır.

pq p =>q ~q => ~p ~ p v q
DD D D D
DY Y Y Y
YD D D D
YY D D D
. . . .
= =

e. Karşılıklı koşul eklemi (<=>)
Yargının sadece tek bir koşula bağlı olduğu önerme eklemidir.

Güneş doğduğunda ancak ve ancak gündüz olur (p<=>q)

pq p<=>q
DD D
DY Y
YD Y
YY D
__________________
NEVART AKADEMİ
www.nevart.net
Güzel Sanatlar Fakültesi/Lisesi Yetenek Sınavlarına Hazırlık Kursu
Resim Yağlı Boya Hobi Kursu
Hızlı ve Etkili Okuma Kursu
Çocuklar için Hızlı Okuma Kursu
Çocuklar için Resim Kursu
Disleksi Eğitimi
Okuma Güçlüğü
Alıntı ile Cevapla
  #3  
Alt 20.09.10, 18:46
Administrator
 
Üyelik tarihi: Aug 2006
İletiler: 21.463
Blog Başlıkları: 13
CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!
Standart Sembolik Mantık

6. Denetlemeler

a. Tutarlılık

***8226; Bir önermenin tutarlılığı : Yorumlama tablosunda doğrulardan oluşan en az bir

satırı bulunan önermeler tutarlıdır.

Mevsim kıştır.

p

p

D Tutarlı

Y Geçersiz

Not 1:

1. Tutarlı önermeler geçersiz olabilir.

2. Geçersiz önermeler tutarlı olabilir.

Mevsim kıştır veya mevsim kış değildir. (p ***8744; ~ p)

p ~ p

Not : 2 Geçerli her önerme tutarlıdır.

Mevsim kıştır ve mevsim kış değildir. (p ***8743; ~ p)

Not 3:

***8226; Tutarsız her önerme geçersizdir.

***8226; Geçersiz bir önerme tutarsız olabilir.

***8226; Birden fazla önermenin birlikte tutarlılığı: Yorumlama tablosunda doğrulardan oluşan ortak bir yorumu bulunan önermeler birlikte tutarlıdır.

1.gif~ p ***8744; q, ~ p => q önermeleri birlikte

tutarlıdır.

b. Geçerlilik:
Yorumlama tablosunda yanlışlardan oluşan hiçbir satırı bulunmayan önermeler geçerlidir. Yukarıda geçen önermelerin geçerliliğini inceleyelim,
  • Çıkarımların Geçerliliği: Bir çıkarımın geçerli olması, öncülleri doğruyken sonucun yanlış olmamasına bağlıdır. Buna göre öncülleri doğru iken sonucu yanlış olan çıkarım geçersiz, diğer hallerde geçerlidir.Örnek:
Güneş doğmuştur. (p) öncül
O halde gündüz olmuştur (q) sonuç
p => q olarak sembolleştirilebilen bu çıkarımın geçerliliğini inceleyelim.
2.gif
c. Eşdeğerlilik:
Aynı doğruluk değerine sahip önermeler eşdeğerdir.
3.gif

Not: Bütün geçerli önermeler eşdeğerdir.
4.gif

Not: Bütün tutarsız önermeler eşdeğerdir.
A, B gibi iki ayrı önermenin eşdeğer olması (aynı doğruluk değerinde olması) A U B önermesinin geçerli olmasına veya ~ (A U B ) önermesinin tutarsız olmasına bağlıdır.
Buna göre ~ (A U B) tutarsız ise, (A U B) geçerlidir. Dolayısıyla A ile B eşdeğerir.
__________________
NEVART AKADEMİ
www.nevart.net
Güzel Sanatlar Fakültesi/Lisesi Yetenek Sınavlarına Hazırlık Kursu
Resim Yağlı Boya Hobi Kursu
Hızlı ve Etkili Okuma Kursu
Çocuklar için Hızlı Okuma Kursu
Çocuklar için Resim Kursu
Disleksi Eğitimi
Okuma Güçlüğü
Alıntı ile Cevapla
  #4  
Alt 20.09.10, 18:51
Administrator
 
Üyelik tarihi: Aug 2006
İletiler: 21.463
Blog Başlıkları: 13
CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!CiwCiw öyle bir şöhrete sahip ki kendinden önce namı yürüyor!
Standart Sembolik Mantık

B. YÜKLEMLER MANTIĞI
İçinde " (her), => (bazı) gibi niceleyici geçen önermeler yüklemler mantığının konusunu oluşturur. Bu önermelere genel önerme denir. İçine niceleyici geçmeyen önermelere de tekil önerme denir.
Yüklemler mantığında önermeler mantığından farklı olarak basit önermelerin iç yapıları da sembolleştirilebilmektedir. Örnek olarak:
***8220;Bütün kuşlar kanatlıdır***8221; önermesi önermeler mantığında p olarak sembolleştirilirken, yüklemler mantığında "xFx şeklinde sembolleştirilir. Bu ayrıntılı sembolleştirilmeden dolayı önermeler mantığında tutarlı olan bir önerme yüklemler mantığında tutarsız olabilmektedir.
1. Tanımlamalar
a. Değişmezler ve sembolleştirilmesi:
***8211; Mantık değişmezleri
~, U, U, =>, U (önerme eklemleri)
", $ (niceleyiciler)
***8211; Özel değişmezler
a, b, c...(ad değişmezleri )
F, G, H ...(yüklem değişmezleri)
Aristo filozoftur (Fa)
a F
Aristo insandır. (Ga)
a G
Sokrates insandır. (Gb)
b G
Aristo filozof ise Aristo insandır. (Fa => Ga)
Fa Ş Ga

b. Değişkenler: Belli bir değeri olmayan ve farklı değerler alabilen x, y, z... gibi sembollere değişken denir. içine x, y, z gibi değişken geçen önermelere de açık önerme denir. Örneğin;
***8220;x < z***8221;
***8220;x + y = 4"
***8220;z başkenttir.***8221; birer açık önermedir.
Açık önermelerin doğruluk değeri yoktur.
c. Tümel Niceleme: ***8220;x katıdır***8221; (Kx) açık önermesi E= {demir, cam} evreninde
***8220;Demir katıdır.***8221;
***8220;Cam katıdır.***8221; özellemeleri yapıldığında, evrendeki tüm elemanlar (Tümel niceleme gereği evrendekilerin hepsi) açık önermedeki x***8217;i karşılarsa, Kx açık önermesi verilen evren için
"x K x olarak gösterilir.
***8220;"x (x başkenttir)" önermesinin E = {Ankara, İstanbul} evreninde;
***8220;Ankara başkenttir.***8221; D
***8220;İstanbul başkenttir.***8221; Y
özellemeleri yapıldığında, D Ù Y º Y sonucuna ulaşılır. Buna göre tümel niceleyici ile yapılan önerme verilen evrende gerçeklenmemiştir.

d. Tikel niceleme: ***8220;x sıvıdır.***8221; (Sx) açık önermesi E= {su, taş} evreninde, ***8220;Su sıvıdır.***8221;
***8220;Taş sıvıdır.***8221; özellemeleri yapıldığında; evrendeki bazı elemanlar (Tikel niceleme gereği evrendekilerden en az biri) açık önermedeki x***8217;i karşılarsa, Sx açık önermesi verilen veren için$ x S x olarak gösterilir.
***8220;$ x (tek sayıdır.)" önermesinin E = {0, 1, 2}} evreninde
***8220;0 tek sayıdır.***8221; Y
***8220;1 tek sayıdır.***8221; D
***8220;2 tek sayıdır.***8221; Y özellemeleri yapıldığında,
Y U D U Y º D sonucuna ulaşılır. Buna göre tikel niceleyici ile yapılan önerme verilen evrende gerçeklenmiştir.

Kod:
Tümel niceleyici ile yapılan önermelerde, özellemelerin arasında tümel evetleme eklemi (U) kullanılır. Tikel niceleyici ile yapılan önermelerde, önermeler arasında tikel evetleme eklemi (U) kullanılır.

e. Niceleyici Değilleme Kuralları (Eşdeğerlilik)
~ " x F x º $ x ~Fx
~ $ x F x º " x ~Fx
~ " x ~ F x º $ x Fx
~ $ x ~ F x º " x Fx

0.JPG

__________________
NEVART AKADEMİ
www.nevart.net
Güzel Sanatlar Fakültesi/Lisesi Yetenek Sınavlarına Hazırlık Kursu
Resim Yağlı Boya Hobi Kursu
Hızlı ve Etkili Okuma Kursu
Çocuklar için Hızlı Okuma Kursu
Çocuklar için Resim Kursu
Disleksi Eğitimi
Okuma Güçlüğü
Alıntı ile Cevapla
  #5  
Alt 03.05.12, 21:04
Acemi
 
Üyelik tarihi: May 2012
İletiler: 1
ilknurgul34 doğru yolda ilerliyor.
Standart Cevap: Sembolik Mantık

teşekkürler
Alıntı ile Cevapla
Cevapla

Tags
mantık, sembolik

Seçenekler
Stil

Yetkileriniz
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

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



Bütün zaman ayarları WEZ +2 olarak düzenlenmiştir. Şu anki saat: 10:27 .