Mürəkkəb birləşdirici hökmlərdə sadə hökmlərdən biri yalandırsa, hökm tamamilə
yalandır. (A birinci sadə hökm, B ikinci sadə hökm)
A
B
A˄B
Yalan
Yalan
Yalan
Bölüşdürücü - dizyunktiv hökmlər "ya, yaxud" bağlayıcısı ilə işlədilir. "˅" işarəsi ilə
göstərilir. Bu hökmlərin 2 növü var. Zəif dizyunksiya, güclü dizyunksiya.
Zəif dizyunksiyada hökmlərdən biri doğrudursa, hökm doğru qəbul edilir.
A
B
A˅B
Doğru
Doğru
Doğru
Doğru
Yalan
Doğru
Yalan
Doğru
Doğru
Yalan
Yalan
Yalan
Güclü dizyunksiyada hökm o zaman doğru olur ki, onun hökmlərindən biri həqiqi digəri
isə yalan olsun. Əgər hər ikisi həqiqi, hər ikisi yalandırsa o zaman hökm yalan olur.
Dostları ilə paylaş: