blob: 6dc8d5a4fe0cfb048e51717e8fdd968659abd066 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
\begin{definition}\label{bar}
$x$ is a bar iff $x = x$.
\end{definition}
\begin{definition}\label{foo}
$x$ is foo iff $x = x$.
\end{definition}
\begin{definition}\label{baz}
$x$ is baz iff $x = x$.
\end{definition}
\begin{proposition}\label{nouns}
Let $x, y$ be bars.
Then $x = x$.
\end{proposition}
\begin{proposition}\label{adj_nouns}
Let $x, y$ be foo bars.
Then $x = x$.
\end{proposition}
\begin{proposition}\label{nouns_suchthat}
Let $x, y$ be bars such that $x$ is foo and $y$ is baz.
Then $x = x$.
\end{proposition}
\begin{proposition}\label{noun_verb}
$x = y$ iff $x$ is a bar equal to $y$.
\end{proposition}
\begin{proposition}\label{adjs}
$x$ is foo and baz.
\end{proposition}
|
