Identity Flashcards
1
Q
If b=c then…?
A
if b=c then whatever is true of b is also true of c
2
Q
a=a
A
is never false
3
Q
=Elim (indiscernibility of identicals)
A
if b=c, then whatever holds of b also holds of c.
4
Q
=intro(reflectivity of identity)
A
sentences of the form b=b are always true
5
Q
symmetry of identity
A
if b=c then c=b
6
Q
transitivity of identity
A
if a=b and b=c, then a=c.