Cevap : Tasım Kuramı,tasım Mantığı

**Şengül Şirin** · 02-22-2012

Aristoteles 14"ü kuşkuya yer vermeyen ,5"i de çekince içeren 19 geçerli kip kabul eder

Bu 19 tasımın 5"inin tümel sonuçları olduğundan "her" ile başlayan önermelerin "bazı" ile başlayan önermelere dönüştürülmesiyle geçerli kip sayısı 24"e çıkarılabilir

Aristoteles,tanıtın dolaysız indirgeme,dolaylı indirgeme ya da reductio ad impossibile ( olanaksıza indirgeme) ile sağlandığı bir aksiyom sistemi kullanarak tüm tasımları birinci biçimin tasımlarına indirgemeyi başarmıştır

Günümüzde,terimleri "boş küme" olup olmadıklarına bakmaksızın kullanabilmek amacıyla tasım kuramı Boole cebirinin özel bir biçimi haline getirilmiştir

Bu tür bir cebirde,sınıf ( küme ) bileşim ve kesişim işlemlerinin yanı sıra evrensel küme ve boş küme kavramları da kullanılmaktadır

Bu sistemle elde edilen 15 kip tasım kuramının yüklemler mantığında yorumlanmış teoremlerini oluşturur

Koşulsuz olmayan tasımlar ya koşullu ya da tikel-evetlemeli olabilir; bazı yaklaşımlarda bunlara bir de bağlaşık tasımlar sınıfı eklenir

Koşulsuz olmayan tasım kuramı ile koşulsuz tasım kuramı arasındaki başlıca fark,birincinin,bileşik terimleri inceleyen bir yüklemler mantığı ,ikincisinin ise analiz edilmemiş tam önermeleri birim alan bir önermeler mantığı olmasıdır

Koşullu tasımda "p ) q' ( p,q'yu içerir)

biçimindeki tüm önermelere salt adı verilir

İki geçerli kipi bulunan karma koşullu tasımlarda ise bir koşullu ve bir koşulsuz öncül ile bir koşulsuz sonuç vardır

"Ya

ya da

" biçiminde bir yöneticiden oluşan tikel-evetlemeli tasımların da iki önemli kipi vardır

20

yüzyılda koşulsuz olmayan tasım kavramı,karmaşık ve bileşik önermelerin yanında kurucu ve yıkıcı kipleriyle ikilemleri de içine alacak biçimde genişletilmiştir

kaynak;AnaBritannica cilt 29 frmsinsi

net için derlenmiştir

02-22-2012	#3
Şengül Şirin	Cevap : Tasım Kuramı,tasım Mantığı Aristoteles 14"ü kuşkuya yer vermeyen ,5"i de çekince içeren 19 geçerli kip kabul ederBu 19 tasımın 5"inin tümel sonuçları olduğundan "her" ile başlayan önermelerin "bazı" ile başlayan önermelere dönüştürülmesiyle geçerli kip sayısı 24"e çıkarılabilirAristoteles,tanıtın dolaysız indirgeme,dolaylı indirgeme ya da reductio ad impossibile ( olanaksıza indirgeme) ile sağlandığı bir aksiyom sistemi kullanarak tüm tasımları birinci biçimin tasımlarına indirgemeyi başarmıştırGünümüzde,terimleri "boş küme" olup olmadıklarına bakmaksızın kullanabilmek amacıyla tasım kuramı Boole cebirinin özel bir biçimi haline getirilmiştirBu tür bir cebirde,sınıf ( küme ) bileşim ve kesişim işlemlerinin yanı sıra evrensel küme ve boş küme kavramları da kullanılmaktadırBu sistemle elde edilen 15 kip tasım kuramının yüklemler mantığında yorumlanmış teoremlerini oluşturur Koşulsuz olmayan tasımlar ya koşullu ya da tikel-evetlemeli olabilir; bazı yaklaşımlarda bunlara bir de bağlaşık tasımlar sınıfı eklenirKoşulsuz olmayan tasım kuramı ile koşulsuz tasım kuramı arasındaki başlıca fark,birincinin,bileşik terimleri inceleyen bir yüklemler mantığı ,ikincisinin ise analiz edilmemiş tam önermeleri birim alan bir önermeler mantığı olmasıdırKoşullu tasımda "p ) q' ( p,q'yu içerir)biçimindeki tüm önermelere salt adı verilirİki geçerli kipi bulunan karma koşullu tasımlarda ise bir koşullu ve bir koşulsuz öncül ile bir koşulsuz sonuç vardır"Ya ya da " biçiminde bir yöneticiden oluşan tikel-evetlemeli tasımların da iki önemli kipi vardır20yüzyılda koşulsuz olmayan tasım kavramı,karmaşık ve bileşik önermelerin yanında kurucu ve yıkıcı kipleriyle ikilemleri de içine alacak biçimde genişletilmiştir kaynak;AnaBritannica cilt 29 frmsinsinet için derlenmiştir __________________ Arkadaşlar, efendiler ve ey millet, iyi biliniz ki, Türkiye Cumhuriyeti şeyhler, dervişler, müritler, meczuplar memleketi olamaz En doğru, en hakiki tarikat, medeniyet tarikatıdır