açık önerme

[oyunlar]

p(x): x buyuktur 5 ise x-kare buyuktur 40

1)  "p(x) önermesi x=6 için yanlış, x=7 için doğrudur" diyebilir miyiz?

2) "p(x) önermesi yanlıştır" diyebilir miyiz?

3) " p(x) önermesi x=7 için bir gerektirmedir." diyebilir miyiz?

4) "p(x) önermesi gerektirme değildir" diyebilir miyiz?

q(x): x buyuktur 5 ise x-kare buyuktur 25

5)"q(x) önermesi bir gerektirmedir" diyebilir miyiz?

6) "q(x) önermesi totolojidir." diyebilir miyiz?

Hocalarım yardımcı olursanız memnun olurum.

[Muharrem Şahin]

p(x): x > 5 => x^2 > 40

Bu biçimi ile, p(x) bir açık önermedir.

1) p(6) yanlış,  p(7) doğrudur.

2) p(x) bir önerme değildir. Açık önermedir.

    x'e verilecek değerlere göre,

    doğru da olabilir, yanlış da.

3) p => q  önermesinin totoloji olması durumunda

    "p önermesi q önernesini gerektirir" denir.

    Yani; p nin tüm doğruluk değerleri söz konusudur.

   " 7 > 5  => 49 > 40 " önermesi doğru bir önermedir. Totoloji değildir.

4) p(x) önerme değildir.

q(x): x > 5  =>  x^2 > 25  

  

5) q(x) önermesi "p => r" gibi bir önerme değildir.

    ( "x > 5" bir önerme değil, bir açık önermedir.)

    Dolayısıyla; burada, biri diğerini gerektiren iki ayrı önerme yoktur.

   q önermesi doğru bir önermedir.

6) Totoloji değildir. (Totoloji olsaydı, "gerektirme" diyebilirdik.)

    Doğru bir önermedir.

    

Yararlı olabilecek bir soru sormuşsunuz hocam.

5 Ekim 2015 19:47 tarihinde oyunlar <oyunlar...@gmail.com> yazdı:

--
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/eb3d98da-f2a6-4dcd-95a0-1eedb00fd534%40googlegroups.com adresini ziyaret edin.
Daha fazla seçenek için https://groups.google.com/d/optout adresini ziyaret edin.

--

.

[oyunlar]

Hocam teşekkür ederim

5 Ekim 2015 Pazartesi 19:47:21 UTC+3 tarihinde oyunlar yazdı:p(x): x buyuktur 5 ise x-kare buyuktur 40

[Yalçın YILMAZ]

​Teşekkürler Muharrem hocam tek tek açıklamışsınız. Eksik olmayınız.

bir iki şıkta ben ekleyeyim.

 1)  x > 5  =>  x^2 > 25    bir bileşik önerme midir? 

2)  Açık önermeler için totoloji, çelişki, gerektirme, çift gerektirme  tanımlı mıdır?

​

[Muharrem Şahin]

Yalçıncığım;

Bugünlerde öyle güzel 

öyle öğretici

öyle aydınlatıcı sorular geliyor ki;

planladığım işlerime zaman ayırmakta zorlanıyorum

Ama; 

hiç de şikayet etmiyorum.

Mutlulukla ilgileniyorum.

...

Senin sorun da tam zirve yaptı.

Zihnimde dolanıyordu;

sen yazıya dökmüşsün.

Cevabımı düzenlemeye çalışıyorum.

Sevgiler, selamlar.

6 Ekim 2015 00:40 tarihinde Yalçın YILMAZ <yalci...@gmail.com> yazdı:

--

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/CAFhZcuRRjkHnXK-JiqAg%2B4equbYV2aMibS0HsJbgmsqkKz2zYg%40mail.gmail.com adresini ziyaret edin.

Daha fazla seçenek için https://groups.google.com/d/optout adresini ziyaret edin.

--

.

[Muharrem Şahin]

Yalçıncığım;

Hastane işlerim beni çok yordu.

Geniş bir açıklama için

iyice dinlenmem gerekiyor.

Şu kadarını söyleyeyim:

1)  Verdiğin önerme, bileşik önerme değildir.

Küçük rötuşlarla,

bileşik önermeye dönüştürülebilir.

2) Açık önermeler için

totoloji, çelişme, gerektirme kavramları tanımlı değildir.

Bunun açıklaması da

ilk sorun ile ilişkili.

Öpüyorum.

Not:

Bu kadarlık cevaplarım,

ilgilenenlerin ilgisini çekebilir.

Geniş açıklamamın gecikmesi

bu yönüyle yararlı olabilir.

6 Ekim 2015 21:10 tarihinde Muharrem Şahin <muhar...@gmail.com> yazdı:

--

.

[Barış DEMİR]

Muharrem Hocam,
öncelikle geçmiş olsun.

Açık önermelerin bağlaçlarla birleştirilmesiyle elde edilen bileşik önermelerde totoloji, çelişki, gerektirme kavramları yoktur demek doğru olmasa gerek.
Hem akıl yürütme ile bunu söyleyebiliriz hem de Grimaldi kitabında bunlar yer almaktadır. .

Tekrar geçmiş olsun

[hasanalihoca(öğretmen)]

Muharrem hocam geçmiş olsun.

7 Eki 2015 16:04 tarihinde "Barış DEMİR" <baris...@gmail.com> yazdı:

--
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 e-postayı Google Grupları'ndaki "TMOZ" adlı gruba 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 kayıt 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/2d7bcd28-dde6-46b7-8fc4-fd5015d60d5e%40googlegroups.com adresini ziyaret edin.
Daha fazla seçenek için, https://groups.google.com/d/optout adresiniz ziyaret edin.

[Yalçın YILMAZ]

Muharrem hocam çok geçmiş olsun. Teşekkürler.​

[rasimzencir]

açık önermeler önerme olmadığından yukardaki sorulara muhattap değildir.



RASİM ZENCİR


7 Ekim 2015 21:59 tarihinde Yalçın YILMAZ <yalci...@gmail.com> yazdı:

> Muharrem hocam çok geçmiş olsun. Teşekkürler.
>

> --
> 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/CAFhZcuSqSyq5Z0KeC2BiE-7Hd-ofOOxyh_ib4DAuH_neyeV2yg%40mail.gmail.com
> adresini ziyaret edin.
>

[Muharrem Şahin]

Barış Hocam;

Açık önermeler için

totoloji, çelişme, gerektirme kavramlarının 

nasıl tanımlandığını

Teo Grünberg Hocamın kitabında bulamadım.

Tanımları

ve örnekleri.

paylaşabilir misin?

Her başlığın 

ortak doğruya bağlanmasının

çok önemli olduğunda birleştiğimiz için yazıyorum.

Sevgilerimle.

8 Ekim 2015 17:53 tarihinde rasimzencir <rsm...@gmail.com> yazdı:

Bu e-postayı Google Grupları'ndaki "TMOZ" adlı gruba 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 kayıt 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/CAHCo00R19ff6ixic3JMBzw1e4Rte3QkkvvLcQPBmXKU8MWveuA%40mail.gmail.com adresini ziyaret edin.

Daha fazla seçenek için, https://groups.google.com/d/optout adresiniz ziyaret edin.

--

.

[Muharrem Şahin]

16 Ekim 2015 17:09 tarihinde Muharrem Şahin <muhar...@gmail.com> yazdı:

--

.