Mantık Sembollerinin İşaret ve Anlamları

Anasayfa ›› Felsefe ›› Mantık Sembollerinin İşaret ve Anlamları
14 yorum

Diğer sayısal/formel bilimlerde olduğu gibi mantıkta da kendine özgü bazı semboller vardır; bu mantıksal sembollerin gösteriminde kullanılan bazı işaretler ve bu işaretlerin mantığa özgü anlamları vardır.

TYT-AYT Felsefe Grubu Mobil Uygulaması: Konu Testleri, Özet Konu Anlatımı, Deneme Sınavları ve fazlası

Özellikle sözel öğrencileri ve açık lise öğrencileri için görünce kaçma vesilesi olan bu işaretleri ve anlamlarını aşağıda kısaca açıkladık. Sizden gelecek sorular çerçevesinde daha geniş bilgi verebiliriz; burada bulunmayan işaretleri sormanız halinde açıklayabiliriz. Soru ve yorumlarınızı bekliyoruz…

V =  “Veya”  Tikel evetleme önermesinin önerme eklemidir.”  “

Λ =  “Ve”  Tümel evetleme önermesinin önerme eklemidir.

⇒ =  “İse” Koşul önermesinin önerme eklemidir.

⇔ =  “Ancak ancak” Karşılıklı koşul önermesinin önerme eklemidir.

~ =  “Değil” Değilleme önermesinin önerme eklemidir.



I. Önerme Eklemleri Mantığı

~“değil” eklemi ve doğruluk fonksiyonu:

Λ  “ve” Tümel Evetleme Eklemi:

V “veya” Tikel Evetleme Eklemi:

⇒ “ise” Koşul Eklemi:

⇔ “ancak ve ancak” Karşılıklı Koşul Eklemi:

Doğruluk Fonksiyonu Tablosu

mantik-sembolleri-ve-anlamlari

Önerme Eklemlerinin Doğruluk Fonksiyonları

pq∼p∼qp Λ qp V qp →qp ↔ q
DDYYDDDD
DYYDYDYY
YDDYYDDY
YYDDYYDD

Açık Öğretim Lisesi Seçmeli Mantık 2 Testleri

Açık Lise(479) Seçmeli Mantık  2 Testi (Temmuz 2020)

Açık Lise(479) Seçmeli Mantık  2 Testi (Aralık 2019)

Açık Lise(479) Seçmeli Mantık  2 Testi (Temmuz 2019)

Açık Lise Seçmeli Mantık 2 Testi (Nisan 2019)

Açık Lise Seçmeli Mantık 2 Testi (Aralık 2018)

Açık Lise Seçmeli Mantık 2 Testi (Temmuz 2018)

Açık Lise Seçmeli Mantık 2 Testi (Mart 2018)

Açık Öğretim Lisesi Mantık 2 Online Test 1

Açık Öğretim Lisesi Mantık 2 Online Test 2

Açık Öğretim Lisesi Mantık 2 Online Test 3

Yeni Müfredata Uygun-EN SON SINAV SORULARI ile Açık Lisenin EN PRATİK Uygulaması: AçıkTercih AÖL Test Çöz!

Ayrıca özellikle niceleme mantığında karşımıza çıkan işaret ve semboller de aşağıda:

∀ =  “Her”  Niceleme mantığında tümel önermelerin niceleyicisidir; her-bütün-(olumsuzlarda) hiçbir diye okunur.

∃ =  “Bazı” Niceleme mantığında tikel önermlerin niceleyicisidir; bazı-bir kısmı v.b. şeklinde okunur.

≡ =  “Denklik işareti” Önermelerin eşdeğer (Denk) olduğunu gösterir; arasına geldiği önermelerin denk- eşdeğer olduğunu gösterir.

Sosyal Medyada Paylaş Facebook Twitter Google+
Açık Lise sınavlarına hazırlanmanın en kolay hali: AçıkTercih AÖL Test Çöz!

Mobil Uygulamamızı İNDİRİN! AÖL Yeni Müfredat Çıkmış Sınav Sorularını Çözün!


Etiketler: ,
Eklenme Tarihi: 30 Kasım 2016

Diğer Konular

Facebook Yorumları

Konu hakkında yorumunuzu yazın

Yorum yapmak için giriş yapmalısınız.

Mantık Sembollerinin İşaret ve Anlamları (14 Yorum)

    • Bu konuda bir araştırma yaparak size bilgi vermeye çalışıyoruz. Siz bu arada bu konuyu YouTube videolarından izleyin. Biliyorsunuz “Boş duran ve bekleyen değil, hedefe varmak için her gün bir adım atan hedefine varır.”

    • Burada yorum olarak yazabilirsiniz. Eğer editörün yazmaya izin vermediği semboller varsa sorunun tamamını resim olarak bir yere ekleyip yoruma o resmin linkini ekleyince resmi burada görebiliriz.

  4. Aşağıdaki cümleyi niceleme mantığı dilinde simgeleştiriniz.
    “Her bakır teli iletkendir eğer bakır bir metalse.”
    Bx = “x bir bakır telidir.” Mx = “x bir metaldir.”
    Lx = “x iletkendir.”

    Hocam su soruda yardımcı olabılır mısınız?

    • Bm → ∀BxLx
      (Bm) bakır metalse →, (∀BxLx) her Bakır İletkendir.

      Yalnız arkadaşlar lise öğrencisi değil, lisans öğrencisisiniz galiba. Liselerde not ödev kalmadı. Bu arada bu yılın AYT Mantığında Niceleme Mantığı ve Sembolik mantık ünitelerden soru gelmeyecek. Eğer AYT için bu konuya çalışıyorsanız boşuna zaman kaybediyorsunuz.

  5. arkadaşlar modern mantık dersi alıyorum biçimselleştirme, doğal tümdengelim yoluyla dolaylı ispat ve çözümleyici çizelge ile ilgili sorularım var allah rızası için bilen birisi yardımcı olabilir mi ?