employer
/
liza
1
0
Fork 0
Code Releases Activity

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}
master
Mike Gerwitz 2018-02-01 15:29:43 -05:00
parent 799a74d7a1
commit cdd87569c1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
doc/pred.texi
View File

@ -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,