Ayrık Matematik - Delinetciler Portal

Ayrık Matematik

  1. sponsorlu bağlantılar
    AYRIK MATEMATİK 2. ÖDEV CEVAPLARI

    1- Aşağıdaki eşdeğerliği tanıtlayınız.
    x P(x)  x Q(x)  x y (P(x) Q(y))

    x P(x)  x Q(x)  [P(0)  P(1)  P(2) ….]  [Q(0)  Q(1)  Q(2) ….]
    sağdan dağılma özelliği kullanılırsa

     [[P(0)  P(1)  P(2) ….]  Q(0) ]  [[P(0)  P(1)  P(2) ….]  Q(1)]  ……
    P(x) ifadesi her x değeri için doğrudur. Bundan dolayı aşağıdaki şekilde yazılabilir.

     x (P(x)  Q(0))  x (P(x)  Q(1))  …….
    Her x değeri için P(x) doğrudur ama Q(x) doğru olmayabilir. ( veya sembolü kullanıldığı için bu sonuca varabiliriz.)

     x y (P(x) Q(y))
    verilen eşdeğerliğin doğru olduğu gösterilmiş oldu.

    2) Ç : Çarpma , E : eşitlik , B : Büyüktür önermelerini göstermektedir.

    Soruda verilen her ifadedeki önermeler x, y ve z değişkenleri için belirtilmiş genel önermelerdir.Dolayısıyla ifadelerin matematiksel yazılımında ifadenin tümü için x y vb. niceleyiciler kullanılacaktır.(Eğer belli bir önerme kendi içinde başka niceleyiciler gerektiriyorsa o niceleyiciler ayrıca yazılacaktır.)
    sponsorlu bağlantılar
    Eklenmiş Dosya

      Konuyu Beğendin mi?

  Okunma: 1551 - Yorum: 0