Browse wiki

Equality

Expression	"all a . a = a"  +
Expression1	"all a,b . a = b -> b = a"  +
Expression2	"all a,b,c . a = b /\ b = c -> a = c"  +
Expression3	"all a,b,c . a = b -> a / c = b / c)"  +
Has symbol	=  +
Label	"reflexivity"  +
Label1	"symmetry"  +
Label2	"transitivity"  +
Label3	"substitution /"  +
Modification date
S-expression	"(all (a) (= a a))"  + , "(all (a b) (-> (= a b)(= b a)))"  +
Categories	Operator  +

hide properties that link here

	No properties link to this page.

 

Enter the name of the page to start browsing from.