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
implikasiyası deyilir və
B
A
kimi yazılır.
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
B
A
“Ə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
B
A
doğrudur.
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.
B
A
Burada A şərt, B isə nəticədir. Əgər şərt ilə
mülahizənin yerini dəyişsək, onda implikasiya
A
B
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
A
B
,
B
A
-
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ə
B
A
kimi göstərilir.
Dostları ilə paylaş: | 
