MATEMATİK ÖZEL DERS - Eşdeğerlik ve karşıtlık
  ANA SAYFA
  ÖZEL DERS BAŞVURU
  HAKKIMDA
  NEDEN ÖZEL DERS?
  MATEMATİĞİN FAYDALARI
  MATEMATİK KORKUSU NASIL YENİLİR?
  BAŞARILI OLMAK İÇİN NASIL ÇALIŞMALIYIZ?
  TEST ÇÖZME TEKNİKLERİ
  MATEMATİK TARİHÇESİ
  MATEMATİK ALİMLERİ
  MATEMATİK SÖZLÜĞÜ
  MATEMATİK FELSEFESİ
  MATEMATİK KARİKATÜRLERİ
  MATEMATİK SEMBOLLERİ
  MATEMATİK FORMÜLLERİ
  GEOMETRİ FORMÜLLERİ
  İLGİNÇ MATEMATİKSEL BİLGİLER
  VÜCUDUMUZDAKİ MATEMATİK
  Pİ SAYISI
  SIFIR SAYISI
  MATEMATİK PÜF NOKTALARI
  MATEMATİK ZEKA SORULARI
  MATEMATİĞİN AYDINLIK DÜNYASI BELGESELLERİ İZLE
  MATEMATİĞİN HİKAYESİ BELGESELLERİ İZLE
  MATEMATİKSEL HAFIZA TEKNİKLERİ İZLE
  VERİMLİ DERS ÇALIŞMA TEKNİKLERİ İZLE
  MİMAR SİNAN BELGESELİ İZLE
  MATEMATİK SORU VE CEVAP
  MATEMATİK VİDEOLARI
  MATEMATİK DOSYA İNDİR
  6. SINIF MATEMATİK ÖZEL DERS
  7. SINIF MATEMATİK ÖZEL DERS
  8. SINIF MATEMATİK ÖZEL DERS
  9. SINIF MATEMATİK ÖZEL DERS
  => Mantık Konusu Konu Anlatımı
  => Çözülüm Teorem İspatlama
  => Eşdeğerlik ve karşıtlık
  => KÜMELER-TEMEL TANIMLAR
  => ÖNERMELERİN SEMBOLLERLE GÖSTERİMİ VE DOĞRULUK DEĞERLERİ
  10. SINIF MATEMATİK ÖZEL DERS
  11. SINIF MATEMATİK ÖZEL DERS
  12. SINIF MATEMATİK ÖZEL DERS
  AÖF ÖZEL DERS
  SBS ÖZEL DERS
  SBS PUAN HESAPLA
  YGS ÖZEL DERS
  YGS PUAN HESAPLA
  LYS ÖZEL DERS
  LYS PUAN HESAPLA
  DGS ÖZEL DERS
  DGS PUAN HESAPLA
  KPSS ÖZEL DERS
  KPSS PUAN HESAPLA
  ALES ÖZEL DERS
  ALES PUAN HESAPLA
  FAYDALI LİNKLER
  KÜLTÜR - SANAT
  ANKETLER
  MATEMATİK FORUM
  MATEMATİK (Boş ders şarkısı)
  GÜZEL SÖZLER
  ZİYARETÇİ DEFTERİ
  Sayaç Ayrıntıları

A(x) yüklemsel bir formül olsun. Şu ifadeleri gözönüne alalım:

a) forall x A(x)
b) exists x A(x)
c) forall x (neg A(x))
d) exists x (neg A(x))

Bunları doğal dile çevirirsek:

a) Her şey A yüklemine (özelliğine) sahiptir.
b) Bazı şeyler A yüklemine (özelliğine) sahiptir.
c) Hiçbir şey A yüklemine (özelliğine) sahip değildir.
d) Bazı şeyler A yüklemine (özelliğine) sahip değildir.

Burada görüldüğü gibi, d, a'nın karşıtı (değillemesi), c de b'nin karşıtıdır. Şu halde, exists x A(x) yerine neg forall x neg A(x) kullanabiliriz, çünkü bunlar mantıksal olarak özdeştir, aynı şekilde forall x A(x) yerine neg exists x neg A(x) ifadesini kullanabiliriz.

Yüklemsel ifadelerde değilleme ve niceleyicilerin yeri, anlam bakımından önemlidir. Örneğin:

neg forall x asal(x), “her sayı asal değildir” anlamına gelirken,
forall x neg asal(x) ise “hiçbir sayı asal değildir” anlamına gelir.

Eşdeğerlikler

forall x P(x) = neg [exists x neg P(x)]
exists x P(x) = neg [forall x neg P(x)]
neg exists x P(x) = forall x neg P(x)
neg forall x P(x) = exists x neg P(x)

Karşıtlıklar

forall x P(x) times exists x neg P(x)
exists x P(x) times forall x neg P(x)
neg exists x P(x) times exists x P(x)
neg forall x P(x) times forall x P(x)
YENİ ADRESİMİZ

www.matematikegitmeni.com 

Bugün 146221 ziyaretçi (325108 klik) kişi burdaydı!
=> Sen de ücretsiz bir internet sitesi kurmak ister misin? O zaman burayı tıkla! <=