[Home]History of First-order predicate calculus

HomePage | Recent Changes | Preferences

Revision 5 . . August 16, 2001 5:06 pm by Zundark [x * (y + 1) = x * y + x]
Revision 4 . . August 16, 2001 3:35 am by AxelBoldt [first-order predicates]
  

Difference (from prior major revision) (no other diffs)

Changed: 45c45
# ∀ xy : x * (y + 1) = x * y + y
# ∀ xy : x * (y + 1) = x * y + x

HomePage | Recent Changes | Preferences
Search: