Sembolik mantık, yaklaşık bir asır önce matematikçiler tarafından geliştirilmiştir. Mantık, dili sembolik hale getirerek akıl yürütmeleri formel işlemler halinde ifade eder. Mantık, matematik, fizik, biyoloji ve felsefede yaygın olarak kullanılmaktadır
A rule of inference transforms premises into conclusions based on their syntax. Rules typically preserve truth or general designation in semantics. Rules are usually given in standard form: Premise1, Premise2, ... Conclusion. Rules can be formulated using metavariables and form infinite sets
Bu video, bir eğitim dersi formatında olup, bir eğitmen tarafından sembolik mantık dersinin yedinci bölümü olan nicelemeler mantığında sembolleştirme ve çevirme konusu anlatılmaktadır.. Videoda, nicelemeler mantığında "bazı" ve "hiçbir" niceleme sembollerinin kullanımı örneklerle açıklanmaktadır. Eğitmen, çeviri anahtarı üzerinden günlük cümlelerin sembolik formata nasıl çevrileceğini adım adım göstermektedir. Örnekler arasında ağaçlar, insanlar, sayılar, batılılar, sporcular, gezegenler ve canlılar gibi farklı konular yer almaktadır. Video, nicelemeler mantığında sembolleştirme ve çevirme işleminin nasıl yapılacağını öğrenmek isteyenler için faydalı olacaktır.
Bu video, bir öğretmenin öğrencilere matematik konularını anlattığı eğitim içeriğidir.. Video, üç ana bölümden oluşmaktadır. İlk bölümde önerme kavramı, doğru/yanlış ifadeler ve sözel ifadelerin matematiksel sembollerle yazılması ele alınmaktadır. İkinci bölümde dikdörtgenlerin çevre uzunluğu hesaplamaları ve cebirsel işlemler incelenmektedir. Son bölümde ise gerçek sayılarda dört işlem özellikleri (değişme, birleşme, dağılma, ters eleman, etkisiz eleman), cebirsel ifadelerin çarpımı ve matematiksel bağlaçlar ile niceleyiciler kullanılarak önermelerin sembolik dille ifade edilmesi anlatılmaktadır.. Video, matematik dersinde önerme kavramı, cebirsel işlemler ve işlem özellikleri konularını pekiştirmek isteyen öğrenciler için hazırlanmış olup, sayfa 73'e kadar olan soruların çözümüyle sona ermektedir.
Bu video, bir eğitmen tarafından sunulan mantık konusunu anlatan eğitim içeriğidir. Eğitmen, üniversite sınavlarına hazırlanan öğrenciler ve dokuzuncu sınıf öğrencileri için mantık konusunu ele almaktadır.. Video, mantık konusunun temel kavramlarını ve soru çözümlerini içermektedir. İlk bölümde önerme kavramı, önermelerin doğruluğu, matematiksel semboller, önermelerde denklik ve sembolik mantık konuları örneklerle anlatılırken, ikinci bölümde mantık ifadelerinin sadeleştirilmesi, ortak parantez alma ve De Morgan kuralı gibi mantık kuralları kullanılarak test soruları çözülmektedir.. Videoda "ve", "veya" bağlaçlarının kullanımı, evrensel küme, boş küme, kesişim ve birleşim işlemlerinin sembolik mantıkla ilişkisi gösterilmektedir. Bir sonraki videoda bağlaç ve ancak ve ancak bağlacı ile ilgili testlerin çözüleceği belirtilmektedir.
Çıkarımları sembolik dille denetlemek için geliştirilmiştir. Önermeler p, q, r gibi sembollerle ifade edilir. Basit önermeler tek yargılı, bileşik önermeler birden yargılıdır. Ana eklem, bileşik önermelerde en son işleme katılan eklemdir
Sayfa 81'de s(A ∪ B) ve s(A ∩ B) değerleri ile ilgili sorular yer almaktadır. Sayfa 83'te Venn şeması ve sembolik mantık soruları bulunmaktadır. Sayfa 86'da A x B kümesinin grafiği çizme alıştırması yer almaktadır. Sayfa 88'de A x B ve B x A kümelerinin karşılaştırılması yapılmaktadır
Doğan Özlem 1944'te İzmir'de doğdu ve eğitimini yarıda bıraktı. 1971'de İstanbul Üniversitesi Felsefe Bölümü'nden mezun oldu. 1980'de Ege Üniversitesi'nde akademik kariyerine başladı. 2001'de emekli olup Muğla Üniversitesi'nde çalışmaya devam etti
Bu video, bir eğitimci tarafından sunulan felsefe grubunun mantık serisinin dördüncü bölümüdür. Eğitimci, gençlere sembolik mantık konusunu anlatmaktadır.. Video, sembolik mantığın ne olduğunu ve günlük dildeki önermeleri matematik diline benzer bir şekilde ifade etme yöntemini açıklamaktadır. Eğitimci, sembolik mantığın önermeler mantığı, müceler mantığı ve mantı mantığı olmak üzere üç ana bölümden oluştuğunu, özellikle önermeler mantığının önemini vurgulamaktadır. Önerme eklemleri (ve, veya, ise, ancak ve ancak, değil) ve bunların bileşik ve basit önermelerdeki kullanımı detaylı olarak anlatılmaktadır. Video, sembolik mantığın temel kavramlarını ve sembolleştirme yöntemlerini örneklerle pekiştirmektedir.
Bu video, bir eğitmen tarafından sunulan sembolik mantık dersinin soru çözüm bölümüdür. Eğitmen, öğrencilere mantık konularını adım adım anlatmaktadır.. Videoda, önerme eklemleri, bileşik önermeler, ana eklem, koşul eklemi, tümel evetleme ve tikel evetleme gibi temel kavramlar ele alınmaktadır. Eğitmen, doğruluk tablolarını hatırlatarak 10 farklı soruyu çözmekte ve mantık problemlerinin çözüm yöntemlerini göstermektedir. Ayrıca totoloji kavramı da açıklanmaktadır.. Video, ÖSYM'de çıkmış bir soru ile sona ermektedir ve mantık problemlerinin çözümünde iki farklı yöntem kullanılmaktadır: önermelerin her bir bileşenine doğru veya yanlış değerler yerleştirilerek sonuçlar bulunma ve doğruluk tablosu oluşturma.
Arıtma sistemlerinde membran filtrelerde kullanılır. Bahçe sulama ve havuz temizliğinde basınçla çalışır. Gaz dolum istasyonlarında tüplerin dolumu için kullanılır. Hidrolik sistemlerde silindirlerin hareket etmesini sağlar. Denizaltılarda suyun altında hareket için kullanılır
Bu video, bir eğitimci tarafından sunulan mantık dersinin bir bölümüdür. Eğitimci, sembolik mantığa giriş yapmış öğrencilere temel doğruluk çizelgeleri ve önerme tutarlılığı konularını anlatmaktadır.. Video, doğruluk değerlerinin hesaplanması ve önerme eklemlerinin kurallarını (değil, ve, veya, ise, ancak ve ancak) detaylı şekilde ele almaktadır. Eğitmen, bu mantık eklemlerinin günlük hayattan örneklerle açıklanmasını yaparak, doğruluk tablosu üzerinden önerme tutarlılığını belirleme yöntemlerini adım adım göstermektedir.. Videoda ayrıca "ve" ekleminin "kapalı" bir insan tipi, "veya" ekleminin "esnek" bir insan tipi, "ise" ekleminin "dayı" benzeri bir durum ve "karşılıklı ise" ekleminin "aynı anda aynı doğruluk değerini alması gereken" bir durum olarak anlatılmaktadır. Video, sınav yaklaşırken öğrencilere bu konuyu pekiştirmeleri için hazırlanmış olup, eğitmen daha fazla soru çözümü videosu çekeceğini belirtmektedir.
"Sosyal Hocam" kanalından bir eğitimci tarafından sunulan bu video, AYT mantıkta sembolik mantık temellerini anlatan kapsamlı bir ders formatındadır.. Video, sembolik mantığın temel unsurlarını sistematik bir şekilde ele almaktadır. İlk olarak önerme kavramı ve doğruluk değeri açıklanmakta, ardından basit ve bileşik önermeler arasındaki farklar örneklerle anlatılmaktadır. Daha sonra önerme eklemleri (değil, ve, veya, ise, ancak ve ancak) günlük dildeki karşılıkları ve sembolik gösterimleri açıklanmakta, son olarak bileşik önermelerin doğruluk değerleri, doğruluk çizelgesi ve önermelerin tutarlılığı konuları ele alınmaktadır.. Ders, mantık dersinin ikinci bölümü olup, tümel evetleme, tikel evetleme, koşul eklemi ve karşılıklı koşul eklemi gibi mantıksal bağlaçların günlük dildeki karşılıklarını ve doğruluk tablolarını detaylı şekilde açıklamaktadır. Video, sembolik mantık sorularının sınavlarda nasıl sorulabileceğine dair bilgiler vererek sonlanmaktadır.
Bu video, bir öğretmenin ölçme ve değerlendirme konusundaki soruları çözdüğü eğitim içeriğidir. Videoda Beyhan adında bir öğrenci de yer almaktadır.. Video, önermeler ve doğruluk değerleri konusunu ele almaktadır. Öğretmen, önerme kavramını açıklayarak başlayıp, önermelerin olumsuzlarını, doğruluk değerlerini ve bileşik önermelerin en sade hallerini bulma yöntemlerini adım adım göstermektedir. İçerik, toplam on sorudan oluşan bir test formatında ilerlemekte ve her soru için detaylı çözüm sunulmaktadır.. Videoda ayrıca koşullu önermeler, açık önermeler, teoremler ve sembolik mantık kuralları kullanılarak çözülen problemler de bulunmaktadır. Her problem için öğretmen, çözüm yöntemini detaylı olarak açıklamakta ve doğru cevabı belirtmektedir.
Bu video, Ozan Pişkin tarafından sunulan sembolik mantık konulu bir eğitim içeriğidir. Eğitmen, sembolik mantık dersinde çıkmış soruları ve çeşitli mantık kavramlarını adım adım çözmektedir.. Videoda sembolik mantıkta çelişki, totoloji, tümdengelim, tüme varım, niceleme mantığı, önerme, atomik formül, yüklem, değişken, tikel evetleme ve tümel evetleme gibi temel kavramlar ele alınmaktadır. Eğitmen, 2019 final sınavından çıkmış soruları çözerek, çözümleyici çizelgelerin nasıl oluşturulacağını ve mantık operatörlerinin (at, ve, değil) kullanımını detaylı olarak açıklamaktadır.. Video, sembolik mantık konusunda soru çözümü yapmak isteyen öğrenciler için faydalı bir kaynak niteliğindedir. Özellikle "her cisim yer kaplar" gibi önermelerin denetlenebileceği modeller, "en az bir canlı omurgalıdır" gibi ifadelerin sembolik mantıkta nasıl temsil edileceği ve niceleyicilerin (bazı, hiçbir) sembolik karşılıkları örneklerle açıklanmaktadır.
Bu video, bir eğitmen tarafından sunulan sembolik mantık konulu bir eğitim dersidir. Eğitmen, mantık kurallarını ve çözümleyici çizelge yöntemiyle önermelerin analiz edilmesini anlatmaktadır.. Video, çözümleyici çizelge yöntemiyle önermelerin tutarlılığı, geçerliliği ve eşdeğerliğinin nasıl denetleneceğini ele almaktadır. Eğitmen, tümel evetleme (alt alta yazma kuralı), tikel evetleme (çatal açma kuralı) gibi temel mantık kurallarını açıklamakta ve bunların uygulamalarını örneklerle göstermektedir. Ayrıca, çıkarımların geçerliliğini doğruluk tablosu ile de denetleme yöntemlerini anlatmaktadır.. Videoda "p ise q", "p ancak ve ancak q", "p ve q", "p veya q" gibi önermelerin eşdeğerlikleri, "hem-hem de" ifadeleriyle tümel önermelerin belirlenmesi ve ana eklemelerin bileşenleri gibi konular da örnek sorular üzerinden açıklanmaktadır. Video, sınavlarda karşılaşılabilecek mantık sorularının nasıl çözüleceğini adım adım göstermektedir.
Bu video, "Kısa Kısa Matematik" kanalında yayınlanan bir eğitim içeriğidir. Sunucu, matematik derslerinde kullanılan önerme kavramını açıklamaktadır.. Video, önerme kavramının Türkçe ve matematikteki farklı anlamlarını açıklayarak başlıyor. Matematikte önerme, günlük hayatta yapılan ifadelerin sembollerle ifade edilmiş ve çözümlenmiş halleri olarak tanımlanıyor. Sunucu, doğru ve yanlış önermelerin örneklerini vererek, hangi ifadelerin önerme olduğunu ve bunların değerlerini nasıl belirleyebileceğimizi gösteriyor. Video, çeşitli önerme örnekleri üzerinden konuyu pekiştiriyor.
Bu video, sözel öğrencilerin zorlandığı mantık dersinin sembolik (modern mantık) kısmını anlatan bir eğitim içeriğidir.. Videoda tutarlılık kavramı detaylı olarak ele alınmaktadır. İlk olarak bir önermenin tutarlı olabilmesi için en az bir doğruluk değerini alması gerektiği açıklanmakta, ardından birden fazla önermenin birlikte tutarlılığı örneklerle gösterilmektedir. Video, bir sonraki derste geçerlilik konusunun işleneceği bilgisiyle sonlanmaktadır.
Bu video, Mehmet Hoca tarafından sunulan 9. sınıf matematik dersinin dokuzuncu bölümüdür. Öğretmen, öğrencilere mantık ve kümeler konularını anlatmaktadır.. Videoda mantık ve kümeler konularının birleştirilmesi ele alınmaktadır. Öğretmen, küme işlemleri ile sembolik mantık işlemleri arasındaki bağlantıları açıklamakta, birleşim, kesişim ve fark işlemlerinin mantık sembolleriyle nasıl yazılacağını örneklerle göstermektedir. Ders boyunca çeşitli sorular çözülerek, küme ifadelerinin mantık sembolleriyle yazılması ve en sade haline getirilmesi konuları işlenmektedir.. Video, dokuzuncu dersin sonunda ve onuncu derste küme problemlerine başlanacağı bilgisiyle sonlanmaktadır.