Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMike Gerwitz <mike.gerwitz@rtspecialty.com>2018-02-01 15:29:43 -0500
committerMike Gerwitz <mike.gerwitz@rtspecialty.com>2018-02-01 15:29:43 -0500
commitcdd87569c1d7bded41a30e7debdaf3d82029ae5c (patch)
tree1705e749750e5ee528c7b0bcdf3ca5ce82e0ea04
parent799a74d7a13ff45df85a6dea6e63af6a36193e1c (diff)
downloadliza-cdd87569c1d7bded41a30e7debdaf3d82029ae5c.tar.gz
liza-cdd87569c1d7bded41a30e7debdaf3d82029ae5c.tar.bz2
liza-cdd87569c1d7bded41a30e7debdaf3d82029ae5c.zip
doc/pred.texi: UI predicates are existential
I'm not sure why I put universal here---they affect each index individually. * doc/pred.texi (Predicate System): {universal=>existentail}
-rw-r--r--doc/pred.texi4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/pred.texi b/doc/pred.texi
index 8ee01eb..a519961 100644
--- a/doc/pred.texi
+++ b/doc/pred.texi
@@ -59,8 +59,8 @@ What it means for some object to be applicable depends on the context.
@caption{Predicate system domain of discourse}
@end float
-This system is limited to universal quantification over the domain of
- discourse.
+This system is limited to existential quantification over the domain
+ of discourse.
For other quantifiers and higher-order logic,
defer to one of the systems that contributes to the domain of
discourse,