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

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

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

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

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

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

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

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

Isı yalıtımı iki farklı ortam arasında ısı alış-verişinin engellenmesine denir. Bu genelde özel malzemelerle yapılır örneğin iki duvar arasına

Ö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

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

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

9SINIF MATEMATİK. Mantık Kümeler

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

ÖSS MATEMATİK TÜREV FASİKÜLÜ

1 MATEMATİKSEL MANTIK

TAM DEĞER ARDIŞIK TOPLAMLAR

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

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

DOĞRULUK TABLOSU / ÇİZELGESİ İLE DENETLEME

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

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

B. ÇOK DEĞERLİ MANTIK

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

DERS NOTLARI. Yard. Doç. Dr. Namık AKÇAY İstanbul Üniversitesi Fen Fakültesi

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

T I M U R K A R A Ç AY, H AY D A R E Ş, O R H A N Ö Z E R K A L K U L Ü S N O B E L

Şekil-1. Doğru ve Alternatif Akım dalga şekilleri

A.Adnan Saygun Caddesi 10/1 Sıhhiye/ANKARA Tel: Faks:

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

Mantıksal Operatörlerin Semantiği (Anlambilimi)

Deney 3: Diyotlar ve Diyot Uygulamaları. Amaç: Araç ve Malzeme: Teori:

Saygın KIRILMAZ, Tolga TANIŞ, Simay AYDIN

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

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

8.SINIF CEBirsel ifadeler

DENEY 1 DİYOT KARAKTERİSTİKLERİ

Hacettepe Robot Topluluğu

FEN & MATEMATİK ELEKTROLAB ELEKTRİĞİ EĞLENCEYE ÇEVİREN EĞİTİM KİTİ

KÜRESEL AYNALAR ÇUKUR AYNA. Yansıtıcı yüzeyi, küre parçasının iç yüzeyi ise çukur ayna yada içbükey ayna ( konveks ayna ) denir.

T.C. MARMARA ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ MEKATRONİK MÜHENDİSLİĞİ BÖLÜMÜ

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

11. SINIF MATEMATİK DERSİ İLERİ DÜZEY ÖĞRETİM PROGRAMI

VEKTÖR UZAYLARI 1.GİRİŞ

Ö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

T.C. KOCAELİ ÜNİVERSİTESİ TEKNOLOJİ FAKÜLTESİ BİLİŞİM SİSTEMLERİ MÜHENDİSLİĞİ

Denklemler İkinci Dereceden Denklemler. İkinci dereceden Bir Bilinmeyenli Denklemler. a,b,c IR ve a 0 olmak üzere,

TEMEL SAYMA. Bill Gates

9. BÖLÜM. Özel Tanımlı Fonksiyonlar ÇİFT VE TEK FONKSİYONLAR: ÖRNEK ÖRNEK ÇÖZÜM ÇÖZÜM. M A T E M A T İ K

Örnek...3 : f(2x 3)=4 3x ise f(1) kaçtır? Örnek...4 : f(x)=3x+1 ise f(2x) fonksiyonu nedir?

d) x - y = 0 e) 5x -3y = 0 f) 4x -2y = 0 g) 2x +5y = 0

ÇÖZÜMLÜ ÖRNEK 3.5 ÇÖZÜM

SAYI SİSTEMLERİ ve BOOLE CEBİRİ 1+1=1 ÖĞR.GÖR. GÜNAY TEMÜR - TEKNOLOJİ F. / BİLGİSAYAR MÜH.

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

ÖRNEK : x. y = 1 biçiminde verilen fonksiyonun grafiğini. çiziniz. Çizim : x. y = 1 olması ancak x =1ve y =1 yada x =-1ve. x =1ve x =-1ve ÖRNEK :

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

Örnek...1 : ÖZEL TANIMLI FONKSİYONLAR 14 ( FONKSİYONLARDA ÖTELEME VE SİMETRİ ) 2. X EKSENİNDE ÖTELEMELER FONKSİYONLAR BÖLÜM 14 FONKSİYONLARDA ÖTELEME

DOĞRULUK TABLOLARI (TRUTH TABLE)

MATEMATİK. Doç Dr Murat ODUNCUOĞLU

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

Örnek...2 : Örnek...3 : Örnek...1 : MANTIK 1. p: Bir yıl 265 gün 6 saattir. tan ım lam ak denir. ya nlış ye rine 0 sim gesi kullan ılır.

DOĞRUSAL DENKLEMLER VE KOORDİNAT SİSTEMİ

MADDE VE IŞIK saydam maddeler yarı saydam maddeler saydam olmayan

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

UYGULAMALI DİFERANSİYEL DENKLEMLER

İSTANBUL TEKNİK ÜNİVERSİTESİ BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜMÜ LOJİK DEVRELERİ LABORATUVARI DENEY RAPORU : ARDIŞIL DEVRE TASARIMI

EĞİTİM ÖĞRETİM YILI. FEN LİSESİ 9.SINIF MATEMATİK DERSİ ÜNİTELENDİRİLMİŞ YILLIK PLANI 9.SINIF KAZANIM VE SÜRE TABLOSU

Lineer Dönüşümler ÜNİTE. Amaçlar. İçindekiler. Yazar Öğr. Grv.Dr. Nevin ORHUN

Önermeler. Önermeler

ÜNİTE. MATEMATİK-1 Yrd.Doç.Dr.Ömer TARAKÇI İÇİNDEKİLER HEDEFLER DOĞRULAR VE PARABOLLER

13.Konu Reel sayılar

Üstel ve Logaritmik Fonksiyonlar

Buna göre, bir devrede yük akışı olabilmesi için, üreteç ve pil gibi aygıtlara ihtiyaç vardır.

DERS ÖĞRETİM PLANI TÜRKÇE. 1 Dersin Adı: Sembolik Mantık II. 2 Dersin Kodu: FLS Dersin Türü: Seçmeli. 4 Dersin Seviyesi: Lisans

Ayrık İşlemsel Yapılar

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

OPTİK Işık Nedir? Işık Kaynakları Işık Nasıl Yayılır? Tam Gölge - Yarı Gölge güneş tutulması

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

Renkler Test Çözümleri. Test 1'in Çözümleri. Sarı renkli kumaş parçası mavi ışığı yansıtmadığı için siyah görünür.

MODERN (SEMBOLİK) MANTIK

Örnek...4 : Özellik 2. w w w. m a t b a z. c o m. Bir (a n) geometrik dizisinin ilk terimi 1/2 ve

Uzayda iki doğrunun ortak dikme doğrusunun denklemi

30 NİSAN-14 MAYIS ZEYNEP KAYAR. 1) L : R 3 R 2, L(x 1, x 2, x 3 ) = ( 3x 1 + 2x 3 4x 2, 2x 1 + x 2 3x 3 )

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

YAŞAMIMIZDAKİ ELEKTRİK

MAT223 AYRIK MATEMATİK

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

Buna göre, bir devrede yük akışı olabilmesi için, üreteç ve pil gibi aygıtlara ihtiyaç vardır.

IV.Ünite: SEMBOLİK MANTIK: D - Çok Değerli Mantık Özet

Lineer Denklem Sistemleri

FASİKÜL Basit Elektrik Devreleri

Birinci Seviye Robot Eğitimi Bölüm 4

OLASILIK LASILIK ve İSTATİSTİK Olasılık

Fizik II Elektrik ve Manyetizma Akım, Direnç ve Elektromotor Kuvvet

MODERN (SEMBOLİK) MANTIK

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

10. SINIF KONU ANLATIMLI

Işığı geçirme durumuna göre

EĞİTİM ÖĞRETİM YILI. ANADOLU LİSESİ 9.SINIF MATEMATİK DERSİ ÜNİTELENDİRİLMİŞ YILLIK PLANI 9.SINIF KAZANIM VE SÜRE TABLOSU

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

10. SINIF KONU ANLATIMLI. 4. ÜNİTE: OPTİK 5. Konu RENKLER ETKİNLİK ve TEST ÇÖZÜMLERİ

Transkript:

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

2.KONU Sembolik Mantığın uygulamaları

Önermeler ve Elektrik devreleri Odanızdakı elektrik anahtalarını birkaç kere açıp kapatınız. Anahta her bastığınızda lambanın yanma durumunda değişiklik olacaktır. Lambanın yanmadığı konumda ise elektrik akımı lambaya ulaşmuyor demektir. Akımın lambaya ulaşması, anahtarın akımı geçirmesıne, akımın lambaya ulaşmaması, anahtarın akımı geçirmemesine bağlıdır. Akımın geçip geçmemesini iki basit temsil etmek mümkindir. anahtar anahtar Sonuç olarak, elektrik anahtarı için iki durum konusudur: Akım geçir ya da geçirmez. Elektrik anahtarına p adı verilse, p nın akım geçirmesi durumu 1, akım geçirmemesi durumu 0 ile gösterildiğinde, p nın mümkin bütün hsllerini gösteren tablo aşağıdaki gibi olur. P 1 0

Önermeler ve Elektrik devreleri Odanızdakı elektrik anahtalarını birkaç kere açıp kapatınız. Anahta her bastığınızda lambanın yanma durumunda değişiklik olacaktır. Lambanın yanmadığı konumda ise elektrik akımı lambaya ulaşmuyor demektir. Akımın lambaya ulaşması, anahtarın akımı geçirmesıne, akımın lambaya ulaşmaması, anahtarın akımı geçirmemesine bağlıdır. Akımın geçip geçmemesini iki basit temsil etmek mümkindir. anahtar anahtar Sonuç olarak, elektrik anahtarı için iki durum konusudur: Akım geçir ya da geçirmez. Elektrik anahtarına p adı verilse, p nın akım geçirmesi durumu 1, akım geçirmemesi durumu 0 ile gösterild,ğinde, p nın mümkin bütün hsllerini gösteren tablo aşağıdaki gibi olur. P 1 0

Önermeler ve Elektrik devreleri Eğer devrede p ve q gibi iki anahtar söz konusu ise, bu devre için dört hal söz konusudur: p q 1 1 1 0 0 1 0 0 Değil Anahtarı Eger p ve q anahtarı için, p akımı geçirirken q akımı geçirmiyor ve p akım geçirmezken q akım geçiriyor ise q anahtara p anahtarın değili denir ve q=p olarak gösterilir. p P 1 0 0 1

Önermeler ve Elektrik devreleri Seri Bağlama 1.Durum: iki anahtar da (p de, q da) akım geçiriyorsa bu hattan akım geçer. 2.Durum: p akım geçiriyor ama q geçirimiyorsa bu hattan akım geçmez. 3.Durum: p akım geçirmiyor ama q geçiriyorsa bu hattan akım geçmez. 4.Durum: Her iki anahtar da (p de, q da) akım geçirmiyorsa bu hattan akım geçmez.

Önermeler ve Elektrik devreleri Elektrik devrelerinde p ve q gibi anahtarların akım geçirip geçirmediği şekillerinde gösterilmez. Örneğin aynı hat üzerindeki p ve q anahtarları için yukarıdakı dört durumda yer alan şekiller yerine şu şekli çizilir. Seri bağlama

Önermeler ve Elektrik devreleri Anahtarların akım geçirip geçirme durumlarına göre p ve q anahtaları seri bağlanmış olan bir devreden akım geçirip geçirmesi dört farklı durumda incelenir. p q P ve q anahtarlarına seri bağlı oldugu hattan akım geçme durumu 1 1 1 1 0 0 0 1 0 0 0 0 p q p q 1 1 1 1 0 0 0 1 0 0 0 0

Parallel Bağlama Bir devrede hat birbirinden bağımsız olarak iki farklı yol üzerinden tamamlanabiliyorsa ve iki farklı yolda birer anahtar bulunuyorsa devre aşağıda verilen biçimdedir: p q P ve q anahtarlarına parallel bağlı oldugu hattan akım geçme durumu 1 1 1 1 0 1 0 1 1 0 0 0 p q p q 1 1 1 1 0 1 0 1 1 0 0 0

Üç anahtar için Eğer q, q ve r üç anahtar söz konusu olsaydı, seri ve paralel bağlamalar aşağıdaki biçimlerde yapılır:

1.Örnek: Aşağıdaki şekli verilen devreye karşılık gelen en basit devreyi bulalım. Devreye karşılık gelen bileşik önerme p [ p q p q q ]

Önerme işlemlerini uygulayarak sadeleşdirelim: p p q p q q [p p q ] p p q q p p q [[p p q ] p q ] p q [ p p q p q ] p q [ç p q ] p q p q p q

2. Örnek: A [(q r ) q r ] (p r) bileşik önermesini sadeleşdirelim ve bunun yardımıyla bu önermeye karşılık gelen elektrik devresine denk olan en ekonomik elektrik devresini cizelim. q r q r r q q r ] r q ise q r r q olumsuz q r r q r q dağıtma q r r r q q r q çelişme r r ve q q q r r q

A [(q r ) q r ] (p r) q r q r (p r) ( q r ) q r (p r) (q r ) ( q r r q ) (p r) (q r ) ( q r r q ) (p r) q r ((q r ) r q ) (p r) q r ((q r ) (r q) (p r) q r (q r ) (p r) dagytma q r (p r) (q r ) (p r) q p r) (q p) (r r) q p r) (q p) (totoloji) q p r) totoloji q p r)