Professional Documents
Culture Documents
ve
Bulanık Mantığa Giriş
Rasim TEMUR
İşaret Anlamı
¬ değil
∧ ve
∨ veya
⇒ ise
⇔ sadece ve sadece
p ¬p p ¬p
D Y 1 0
Y D 0 1
¬p = 1 − p
p q p∧q p q p∧q
D D D 1 1 1
D Y Y 1 0 0
Y D Y 0 1 0
Y Y Y 0 0 0
p ∧ q = min[ p , q ]
p∧q = p ⋅ q
p ∧ q = max[ 0 , p + q − 1 ]
p q p∨q p q p∨q
D D D 1 1 1
D Y D 1 0 1
Y D D 0 1 1
Y Y Y 0 0 0
p ∨ q = max[ p , q ]
p ∨ q = min[ 1 , p + q ]
p q p⇒q p q p⇒q
D D D 1 1 1
D Y Y 1 0 0
Y D D 0 1 1
Y Y D 0 0 1
p ⇒ q = min[ 1 , 1 + q − p ]
p ⇒ q = 1 − p (1 − q )
p⇒q ≠ q⇒p
p q p⇔q p q p⇔q
D D D 1 1 1
D Y Y 1 0 0
Y D Y 0 1 0
Y Y D 0 0 1
p ⇔ q = p ⋅ q + ¬p ⋅ ¬q
Çelişki: Basit önermelerinin doğruluk değeri ne olursa olsun yanlış olan bileşke önermedir
p p ∧ ¬p p p ∧ ¬p
D Y 1 0
Y Y 0 0
Totoloji: Basit önermelerinin doğruluk değeri ne olursa olsun doğru olan bileşke önermedir
p p ∨ ¬p p p ∨ ¬p
D D 1 1
Y D 0 1
Değişme ( p ∧ q ) ⇔ ( q ∧ p) ( p ∨ q) ⇔ ( q ∨ p)
Birleşme [ p ∧ ( q ∧ r) ] ⇔ [ ( p ∧ q) ∧ r ] [ p ∨ ( q ∨ r) ] ⇔ [ ( p ∨ q) ∨ r ]
De Morgan Kuralı ¬( p ∧ q ) ⇔ ( ¬p ∨ ¬q ) ¬( p ∨ q ) ⇔ ( ¬p ∧ ¬q )
Dağılma [ p ∧ ( q ∨ r) ] ⇔ [ ( p ∧ q) ∨ ( p ∧ r) ] [ p ∨ ( q ∧ r) ] ⇔ [ ( p ∨ q) ∧ ( p ∨ r) ]
Eşdeğerlik ( p ⇔ q) ⇔ [ ( p ⇒ q) ∧ ( q ⇒ p) ] ( p ⇔ q ) ⇔ [ ( p ∧ q ) ∨ ( ¬p ∧ ¬q ) ]
Karşıtlık ( p ⇒ q ) ⇔ ( ¬q ∨ ¬p )
İhraç etme [ p ⇒ ( q ⇒ r ) ] ⇔ [( p ∧ q) ⇒ r]
Denkgüçlülük ( p ∧ p) ⇔ p ( p ∨ p) ⇔ p
P(x) B P(v)
U + ∨
∩ • ∧
- - ¬
x 1 1
ø 0 0
⊆ ≤ ⇒
A
B
A A
x x
x∈A x∉A
1.0
Çok Çok
soğuk Soğuk Ilık Sıcak sıcak
-5 0 8 15 25
-5 0 8 15 25
A
Klasik kümeler
T
A ⊆ B ve A ⊆ B
üA(x), üB(x),
Bulanık kümeler
1.0
A B
A
Klasik kümeler
T
A ∪ A = T ve A ∨ A = T
üA(x), üB(x), A A
Bulanık kümeler
1.0
A B
Klasik kümeler
T
A ∪ B ve A ∨ B
üA(x), üB(x),
Bulanık kümeler
1.0
A B
A B
Klasik kümeler
T
A∪B
A = {a , b, c, e, h , i}
B = {1, a , 3, z, b, x}
A ∪ B = {a , 1, 3, b, c, e, h, i, z, x}
üA(x), üB(x),
Bulanık kümeler
1.0
A B
x
A∨B
A B
Klasik kümeler
T
A ∩ B veya A ∧ B
üA(x), üB(x),
Bulanık kümeler
1.0
A B
A B
Klasik kümeler
T
A∩B
A = {a , b, c, e, h , i}
B = {1, a , 3, z, b, x}
A ∩ B = {a , b}
üA(x), üB(x),
1.0
Bulanık kümeler
A B
x
A∧B
A B C
Klasik kümeler
T
A ∩ B = φ veya A ∧ B = φ A ∩ C = φ veya A ∧ C = φ B ∩ C = φ veya B ∧ C = φ
üA(x), üB(x),
Bulanık kümeler
1.0
A B C
1 2 3
c
A = {a , b, c}
Klasik kümeler
B = {1, 2, 3}
C = A × B = {(a ,1), (a ,2), (a ,3), (b,1), (b,2), (b,3), (c,1), (c,2), (c,3)}
A ∧ B = {0.1 /(1, a ) + 0.3 /(1, b) + 0.3 /(1, c) + 0.1 /(2, a ) + 0.7 /(2, b) + 0.3 /( 2, c)
+ 0.1 /(3, a ) + 1.0 /(3, b) + 0.3 / 3, c)}
ü A×B ( x ) = EK[ü A ( x ), ü B ( x )]
A∪ B = B∪ A = A∨ B = B∨ A
Birleşme özelliği
A∩ B = B∩ A = A ∧ B = B∧ A
(A ∪ B) ∪ C = A ∪ (B ∪ C) = (A ∨ B) ∨ C = A ∨ (B ∨ C)
(A ∩ B) ∩ C = A ∩ (B ∩ C) = (A ∧ B) ∧ C = A ∧ (B ∧ C)
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C) = A ∧ (B ∨ C) = (A ∧ B) ∨ (A ∧ C)
Dağılma
özelliği
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) = A ∨ (B ∧ C) = (A ∨ B) ∧ (A ∨ C)
De Morgan
A∩B= A∪B
kuralı
A∪B= A∩B
B A∪B
A
A B B
A
A∩B