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
# ∀
x
∀
y
:
x
* (
y
+ 1) =
x
*
y
+
y
# ∀
x
∀
y
:
x
* (
y
+ 1) =
x
*
y
+
x