Teorema 5.5.

Misalkan jangkauan dari fungsi keanggotaan himpunan kabur A dalam (5.45) meliputi
keseluruhan interval [0, 1]. Maka implikasi berikut memenuhi (5.45) untuk suatu t-norm t.

1. Implikasi Gaines-Rescher J s ;

2. Implikasi Gödel J g;

3. Implikasi Wu J wu .

Bukti

Akan dibuktikan bagian 3 saja (implikasi Wu), yang lain diserahkan kepada pembaca sebagai
latihan.

∀ y ∈ Y , x ∈ X t [ μ A ( x ) , J wu ( μ A ( x ) , μB ( y ) ) ]= a ∈ [ 0,1 ] t [ a , J wu ( a , μB ( y ) ) ]
¿ ¿

¿ max { ¿ t [ a , J wu ( a , μ B ( y ) ) ] ,¿ a> μ B ( y ) t [ a , J wu ( a , μB ( y ) ) ]
a ≤ μB ( y ) }
{
¿ max μB ( y ) , a> μ B ( y ) t [ a , min ( 1−a , μ B ( y ) ) ]
¿
}
¿ μB ( y )

Beberapa implikasi kabur dan t-norm untuk kaidah inferensi modus pones diperluas diberikan
dalam Tabel 5.3.

Contoh 5.13

Misalkan digunakan operator hasil kali aljabar untuk t-norm dan implikasi Godel untuk fungsi J,
dan misalkan terdapat kasus: (i) A=A ; A=¿sangat A ; A=¿ kurang lebih A ; A=A , dan
diasumsikan bahwa himpunan kabur A adalah normal ( xU
¿ {μ A (x)}=1), maka derajat keanggotaan

B dapat ditentukan sebagai berikut:

(i) A' = A , maka

( {
μ B ( y )=¿ x ∈ X μ A ( x ) .
'
1 ; μA ( x ) ≤ μB ( y )
μB ( y ); μA ( x )> μB( y ) )
Ada dua kemungkinan, yaitu:
 Kemungkinan 1: μ A ( x ) ≤ μ B ( y ) , maka
μ B ( y )= x ∈ X { μ A ( x ) .1 }=1
¿
'

Kemungkinan 2: μ A ( x ) > μB ( y ) , maka

μ B ( y )=¿ x ∈ X { μ A ( x ) . μ B ( y ) }=μ B ( y )
'

(ii) A' =sangat A , maka

μ B ( y )=¿ x ∈ X ( μ A ( x ) ) .
'
( 2

{ 1; μ A ( x ) ≤ μ B ( y )
μB ( y ) ; μ A ( x )> μ B ( y ) )
Ada dua kemungkinan, yaitu:
Kemungkinan 1: μ A ( x ) ≤ μ B ( y ) , maka

μ B ( y )= x ∈ X { ( μ A ( x ) ) .1 }=1
¿ 2
'

Kemungkinan 2: μ A ( x ) > μB ( y ) , maka

μ B ( y )=¿ x ∈U {( μ A ( x )) . μB ( y ) }=μ B ( y )
2
'

(iii) A' =kurang lebih A , maka

( { )
1
1; μ A ( x ) ≤ μ B ( y )
μ B ( y )=¿ x ∈ X ( μ A ( x ) ) 2 .
'

μB ( y ) ; μ A ( x) > μB ( y )

Ada dua kemungkinan, yaitu:

Kemungkinan 1: μ A ( x ) ≤ μ B ( y ) , maka

{ }
1
μ B ( y )= x ∈ X ( μ A ( x )) .1 =1
'
¿ 2

Kemungkinan 2: μ A ( x ) > μB ( y ) , maka

{ }
1
μ B ( y )=¿ x ∈ X ( μ A ( x )) 2 . μB ( y ) =μB ( y )
'

'
(iv) A =¬ A , maka

μ B ( y )=¿ x ∈ X ( 1−μ A ( x ) ) .
'
( { 1 ; μ A ( x ) ≤ μB ( y )
μ B ( y ) ; μ A ( x ) > μB ( y ) )
Ada dua kemungkinan, yaitu:
Kemungkinan 1: μ A ( x ) ≤ μ B ( y ) , maka

μ B ( y )= x ∈ X { ( 1−μ A ( x ) ) .1 }=0
¿
'
Kemungkinan 2: μ A ( x ) > μB ( y ) , maka
μ B ( y )= x ∈ X { ( 1−μ A ( x ) ) . μ B ( y ) }= x ∈ X { μB ( y )−μ A ( x ) . μ B ( y ) }=0
¿ ¿
'

- Kaidah dari modus tollens

Implikasi kabur yang sesuai untuk penalaran kabur yang didasarkan pada modus
tollens diperluas akan memenuhi persamaan
k ( μ A ( x ) ) =¿ y ∈ Y t ¿, ∀ x ∈ X
Beberapa implikasi kabur dan t-norm untuk kaidah inferensi modus tollens diperluas
diberikan dalam Tabel 5.4.

- Kaidah dari silogisme

Implikasi kabur yang sesuai untuk penalaran kabur yang didasarkan pada silogisme
diperluas akan memenuhi persamaan
¿
J ( μ A ( x ) , μC ( z ) ) = y ∈Y t ¿ ∀ x ∈ X , z ∈ Z
Dalam Tabel 5.5, diberikan beberapa implikasi kabur dan t-norm yang memenuhi (ya)
maupun tidak memenuhi (tidak) persamaan (5.47).
Pada Tabel 5.3 – 5.5, terlihat bahwa hanya implikasi kabur (di antara yang
didaftar dalam tabel tersebut) J s , J wu , J ss dan J sg yang memenuhi ketiga kriteria dengan
empat t-norm yang dipilih. Ini berarti bahwa empat implikasi kabur tersebut cocok
untuk modus tollens diperluas, modus pones diperluas dan silogisme diperluas.