Z'de β={(a,b):3|(5a+b)} denklik bağıntısı mıdır?
∙ β bağıntısının yansıyan olduğunu göstermek için (∀a∈Z)((a,a)∈β) önermesinin doğru olduğunu göstermeliyiz.
a∈Z olsun. Amacımız (a,a)∈β olduğunu göstermek.
a∈Z⇒3|(5a+a)≡3|6a her zaman doğrudur. 6a=3(2a)
∙ β bağıntısının simetrik olduğunu göstermek için (∀a,b∈Z)((a,b)∈β⇒(b,a)∈β) önermesinin doğru olduğunu göstermeliyiz.
a,b∈Z ve (a,b)∈β olsun. Amacımız (b,a)∈β olduğunu göstermek.
(a,b)∈β⇒3|(5a+b)⇒5a+b=3k (k∈Z)
∙ β bağıntısının geçişken olduğunu göstermek için (∀a,b,c∈Z)[((a,b)∈β∧(b,c)∈β)⇒(a,c)∈β)] önermesinin doğru olduğunu göstermeliyiz.
a,b,c∈Z, (a,b)∈β ve (b,c)∈β olsun. Amacımız (a,c)∈β olduğunu göstermek.
(a,b)∈β ⇒ 3| (5a+b) ⇒ ∃ k∈Z , 5a+b=3k
(b,c)∈β ⇒ 3| (5b+c) ⇒ ∃ m∈Z , 5b+c=3m
eşitlikler taraf tarafa topanırsa; 5a+6b+c=3k+3m
5a+c=3k+3m−6b
5a+c=3(k+m−2b) ⇒ k+m−2b∈ Z olduğundan (a,c)∈β dır. Dolayısıyla β geçişkendir.
Not: Simetriklik ispatını tamamlayamadım.