Örnek...6 : Örnek...1 : Örnek...7 : Örnek...2 : Örnek...3 : Örnek...4 : Örnek...8 : Örnek...5 : MANTIK 2 MATEMATİKSEL ARAÇLAR AÇIK ÖNERMELER

Benzer belgeler
İÇİNDEKİLER. Önsöz...2. Önermeler ve İspat Yöntemleri...3. Küme Teorisi Bağıntı Fonksiyon İşlem...48

Matematik Ders Föyü. Uygulayalım. Terim. Önerme. Doğruluk Değeri. Ortaöğretim Alanı MF - 01 NOT NOT. 1. Aşağıdaki tabloyu tanımlı veya tanımsız

Matematik Ders Föyü. Uygulayalım. Terim. Önerme. Doğruluk Değeri. Ortaöğretim Alanı MF - 01 NOT NOT. 1. Aşağıdaki tabloyu tanımlı veya tanımsız

1. ÜNİTE: MANTIK. Bölüm 1.1. Önermeler ve Bileşik Önermeler

MATM 133 MATEMATİK LOJİK. Dr. Doç. Çarıyar Aşıralıyev

Saygın KIRILMAZ, Tolga TANIŞ, Simay AYDIN

Örnek...2 : Örnek...3 : Örnek...1 : MANTIK 1. p: Bir yıl 265 gün 6 saattir. w w w. m a t b a z. c o m ÖNERMELER- BİLEŞİK ÖNERMELER

MANTIK. 3. p 0, q 1 ve r 1 iken aşağıdaki önermelerin doğruluk değerlerini bulunuz. p q q. q b. ( ) ' c. ( p q) r

LİSE 1 MANTIK KONU ANLATIM FASİKÜLÜ

KÜMELER VE MANTIK KESİLİ MATEMATİKSEL YAPILAR

Temel Kavramlar 1 Doğal sayılar: N = {0, 1, 2, 3,.,n, n+1,..} kümesinin her bir elamanına doğal sayı denir ve N ile gösterilir.

MATEMATİK ADF. Önermeler - I ÜNİTE 1: MANTIK. Önerme. örnek 2. Bir önermenin değili (olumsuzu) örnek 3. Doğruluk Tablosu. örnek 1.

harfi almanca kökenli (Zahlen) Z X bir sonlu küme ise, X = X deki öğelerin sayısını gösterir

1.GRUPLAR. c (Birleşme özelliği) sağlanır. 2) a G için a e e a a olacak şekilde e G. vardır. 3) a G için denir) vardır.

Bu kısımda işlem adı verilen özel bir fonksiyon çeşidini ve işlemlerin önemli özelliklerini inceleyeceğiz.

Sunum ve Sistematik 1. BÖLÜM: ÖNERMELER

için Örnek 7.1. simetri grubunu göz önüne alalım. Şu halde dür. Şimdi kalan sınıflarını göz önüne alalım. Eğer ve olarak alırsak işlemini kullanarak

1. GRUPLAR. c (Birleşme özelliği) sağlanır. 2) a G için a e e a a olacak şekilde e G (e ye birim eleman denir) vardır.

Bu tanım aralığı pozitif tam sayılar olan f(n) fonksiyonunun değişim aralığı n= 1, 2, 3,, n,

Örnek...3 : Aşağıdaki ifadelerden hangileri bir dizinin genel terim i olabilir?

BM202 AYRIK İŞLEMSEL YAPILAR. Yrd. Doç. Dr. Mehmet ŞİMŞEK

2. Matematiksel kavramları organize bir şekilde sunarak, bu kavramları içselleştirmenizi sağlayacak pedagojik bir alt yapı ile yazılmıştır.

MATEMATİK BİLİM GRUBU III KURS PROGRAMI

ÖZEL ÖĞRETİM KURSU MATEMATİK-III ÇERÇEVE PROGRAMI. : Kesikkapı Mah. Atatürk Cad. No 79 Fethiye /MUĞLA

13.Konu Reel sayılar

YAYINLARI. ISBN:

AYRIK YAPILAR ARŞ. GÖR. SONGÜL KARAKUŞ- FIRAT ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ YAZILIM MÜHENDİSLİĞİ BÖLÜMÜ, ELAZIĞ

Mustafa Sezer PEHLİVAN. Yüksek İhtisas Üniversitesi Beslenme ve Diyetetik Bölümü

ÜNİVERSİTEYE HAZIRLIK 9. SINIF OKULA YARDIMCI KONU ANLATIMLI SORU BANKASI MATEMATİK MANTIK - KÜMELER

SAYILAR DOĞAL VE TAM SAYILAR

MUTLAK DEĞER Test -1

MODÜLER ARİTMETİK A)1 B)3 C)8 D)11 E)13. TANIM Z tam sayılar kümesinde tanımlı

İÇİNDEKİLER ÖNERMELER BİLEŞİK ÖNERMELER AÇIK ÖNERMELER İSPAT YÖNTEMLERİ

3. işleminin birim elemanı vardır, yani her x A için x e = e x = x olacak şekilde e A vardır.

8. HOMOMORFİZMALAR VE İZOMORFİZMALAR

1. BÖLÜM Mantık BÖLÜM Sayılar BÖLÜM Rasyonel Sayılar BÖLÜM I. Dereceden Denklemler ve Eşitsizlikler

in en küçük değeri için x + y =? (24) + + =? ( a ) a a a b a

11.Konu Tam sayılarda bölünebilme, modüler aritmetik, Diofant denklemler

YZM 3217 YAPAY ZEKA DERS#6: MANTIK

Örnek...3 : Aşağıdaki ifadelerden hangileri bir dizinin genel terim i olabilir? Örnek...4 : Genel terimi w n. Örnek...1 : Örnek...5 : Genel terimi r n

AKSARAY KANUNİ ANADOLU İMAM HATİP LİSESİ EĞİTİM ÖĞRETİM YILI MATEMATİK DERSİ 11.SINIFLAR ÜNİTELENDİRİLMİŞ YILLIK PLANI TEKNİKLER

MATM 133 MATEMATİK LOJİK. Dr. Doç. Çarıyar Aşıralıyev

olsun. Bu halde g g1 g1 g e ve g g2 g2 g e eşitlikleri olur. b G için a b b a değişme özelliği sağlanıyorsa

Temel Kavramlar. (r) Sıfırdan farklı kompleks sayılar kümesi: C. (i) Rasyonel sayılar kümesi: Q = { a b

ÜNİTE. MATEMATİK-1 Doç.Dr.Erdal KARADUMAN İÇİNDEKİLER HEDEFLER ÖZDEŞLİKLER, DENKLEMLER VE EŞİTSİZLİKLER

İleri Diferansiyel Denklemler

Taşkın, Çetin, Abdullayeva 2. ÖZDEŞLİKLER,DENKLEMLER VE EŞİTSİZLİKLER

sayıların kümesi N 1 = { 2i-1: i N } ve tüm çift doğal sayıların kümesi N 2 = { 2i: i N } şeklinde gösterilebilecektir. Hiç elemanı olmayan kümeye

MUTLAK DEĞER. Örnek...6 : 1 x > 1 y > 1 z. Örnek...7 : x=1 5, y= 5 2, ise x+y y x x =? Örnek...1 : =? Örnek...8 : Örnek...2 : =?

(m+2) +5<0. 7/m+3 + EŞİTSİZLİKLER A. TANIM

10. DİREKT ÇARPIMLAR

LYS MATEMATİK DENEME - 1

T I M U R K A R A Ç AY - H AY D A R E Ş C A L C U L U S S E Ç K I N YAY I N C I L I K A N K A R A

Alıştırmalar 1. 1) Aşağıdaki diferansiyel denklemlerin mertebesini ve derecesini bulunuz. Bağımlı ve bağımsız değişkenleri belirtiniz.

Normal Alt Gruplar ve Bölüm Grupları...37

Yeşilköy Anadolu Lisesi

MANTIK 1 ÖNERMELER- BİLEŞİK ÖNERMELER. p: Bir yıl 265 gün 6 saattir. Örnek...2 : Örnek...3 : Örnek...1 : 9.. Sınıf Matematik Konu Anlatımı 1/8

10.Konu Tam sayıların inşası

Tanım 2.1. X boş olmayan bir küme olmak üzere X den X üzerine bire-bir fonksiyona permütasyon denir.

biçimindeki ifadelere iki değişkenli polinomlar denir. Bu polinomda aynı terimdeki değişkenlerin üsleri toplamından en büyük olanına polinomun dereces

MATEMATİK ÖĞRETMENLİK ALAN BİLGİSİ - DENEME SINAVI DENEME. Diğer sayfaya geçiniz.

İÇİNDEKİLER. Mantık Kurallarının Elektrik Devrelerine Uygulanması... 14

POLİNOMLAR Test I m P x 3 2x x 4x. P x x 5 II. III. A) 13 B) 12 C) 11 D) 10 E) 9

TEMEL KAVRAMLAR. SAYI KÜMELERİ 1. Doğal Sayılar

için doğrudur. olmak üzere tüm r mertebeli gruplar için lemma nın doğru olduğunu kabul edelim. G grubunun mertebesi n olsun. ve olsun.

6. Ders. Mahir Bilen Can. Mayıs 16, 2016

Leyla Bugay Doktora Nisan, 2011

MATM 133 MATEMATİK LOJİK. Dr. Doç. Çarıyar Aşıralıyev

BMT 206 Ayrık Matematik. Yük. Müh. Köksal GÜNDOĞDU 1

SAYILAR SAYI KÜMELERİ

İKİNCİ DERECEDEN DENKLEMLER

T I M U R K A R A Ç AY - H AY D A R E Ş C A L C U L U S S E Ç K I N YAY I N C I L I K A N K A R A

1. Fonksiyonlar Artan, Azalan ve Sabit Fonksiyon Alıştırmalar Çift ve Tek Fonksiyon

7. BAZI MATEMATİKSEL TEMELLER:

ÖZEL ÇORUM ADA ÖZEL ÖĞRETİM KURSU MATEMATİK 3 BİLİM GRUBU ÇERÇEVE PROGRAMI

TEMEL KAVRAMLAR. a Q a ve b b. a b c 4. a b c 40. 7a 4b 3c. a b c olmak üzere a,b ve pozitif. 2x 3y 5z 84

AYRIK YAPILAR ARŞ. GÖR. SONGÜL KARAKUŞ- FIRAT ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ YAZILIM MÜHENDİSLİĞİ BÖLÜMÜ, ELAZIĞ

TAMSAYILAR. 9www.unkapani.com.tr. Z = {.., -3, -2, -1, 0, 1, 2, 3, } kümesinin her bir elemanına. a, b, c birer tamsayı olmak üzere, Burada,

1.DERECEDEN DENKLEMLER. (Bu belgenin güncellenmiş halini bu adresten indirebilirsiniz)

2.3. KAZANIM SAYISI VE SÜRE TABLOSU

1. BÖLÜM Polinomlar BÖLÜM II. Dereceden Denklemler BÖLÜM II. Dereceden Eşitsizlikler BÖLÜM Parabol

1. BÖLÜM DÜZLEM GEOMETRİNİN TEMEL KAVRAMLARI İÇİNDEKİLER

1.3. Normal Uzaylar. Bu bölümde; regülerlikten daha kuvvetli bir ay rma aksiyomu tan mlanarak. baz temel özellikleri incelenecektir.

Bir değişkenin bir sabite mümkün olduğu kadar çok yaklaşması durumu ancak onun limitiyle ifade edilebilir.

FAKTÖRİYEL. TANIM Pozitif ilk n tam sayının çarpımı n = n! biçiminde gösterilir. n Faktöriyel okunur.

KÜMELER ÜNİTE 1. ÜNİTE 1. ÜNİTE 2. ÜNİTE 1. ÜNİT

Mustafa Özdemir İrtibat İçin : veya Altın Nokta Yayınevi

Ders 2: RP 1 ve RP 2 - Reel izdüşümsel doğru ve

PERGEL YAYINLARI LYS 1 DENEME-6 KONU ANALİZİ SORU NO LYS 1 MATEMATİK TESTİ KAZANIM NO KAZANIMLAR

Küme Temel Kavramları

İç-Çarpım Uzayları ÜNİTE. Amaçlar. İçindekiler. Yazar Öğr. Grv. Dr. Nevin ORHUN

T I M U R K A R A Ç AY - H AY D A R E Ş C A L C U L U S S E Ç K I N YAY I N C I L I K A N K A R A

YAZILI SINAV SORU ÖRNEKLERİ MATEMATİK

II. DERECEDEN DENKLEMLER Test -1

12.Konu Rasyonel sayılar

Sembolik gösterim matematiğin yarısıdır. Bertrand Russef

Önermeler mantığındaki biçimsel kanıtlar

GENELLEŞTİRİLMİŞ FUZZY KOMŞULUK SİSTEMİ ÜZERİNE

MAT355 Kompleks Fonksiyonlar Teorisi I Hafta Kompleks Sayıların Cebirsel ve Geometrik Özellikleri

L İ S E S İ MATEMATİK. Kümeler. Üzerine Kısa Çalışmalar

Transkript:

MANTIK MATEMATİKSEL ARAÇLAR AÇIK ÖNERMELER İçerisinde değişken olan ve değişkenin değerlerine göre doğru ya da yanlış olabilen önermelere açık önerme denir. Açık önermeler değişkenine göre P( x), Q( a) biçimleri yle gösterilebilirler. Denklemler ve eşitsizlikler açık önerm elerdir Örnek...1 : P(x): x bir tamsayı ve x 10 önermesi x=-1,3 için doğru x=5 için yanlıştır. Doğruluk Kümesi : Açık önermeyi doğru yapan değerlerin kümesine doğruluk k ümesi denir. Örnek... : P(x): x bir tamsayı ve x 10 önermesinin doğruluk kümesi D ise bu kümeyi bulunuz. Örnek...3 : P(x): x bir tamsayı,(x-)(x-1)(x+3)=0 önerm esinin doğruluk küm esini bulunuz. NİCELEYİCİLER Kesin olarak doğru veya yanlış hüküm içeren ifadelere önerme denir. Matematikte bazı, her, bir tek gibi niceleyicilerle de yapılan önermeler vardır. Örnek...6 : p: Bazı doğal sayılar asaldır. q: Her reel sayının karesi 0'dan büyüktür Bazı nicele yi cisi ile ya pılan önerm elerin doğruluğunu gösterebilmek için en az bir doğru örnek gösterilebilmesi ; her niceleyicisi ile yapılan önermelerin doğru olmadığını gösterebilmek için bir tane yanl ış örnek gösterm ek yeterlidir. Örnek...7 : p: Bazı Doğal sayılar tektir. q: her reel sayı çifttir. r: her sa yı 15 e kalansız olarak bölünebilir. önerm elerinin doğruluk değerlerini bulunu z Matematikte varlıksal niceleyici denen bazı sözcüğü sembolü ile ; evrensel niceleyici denilen her sözcüğü ise sembolü ile ; bir tek niceleyicisi ise! veya sembolü ile belirtilirler. Örnek...4 : P(x,y): x,y birer doğal sayı,3x+y=30 önerm esinin doğruluk küm esini bulunuz. Bazı niceleyicisinin olumsuzu her nicele yi cisi ; her nicele yicisinin olum suzu ise bazı nicele yicisidir. Örnek...5 : P(x,y): x,y birer doğal sayı, x+5y=0 önermesi için P(10,k) 1 ise k kaçtır? Örnek...8 : p: Bazı sayılar asaldır, önermesinin olumsuzu p ı : Her sayı asal değildir, önermesidir. Denklemler ve eşitsizlikler açık önerm lerdir Verilen bir önermeyi q(x) ve bu önermenin olumsuzunu q ı (x) ile gösteri yo rsak q(x) : x : p(x) önermesin olumsuzu q ı (x) : x : p(x) değil önermesi olur. 11. Sınıf Matematik Konu Anlatımı 1/6

MANTIK Örnek...9 : Önerm elerin değillerini bulunuz p: Bazı doğal sayılar asaldır. q: Her tamsayı 5'e kalansız bölünür r: x R : x +x 0 t:( x R :4 x 0) ( x R :x > 1) Örnek...11 : p: a ve b iki tek sayı ise a.b de tektir. önerm esi bir teorem dir. Bu teoremde hipote z: hüküm: Teoremin ispatlanması : Teoremin doğruluğunun gösterilmesi işlemine teorem in ispatlanm ası denir. Örnek...10 : Önerm enin değilini bulunuz t:( x R :x 0) ( x R :x > 1) Matematiksel İspat Tümdengelim Tümevarım s: Bazı günler tatilse her doğal sayı asaldır. Bir terimin kapsamını, niteliklerini belirleme amaçlı açıklamaya tanım denir. Bir terimin belirlenmesi amacıyla tanımlı veya tanımsız terimler kullanılmasına terimi tanımlama deriz. Aksiyom Doğru olduğu ispatlanmadan kabul edilen önermelere aksiyom denir. Örneğin iki noktadan bir doğru geçer önermesi bir geometri aksiyomdur. Doğrudan İspat Dolaylı İspat a) Olmayana ergi b) Çelişki bulma c) Deneme Yöntemi d) Aksine Örnek verme Doğrudan ispat : Hipotez doğru kabul edilir, hük mün de doğru olduğu gösterilir. Örnek...1 : x-3=7 ise x=5 tir teoremini doğrudan ispat m etodu ile ispatla yın ız. Teorem Doğruluğu gösterilen önerm elere teorem denir. Teoremler p doğru iken p q içimindeki doğru önermelerdir. Buradaki p q önermesine de p ye teoremin hipotezi(varsayım) q ya ise teoremin hükmü (yargı) denir. Örnek...13 : p: a ve b iki tek sayı ise a+b çifttir önermesini doğrudan ispat yöntemiyle ispatla yın ız. 11. Sınıf Matematik Konu Anlatımı /6

MANTIK Olmayana Ergi (Karşıt ters) Yöntemi : p q yerine buna denk olan q' p' önerm esinin doğru olduğu gösterilir. Örnek...14 : x 16 ise x 4 önermesini olmayana ergi metodu ile ispatla yın ız. Deneme Yöntemi : Değişkenin farklı değerleri önermenin doğruluğunun bakılmasıdır. Eğer verilen önermenin doğru olmadığını gösteren en az bir örnek varsa bu önermenin yanlış olduğu ispatlanm ış olur. (Burada niceleyicilere dikkat edilmesi koşulu vardır) Örnek...17 : En az bir x doğal sayı değeri için x 3-10x > 0 olduğunu gösteriniz ( denem e yöntem i yle) Çelişki Yöntemi : p q önermesinin doğruluğunu göstermek için p q önermesinin değilinin yanlışlığını göstermeye dayanan ispat türüdür. Hipotez kabul edilip yapılan işlemlerle hüküm kısmının değilinin yanlış olduğu gösterilirek (hükümün değilinin yanlışlığı dolayısıyla hükmün doğru olduğu gösterilerek) çelişk i elde edilir. Örnek...15 : P: x=5 ise x =5 teoremini çelişki bulma yolu yla ispat edini z. Örnek...18 : p: her reel sayının karesi 1 den büyüktür önerm esi doğru bir önermedir? ( Ak sine örnek vererek ispatla yın ız) Örnek...16 : p: a tek sayı ise a de tektir önermesini çelişki bulma yöntemiyle ispatlayınız. 11. Sınıf Matematik Konu Anlatımı 3/6

MANTIK TÜMEVARIM Matematikte ispatlar tümevarım ve tümdengelim olmak üzere iki farklı akıl yürütme yöntemiyle yapılır. Tümdengelim ile tümevarım ilkeleri birbirinin zıttı olan yöntemlerdir. Tümdengelim ilkesinde genelden özele gidilir. Tümevarım yönteminde özelden genele gidilir. Çevremizde gerçekleşen olayları açıklayabilmek için yaptığım ız ölçme, gözlem ve deneyler sonucunda kesin olmasada çevremizdeki olayları tahmin etmeye çalışırız. Matematiksel tümevarım ilkesiyle ulaşılan sonuç kesindir. Matematiksel Tümevarım ilkesi : Bu bölümde incelenecek önermeler herhangi bir n doğal sayısından büyük veya eşit tüm doğal sayılar için geçerli önerm eleri içerm ek tedir. Sonsuz sayıda doğal sayı için belirtilen önermelerin doğruluğuna, sadece sınırlı sayıda doğal sayı denenerek karar verilem ez ( doğruluğu ispat edilem ez) Önerm eler genelde n n 0, P(n): Q(n) biçiminde olup Q(n) kısmında sayıların sağladığı özellik belirtilir. Örnek...19 : n 0,p (n ):(4n+1) n! açık önermesini ele alalım. P(0): (1) =1 0!=1 doğru P(1): (5 ) =5 1!=1 doğru P(): (9) =81!= doğru benzer şekilde n=6 ya kadar ifadeler doğru ama sonrasında ise yanlıştır.dolayısıyla sadece belli sayıda doğal sayı için doğruluk kontrol edilerek p(n) önermesinin doğruluğu söylenemez. Buradaki adımlar bir dominonun devrilen taşları gibi görülebilir. Şöyleki bütün domino taşlarının devrilmesi, ilk domino taşının devrilmesi ve bir sonraki domino taşını ardı ard ına devirm esi yle mümkün olabilir. Örnek...0 : n>0,p (n) :1++3+...+n= n.(n+1), (n N) önermesinin doğruluğunu tümevarım yöntemiyle araştırınız Adım 1 p(1): 1= 1.(1+1) Adım olsun. doğru n>0,p (k ):1++3+...+k= k.(k+1) doğru Bizim göstermemiz gereken (k+1).(k+ ) n>0,p (k+1 ): 1++3+...+k+1= olduğudur. (k+1).(k + ) 1++3+...+k+1= İfadesini elde etm ek için doğru olduğunu varsaydığımız k.(k +1 ) 1++3+...+k= eşitliğininin her iki yanına k+1 ekleyelim 1++3+...+k+(k+1)= k.(k+1 ) + (k+1) k. (k+1) P (k+1)= +(k+1)=(k+1) ( k +1 (k+1) (k+) ) = bu ise aranan eşitlik tir. Dolayısıyla verilen P(n) her n>0 için doğrudur. n bir doğal sayı olmak üzere önermelerin doğruluğunu araştırınız Örnek...1 : n>0,p (n):+4+6+...+n=n. (n+1) Tümevarım ilkesiyle bir önermenin doğruluğun u göstermek için : Adım 1 p(n) önermesi verilen koşulu sağladığı iddia edilen en küçük doğal sayı n = a için doğru olmalı Adım k>a olmak üzere, p(n) önermesi n = k için ( p(k) önermesi ) doğru varsayıldığında n = k + 1 için de doğru olduğu gösterilebilm edir. 11. Sınıf Matematik Konu Anlatımı 4/6

MANTIK Örnek... : n>0,p (n):1 + 3 + 5 +... + (n 1) = n olduğunu tüm evarım yöntem i yle gösteriniz Örnek...5 : n>0,p (n):1+r+r +r 3 +...+r n-1 = 1 rn 1 r Örnek...3 : n>0,p (n):1.+.3+3.4+...+n. (n+1)= n. (n+1 )(n+ ) 3 Örnek...6 : n 0,P(n): 1. 1! +.! + 3. 3! +... + n. n! = (n + 1)! -1 olduğunu tüm evar ım yö ntem i yle gösterini z Örnek...4 : n>0,p (n):1 + +3 +...+n = n.(n+1 )(n+1 ) 6 11. Sınıf Matematik Konu Anlatımı 5/6

MANTIK ALIŞTIRMALAR 1) t:( x N :x x 1) önermesinin değilini bulunuz 6) n 0 3 n n. n olduğunu tümevarım yöntemiyle gösteriniz ) t:( x Z :4 x 0) ( x N :-x 3) önermesinin karşıt tersi nedir? n bir doğal sayı olmak üzere, önermelerin doğruluğunu araştır ın ız. ( 3-6) 3) n>3,p (n):n!>3 n 7) p: a ve b iki tek sayı ise a.b de tektir önermesini doğrudan ispat yöntemiyle ispatlayınız. 4) n 0, p(n): 7 n -1 sayısı ile bölünebilir. 8) P: sonsuz sayıda asal sayı vardır önermesini çelişki bulma yoluyla ispat ediniz. 5) n>0,p (n):n 3 n sayısı 3 ile bölünebilir. 11. Sınıf Matematik Konu Anlatımı 6/6