Identity Rules for QL
Reflexivity of Identity:
R.I.
p
a = a
Symmetry of Identity:
Sym. I.
a = b iff b = a
Substitutivity of Identity:
Sub. I.
a = b
Fa
Fb