MANTIK

[Gökhan ylmz]

Yardımcı olur musunuz?

[Osman Picak]

İsenin ilk kısmı hipotez ikinci kısmı hükümdür. Yani a şıkkı

[Muharrem Şahin]

"p => q önermesi,

p doğru iken q nun da doğru olduğunun

gösterilmesi gereken bir önerme ise

ve bu gösterilebiliyorsa,

bu önermeye teorem adı verilir.

Burada, p ve q birer önermedir.

p önermesine hipotez; q önermesine hüküm denir."

(x = 3) => (2x-1 = 5) önermesi

bir bileşik önerme değildir.

Çünkü; "=>" nin solu ve sağı birer açık önermedir.

Dolayısıyla; verdiğim "teorem" tanımına uymaz.

Ancak;

bu önerme,

( A = {3}; her x E A için x = 3) => ( A = {3}; her x E A için 2x-1 = 5)

biçiminde 

bir bileşik önerme olarak ifade edilebilir.

Bu durumda,

p : ( A = {3}; her x E A için x = 3) önermesi hipotezdir.

Çoğu zaman

bu uzun açıklamalar özde saklı tutularak

p(x) => q(x) önermesinde

p(x) açık önermesi

hipotez olarak alınır.

Verilen önermedeki hipotez,

x = 3  olur.

12 Ekim 2015 14:39 tarihinde Gökhan ylmz <gokhn...@gmail.com> yazdı:

Yardımcı olur musunuz?

--
http://www.facebook.com/groups/358210690921074/
 
Matematik geometri bilgi paylaşım platformu.
Mesajlarınıza "KONU BAŞLIĞI" eklemeyi lütfen unutmayınız.
---
Bu iletiyi Google Grupları'ndaki "TMOZ" grubuna abone olduğunuz için aldınız.
Bu grubun aboneliğinden çıkmak ve bu gruptan artık e-posta almamak için tmoz+uns...@googlegroups.com adresine e-posta gönderin.
Bu gruba yayın göndermek için, tm...@googlegroups.com adresine e-posta gönderin.
Bu grubu http://groups.google.com/group/tmoz adresinde ziyaret edebilirsiniz.
Bu tartışmayı web'de görüntülemek için https://groups.google.com/d/msgid/tmoz/CAEJU4xxQEHB%3DK_eUBBzF%2B0h4%3DwJsZSweqBbxVw-pHXKDZ5KJ%2Bw%40mail.gmail.com adresini ziyaret edin.
Daha fazla seçenek için https://groups.google.com/d/optout adresini ziyaret edin.

--

.

[Osman Picak]

Muharrem hocam açıklama için teşekkür ederim. :) ben bu açıklamayı yapamazdım ve de cevap acil bekleniyordur diye pat diye yazmıştım.

[Gökhan ylmz]

Muharrem hocam sorumu siz bu şekilde çözünce çok şey öğrendim.Çok teşekkür ediyorum.

12 Eki 2015 11:11 tarihinde "Muharrem Şahin" <muhar...@gmail.com> yazdı:

Bu tartışmayı web'de görüntülemek için https://groups.google.com/d/msgid/tmoz/CADf0OcOK%2B5LxD-Bv6GRZZd7xwAS4XMVfqTQqAKtYCJ8fshaK%3DA%40mail.gmail.com adresini ziyaret edin.