employer
/
tame
1
0
Fork 0
Code Packages Releases Activity

design/tpl: (Disjunctive Classification): Footnote formatting correction 

Missing `,' in the \forall set.
master
Mike Gerwitz 2021-05-11 13:24:20 -04:00
parent 51c87f9938
commit d49133e8e9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
design/tpl/sec/class.tex
View File

@ -72,7 +72,7 @@ is equivalent to the proposition
respectively,
as \emph{universal} and \emph{existential},
referring to fact that
$\forall\Set{a_0,\ldots a_n}(a) \equiv a_0\logand\ldots\logand a_n$,
$\forall\Set{a_0,\ldots,a_n}(a) \equiv a_0\logand\ldots\logand a_n$,
and similarly for $\exists$.
This terminology has changed since all classifications are in fact
existential over their matches' index sets,