11. Sınıf Mantık · Mantığın Uygulamaları

Mantık ve Matematik

uygulamalı mantık
biçimsel bilim
aksiyom
teorem
tanım
teori
işlem değişmezi

Mantık ile matematik arasında nasıl bir ilişki vardır?

Mantık ve matematik, ikisi de biçimsel bilim olduğu için yakından ilişkilidir: Sayılar ve şekiller doğada değil, düşüncede vardır. Mantığın ilke ve kurallarının matematik, doğa bilimleri, eleştirel düşünme ve bilgisayar gibi alanlarda kullanılmasına uygulamalı mantık denir. Matematik ad, yüklem ve işlem değişmezlerinden oluşan özel bir sembol diline sahiptir; doğal sayılarda 0, 1, 2 gibi sayılar ad, < ve > yüklem, +, −, ×, ÷ ise işlem değişmezidir. Matematiksel önermeler mantık diline niceleme ve özdeşlik mantığı kullanılarak çevrilir. Bir konuyu açıklamak için ileri sürülen önermelerin bütününe teori denir; teori tanımlar, aksiyomlar ve teoremlerden oluşur. Tanım, yeni bir değişmezin anlamını var olan değişmezlerle belirlemektir. Aksiyom kanıtlanmadan başlangıç olarak kabul edilen önermedir; “Aynı şeye eşit olanlar birbirine eşittir.” buna örnektir. Teorem ise aksiyomlardan türetilen ve doğruluğu aksiyomlara dayanarak gösterilen önermedir.

Mantık ve Matematik: konu anlatımı ve özeti

Bu konu, mantığın her türlü bilgi etkinliğine uygulanmasını (uygulamalı mantık) ve matematikle ilişkisini anlatıyor. Matematik de mantık gibi biçimsel bir bilimdir: sayılar ve şekiller doğada değil düşüncede vardır.

Uygulamalı mantık: Mantığın ilke ve kurallarının matematik, doğa bilimleri, eleştirel düşünme ve bilgisayar gibi alanlarda kullanılmasıdır.
Matematiğin dili: Matematik ad, yüklem ve işlem değişmezlerinden oluşan özel bir sembol diline sahiptir. Doğal sayılarda 0, 1, 2… ad; <, > yüklem; +, −, ×, ÷ işlem değişmezidir.
Çeviri: Matematiksel önermeler mantık diline niceleme ve özdeşlik mantığı ile matematiğin özel değişmezleri kullanılarak çevrilir.
Teori: Bir konuyu açıklamak için ileri sürülen önermelerin bütünüdür; tanımlar, aksiyomlar ve teoremlerden oluşur.
Tanım: Yeni bir değişmezin anlamını dilde var olan değişmezlerle belirlemektir.
Aksiyom: Kanıtlanmadan başlangıç olarak kabul edilen önermedir. Kitap aksiyomu “doğruluğu açıkça belli olan önerme” diye tanımlar; “Aynı şeye eşit olanlar birbirine eşittir.” buna örnektir.
Teorem: Aksiyomlardan türetilen ve doğruluğu aksiyomlara dayanarak gösterilen önermedir.

Unutma: Modern matematikte aksiyomun “apaçık doğru” olması gerekmez; sistemin kanıtsız kabul edilen başlangıç noktası olması yeterlidir.

Bu özet yapay zekâ ile kitabın ilgili sayfalarından hazırlandı; hata içerebilir. Asıl kaynak MEB ders kitabıdır. İçerikler nasıl hazırlanıyor? · Son güncelleme: 13 Kasım 2026

Önce temeli pekiştir

Matematik ifadesindeki sembolleri üç gruba ayır: ad (sayı), yüklem (<, >, =), işlem (+, ×).
Bir teoride hangi önermenin kanıtsız kabul edildiğini (aksiyom), hangisinin kanıtlandığını (teorem) belirle.
Teoremi hangi aksiyomlardan türettiğini oklarla göster.

Günlük hayattan: Bir oyunun kuralları aksiyom gibidir: tartışılmadan kabul edilir. Oyun sırasında kurallardan çıkardığın stratejiler ise teorem gibidir.

Sık yapılan hata: Aksiyomla teoremi karıştırmak. “A=B ve B=C ise A=C’dir.” aksiyomdan doğrudan çıkan bir kuraldır; kanıt gerektiren önermeler ise teoremdir.

İpucu: “Aksiyom başlar, teorem sonuçlanır.” diye hatırla: aksiyom zincirin ilk halkası, teorem sonraki halkalarıdır.

Derinleş

Kitaptaki doğal sayılar örneğinden yararlanarak “3 + 4 > 5” ifadesindeki ad, yüklem ve işlem değişmezlerini ayır. Sonra kendi seçtiğin basit bir oyun ya da kuralda bir aksiyom ve ondan çıkan bir teorem yaz. Düşün: Aksiyomlar değişince matematiksel sistem de değişir mi?

Bu konuda neler var?

Tanım-Aksiyom-Teorem

Sorular

Soru bankasından bu konunun soruları, kolaydan zora.

Konu testini çöz

Kolay
1Mantığın ilke ve kurallarının matematik, doğa bilimleri, eleştirel düşünme ve bilgisayar gibi alanlarda kullanılmasına ne ad verilir?
- A) Varlık mantığı
- B) Kiplik mantığı
- C) Çok değerli mantık
- D) Klasik mantık
- E) Uygulamalı mantık
Cevabı göster
Doğru cevap: E) Uygulamalı mantık
Mantığın ilke ve kurallarının çeşitli bilgi alanlarına uygulanması uygulamalı mantıktır.
Kolay
2Matematiğin mantık gibi biçimsel bir bilim sayılmasının nedeni aşağıdakilerden hangisidir?
- A) Bütün önermelerinin laboratuvarda gözlem ve deneyle sınanması
- B) Önermelerini benzeşimle kanıtlaması
- C) Yalnız doğadaki nesnelerin ölçülmesiyle uğraşması
- D) Sonuçlarının her zaman olası sayılması
- E) Sayıların ve şekillerin doğada değil düşüncede bulunması
Cevabı göster
Doğru cevap: E) Sayıların ve şekillerin doğada değil düşüncede bulunması
Matematiğin konusu olan sayılar ve şekiller doğada değil düşüncede vardır; bu yüzden matematik de mantık gibi biçimsel bir bilimdir.
Kolay
3Kanıtlanmadan başlangıç olarak kabul edilen önermeye ne ad verilir?
- A) Teorem
- B) Sonuç
- C) Aksiyom
- D) Hipotez
- E) Tanım
Cevabı göster
Doğru cevap: C) Aksiyom
Aksiyom, kanıtlanmadan başlangıç olarak kabul edilen önermedir.
Kolay
4Aksiyomlardan türetilen ve doğruluğu aksiyomlara dayanarak gösterilen önermeye ne ad verilir?
- A) Açık önerme
- B) Teorem
- C) Gözlem önermesi
- D) Aksiyom
- E) Tanım
Cevabı göster
Doğru cevap: B) Teorem
Teorem, aksiyomlardan türetilen ve doğruluğu aksiyomlara dayanarak kanıtlanan önermedir.
Kolay
5Doğal sayılar dilinde "<" ve ">" sembolleri aşağıdaki değişmez türlerinden hangisine girer?
- A) İşlem değişmezi
- B) Yüklem değişmezi
- C) Ad değişmezi
- D) Niceleyici
- E) Kiplik değişmezi
Cevabı göster
Doğru cevap: B) Yüklem değişmezi
Doğal sayılar dilinde 0, 1, 2... ad değişmezi; <, > yüklem değişmezi; +, −, ×, ÷ işlem değişmezidir.
Kolay
6Doğal sayılar dilinde "+" ve "×" sembolleri aşağıdaki değişmez türlerinden hangisine girer?
- A) İşlem değişmezi
- B) Ad değişmezi
- C) Niceleyici
- D) Özdeşlik değişmezi
- E) Yüklem değişmezi
Cevabı göster
Doğru cevap: A) İşlem değişmezi
Toplama, çıkarma, çarpma ve bölme işaretleri işlem değişmezleridir.
Kolay
7Matematikte bir teori aşağıdaki öğelerden hangileriyle kurulur?
- A) Olası dünyalar ve kiplik sembolleri
- B) Tanımlar, aksiyomlar ve teoremler
- C) Yalnız teoremler ve onların ispatları
- D) Gözlemler, deneyler ve varsayımlar
- E) Benzeşimler, örnekler ve sezgiler
Cevabı göster
Doğru cevap: B) Tanımlar, aksiyomlar ve teoremler
Teori, bir konuyu açıklamak için ileri sürülen önermelerin bütünüdür; tanımlar, aksiyomlar ve teoremlerden oluşur.
Kolay
8Bir matematik teorisinde "yeni bir değişmezin anlamını dilde var olan değişmezlerle belirleme" işlemine ne ad verilir?
- A) Özelleme
- B) Aksiyom
- C) Tanım
- D) Teorem
- E) İspat
Cevabı göster
Doğru cevap: C) Tanım
Tanım, yeni bir değişmezin anlamını dilde var olan değişmezlerle belirlemektir.
Orta
9Bir öğretmen tahtaya "Aynı şeye eşit olanlar birbirine eşittir." yazıyor ve bunu kanıtlamadan derse başlangıç noktası olarak alıyor. Bu önerme teorideki yeri bakımından aşağıdakilerden hangisidir?
- A) Tanım
- B) Gözlem önermesi
- C) Aksiyom
- D) Açık önerme
- E) Teorem
Cevabı göster
Doğru cevap: C) Aksiyom
Kanıtlanmadan başlangıç olarak kabul edildiği için bu önerme bir aksiyomdur; ders kitabı bu önermeyi aksiyom örneği olarak verir.
Orta
10Bir öğrenci "Bir üçgenin iç açılarının toplamı 180°'dir." önermesini, daha önce kabul edilen önermelere dayanarak adım adım kanıtlıyor. Kanıtlanan bu önerme teorideki yeri bakımından aşağıdakilerden hangisidir?
- A) Varsayım
- B) Açık önerme
- C) Aksiyom
- D) Tanım
- E) Teorem
Cevabı göster
Doğru cevap: E) Teorem
Başka önermelere dayanılarak kanıtlanan önerme teoremdir; aksiyom ise kanıtlanmadan kabul edilir.
Orta
11"Kare, dört kenarı eşit ve dört açısı dik olan dörtgendir." ifadesi bir geometri teorisinde aşağıdakilerden hangisinin örneğidir?
- A) Aksiyomun
- B) Varsayımın
- C) Teoremin
- D) Tanımın
- E) Gözlemin
Cevabı göster
Doğru cevap: D) Tanımın
Bu ifade "kare" teriminin anlamını dörtgen, kenar ve açı gibi dilde var olan terimlerle belirler; yani bir tanımdır.
Orta
12"Her doğal sayının kendisinden büyük bir doğal sayı vardır." önermesi mantık diline çevrilirken aşağıdakilerden hangisi kullanılır?
- A) Yalnız önermeler mantığının p, q, r gibi önerme sembolleri
- B) Kiplik mantığının □ ve ◊ sembolleri
- C) Niceleyiciler ve "<", ">" gibi matematik değişmezleri
- D) Varlık mantığının E! değişmezi
- E) Üç değerli mantığın belirsiz değeri
Cevabı göster
Doğru cevap: C) Niceleyiciler ve "<", ">" gibi matematik değişmezleri
Matematiksel önermeler niceleme ve özdeşlik mantığı ile matematiğin özel değişmezleri kullanılarak mantık diline çevrilir; "her" ve "vardır" niceleyicilerle, "büyük" yüklem değişmeziyle gösterilir.
Orta
13Bir aksiyom ile bir teorem arasındaki temel fark aşağıdakilerden hangisidir?
- A) Aksiyom deneyle doğrulanır; teorem ise yalnız sezgiyle bilinir.
- B) Aksiyom kanıtsız kabul edilir; teorem aksiyomlara dayanarak kanıtlanır.
- C) Aksiyom yalnız geometride, teorem yalnız aritmetikte bulunur.
- D) Aksiyom teoremden türetilir; teorem ise kanıtsız kabul edilir.
- E) Aksiyom deneyle çürütülebilir; teorem ise hiçbir zaman çürütülemez.
Cevabı göster
Doğru cevap: B) Aksiyom kanıtsız kabul edilir; teorem aksiyomlara dayanarak kanıtlanır.
Aksiyom teorinin kanıtsız kabul edilen başlangıç önermesidir; teorem ise aksiyomlardan türetilerek kanıtlanan önermedir.
Orta
14Mantık ile matematik arasındaki ilişki için aşağıdakilerden hangisi söylenebilir?
- A) İkisi de biçimseldir; matematik önermeleri mantık diline çevrilebilir.
- B) Matematik, mantığın kurallarını hiç kullanmayan bağımsız bir bilimdir.
- C) Mantık matematiğin konusu olan sayıları doğada araştırır.
- D) Matematik deneysel, mantık ise biçimsel bir bilimdir.
- E) İkisi de doğa bilimleri gibi gözlem ve deneye dayanır.
Cevabı göster
Doğru cevap: A) İkisi de biçimseldir; matematik önermeleri mantık diline çevrilebilir.
Matematik de mantık gibi biçimsel bir bilimdir; matematiksel önermeler niceleme ve özdeşlik mantığıyla mantık diline çevrilir.
Orta
15"2 + 3 = 5" önermesindeki "2", "3" ve "5" sembolleri doğal sayılar dilinde hangi değişmez türüdür?
- A) Yüklem değişmezi
- B) Niceleyici
- C) Kiplik değişmezi
- D) İşlem değişmezi
- E) Ad değişmezi
Cevabı göster
Doğru cevap: E) Ad değişmezi
Doğal sayılar dilinde sayılar (0, 1, 2...) ad değişmezidir; "+" işlem değişmezidir.
Orta
16"5 > 3" önermesindeki değişmez türleri soldan sağa sırasıyla aşağıdakilerden hangisidir?
- A) İşlem, ad, işlem
- B) Ad, işlem, ad
- C) Yüklem, ad, yüklem
- D) Ad, yüklem, ad
- E) Ad, niceleyici, ad
Cevabı göster
Doğru cevap: D) Ad, yüklem, ad
5 ve 3 ad değişmezi, ">" ise iki ad arasındaki ilişkiyi bildiren yüklem değişmezidir.
Zor
17Ders kitabı aksiyomu "doğruluğu açıkça belli olan önerme" diye tanımlar. Modern matematikte ise farklı aksiyom kümeleriyle farklı geometriler kurulmuştur. Bu durum aksiyomla ilgili aşağıdakilerden hangisini gösterir?
- A) Aksiyom apaçık olmak zorunda değildir; kanıtsız başlangıç olması yeter.
- B) Aksiyomların tümü deneyle doğrulanmak zorundadır.
- C) Farklı geometrilerden yalnız biri aksiyom kullanabilir.
- D) Aksiyomlar teoremlerden türetildiği için değiştirilemez.
- E) Aksiyomun apaçık olmaması, kurulan teorinin tutarsız olduğunu kesin olarak gösterir.
Cevabı göster
Doğru cevap: A) Aksiyom apaçık olmak zorunda değildir; kanıtsız başlangıç olması yeter.
Modern matematikte aksiyom, apaçık doğru olmak zorunda değildir; bir sistemin kanıtsız kabul edilen başlangıç noktası olması yeterlidir. Farklı aksiyom kümeleri farklı ama tutarlı sistemler kurabilir.
Zor
18Bir teoride bir önermenin teorem sayılabilmesi için aşağıdakilerden hangisi gerekir?
- A) Apaçık doğru olduğunun sezilmesi
- B) Laboratuvarda gözlem ve deneyle birden çok kez doğrulanması
- C) Kanıtlanmadan herkesçe kabul görmesi
- D) Aksiyom ve tanımlardan mantık kurallarıyla türetilmesi
- E) Hiçbir tanıma dayanmadan ileri sürülmesi
Cevabı göster
Doğru cevap: D) Aksiyom ve tanımlardan mantık kurallarıyla türetilmesi
Teorem, aksiyomlardan türetilen ve doğruluğu aksiyomlara dayanarak gösterilen önermedir; türetme mantık kurallarıyla yapılır.
Zor
19"Hiçbir doğal sayı kendisinden küçük değildir." önermesinin mantık diline çevrisi aşağıdakilerden hangisidir? (Evren doğal sayılardır.)
- A) ∀x ~(x < x)
- B) ~∀x ~(x < x)
- C) ∃x ~(x < x)
- D) ∃x (x < x)
- E) ∀x (x < x)
Cevabı göster
Doğru cevap: A) ∀x ~(x < x)
"Hiçbir" tümel niceleyiciyle ve değillemeyle karşılanır: her x için x, x'ten küçük değildir, yani ∀x ~(x < x).
Zor
20Bir öğrenci bir teoremin doğruluğunu göstermek için cetvelle yüzlerce üçgen çizip açılarını ölçüyor. Öğrencinin yöntemiyle ilgili aşağıdakilerden hangisi söylenebilir?
- A) Matematik deneysel bir bilim olduğu için doğru yöntemi izlemiştir.
- B) Yeterince çok ölçüm yapıldığında teorem kesin olarak kanıtlanmış olur.
- C) Teoremler yalnız benzeşimle kanıtlanabildiği için yöntem eksiktir.
- D) Matematikte teorem ölçümle değil, aksiyomlardan türetilerek kanıtlanır.
- E) Ölçümle bulunan sonuç bir aksiyom olarak kabul edilmelidir.
Cevabı göster
Doğru cevap: D) Matematikte teorem ölçümle değil, aksiyomlardan türetilerek kanıtlanır.
Matematik biçimsel bir bilimdir; teoremler gözlem ve ölçümle değil, aksiyomlara dayanılarak mantıksal türetmeyle kanıtlanır. Ölçüm ancak bir fikir verir.

Katkıda bulun

Özette bir hata mı gördün, eklenmesi gereken bir bilgi ya da güzel bir soru mu var? Öner; yönetici onaylarsa sitede yayımlanır ve sana bildirim gelir.