| 67Logic
III
67
This gives, since we can by Rules I and III insert
what we please within odd enclosures, gives
{{tex:
\medskip
{\setstretch{0.5}%
\vvcut{ \ontop{
\cut{ \hk{} \cut{ \hk{} \ontop{\cut{\,\hk{\textit{a}}\,}\\ \cut{\,\hk{\textit{b}}\,}} \hk{} }}\\
\cut{ \hk{} \cut{ \hk{} \ontop{\cut{\,\hk{\textit{a}}\,}\\ \cut{\,\hk{\textit{b}}\,}} \hk{} }}
} \hk{} }
\li{1}{2}\upright{2}{3}\downright{2}{4}\rightdown{3}{5}\rightup{4}{5}\rightdown{5}{11}
\li{6}{7}\upright{7}{8}\downright{7}{9}\rightdown{8}{10}\rightup{9}{10}\rightup{10}{11}
\setcounter{rheme}{0}}
Then by deiteration we get
This, on substituting what a and b represent, becomes
By Rule II we can now put two ovals round 'rejects' and using only
the initial letters, and also not writing the regularity ?? which makes it needless
indicating their outermost points, we have | 67Logic
III
67
This gives, since we can by Rules I and III insert
what we please within odd enclosures, gives
{{tex:
\medskip
{\setstretch{0.5}%
\vvcut{ \ontop{
\cut{ \hk{} \cut{ \hk{} \ontop{\cut{\,\hk{\textit{a}}\,}\\ \cut{\,\hk{\textit{b}}\,}} \hk{} }}\\
\cut{ \hk{} \cut{ \hk{} \ontop{\cut{\,\hk{\textit{a}}\,}\\ \cut{\,\hk{\textit{b}}\,}} \hk{} }}
} \hk{} }
\li{1}{2}\upright{2}{3}\downright{2}{4}\rightdown{3}{5}\rightup{4}{5}\rightdown{5}{11}
\li{6}{7}\upright{7}{8}\downright{7}{9}\rightdown{8}{10}\rightup{9}{10}\rightup{10}{11}
\setcounter{rheme}{0}}
Then by deiteration we get
This, on substituting what a and b represent, becomes
By Rule II we can now put two ovals round 'rejects' and using only
the initial letters, and also not writing the regularity ?? which makes it needless
indicating their outermost points, we have |