Tərif 1. İki A və B mülahizələrinin “əgər A varsa, onda B- də var” şəklində əlaqələndirilməsi nəticəsində alınan mürəkkəb mülahizəyə bu mülahizələrin
Tərif 2. Yalnız A mülahizəsi doğru, B mülahizəsi yalan olduqda yalan, qalan bütün hallarda doğru olan mürəkkəb mülahizəyə A və B mülahizələrinin implikasiyası deyilir.
Mülahizələrin implikasiyasında A mülahizələrin şərti B isə nəticəsi adlanır.. Yalnız A doğru, B yalan olduğu halda implikasiya yalan, qalan hallarda isə implikasiya doğru olur. Məsələn. A- “12 ədədi 4-ə bölünür” – doğru
B- “12 ədədi 2-ə bölünür” – doğru
A B
“Əgər 12 ədədi 4-ə bölünürsə, onda 12 ədədi 2-ə də bölünür” Hər ikisi
doğru
A B doğrudur.
A
|
B
|
A B
|
D
|
D
|
D
|
D
|
Y
|
Y
|
Y
|
D
|
D
|
Y
|
Y
|
D
|
Mülahizələrin implikasiyasını cədvəl vasitəsilə əks etdirək.
Verilmiş A və B mülahizələrinin implikasiyasını yazaq.
A B
Burada A şərt, B isə nəticədir. Əgər şərt ilə
kimi olar. Məsələn. “Aynur 1-ci sinfə gedir” “Aynurun 6 yaşı var” mülahizələrinin implikasiyası “Əgər Aynur 1-ci sinfə gedirsə, onda onun 6 yaşı var” kimi olar. Şərt ilə nəticənin yerini dəyişsək, onda implikasiya belə olar. “Əgər Aynurun 6- yaşı varsa, onda o 1- ci sinfə
getməlidir” implikasiyası alınır. Burada B A , A B - nın tərsi adlanır, iki qarşılıqlı
tərs implikasiya alınır. Bu implikasiyaların konyuksiyasını yazaq A B B A. Bu
A və B mülahizələrinin ekvivalensiyası adlanır və
A B
kimi göstərilir.
Dostları ilə paylaş: | 
