12
a
?
#
(false or
a) # a
(true
or
a) # true
Relasi
ini
merupakan
evaluasi
dari
ekspresi
yang
terdiri
dari
false,
true,
dan
operator
or
yang
dituliskan
di
antara
tanda
kurung. Relasi
# tidaklah
refleksif
karena tidak terdapat a # a. Jika $ adalah penutup refleksif
(reflexive closure) dari #,
maka untuk $ akan berlaku:
a
?
$
(false or
a) $ a
(true
or
a) $ true
a
$ a
Dengan
demikian
relasi
$
memungkinkan
untuk
sebuah
ekspresi
tidak
dievaluasi, karena (false or
true)
$ (false or
true).
Relasi
$
tidaklah
simetrik.
Didefinisikan
%
sebagai
penutup
simetrik
dari
$.
Dengan demikian % adalah penutup simetrik-refleksif (symmetric-reflexive
closure)
dari #, dan bagi % akan berlaku:
a, b ? %
(false or
a) % a
(true
or
a) % true
a
% a
a
% b ? b % a
 |