T texniki kolleci

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.