summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/begriff/examples.tex
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/begriff/examples.tex')
-rw-r--r--macros/latex/contrib/begriff/examples.tex85
1 files changed, 85 insertions, 0 deletions
diff --git a/macros/latex/contrib/begriff/examples.tex b/macros/latex/contrib/begriff/examples.tex
new file mode 100644
index 0000000000..413db69be7
--- /dev/null
+++ b/macros/latex/contrib/begriff/examples.tex
@@ -0,0 +1,85 @@
+\documentclass[a4paper,10pt,twoside]{article}
+\usepackage{a4wide,amssymb,begriff}
+
+\title{Begriffsschrift examples}
+\author{Josh Parsons}
+\parindent0pt
+
+\setlength{\BGthickness}{1pt}
+
+\begin{document}
+\maketitle
+
+if p then q:
+
+$$\BGassert\BGconditional{p}{q}$$
+
+and with a content stroke instead of assertion:
+
+$$f\BGbracket{\BGcontent\BGconditional{p}{q}}$$
+
+from Frege's correspondence with Russell (a version of basic law V):
+
+$$
+\BGassert (\acute{\epsilon}f(\epsilon) = \acute{\alpha}g(\alpha)) =
+\BGquant{\mathfrak{a}}
+\BGbracket{\BGconditional{
+ \BGnot\BGconditional{
+ \BGnot\mathfrak{a}=\acute{\alpha}g(\alpha)
+ }{
+ \mathfrak{a}=\acute{\epsilon}f(\epsilon)
+ }
+}
+{f(\mathfrak{a}) = g(\mathfrak{a})}}
+$$
+
+\setlength{\BGlinewidth}{2.6in}
+
+from Russell's correspondence with Frege:
+
+$$
+\BGstem{T=\acute{\beta}\acute{\gamma}}
+\BGnot\BGquant{\varphi}
+\BGconditional
+{\BGterm{\gamma = \acute{\alpha}\acute{\epsilon}\varphi(\alpha,\epsilon)}}
+{\BGconditional
+ {\BGterm{\beta = \acute{\alpha}\acute{\epsilon}\varphi(\alpha,\epsilon)}}
+ {\BGterm{\varphi(\beta,\gamma)}}
+}
+$$
+
+the Geach-Kaplan sentence (thanks to Marcus Rossberg):
+
+$$
+\BGnot \BGquant{\mathfrak{F}}%
+\BGconditional{
+ \BGquant{\mathfrak{c}}\BGquant{\mathfrak{d}}
+ \BGconditional{
+ \BGnot
+ \BGconditional{
+ \BGterm{A(\mathfrak{c},\mathfrak{d})}
+ }{
+ \BGnot \BGterm{\mathfrak{F}(\mathfrak{c})}}
+ }{
+ \BGnot \BGconditional{
+ \BGterm{\mathfrak{F}(\mathfrak{d})}
+ }{
+ \BGterm{\mathfrak{c}=\mathfrak{d}}
+ }
+ }
+}{
+ \BGconditional{
+ \BGnot\BGquant{\mathfrak{b}}\BGnot\BGterm{\mathfrak{F}(\mathfrak{b})}
+ }{
+ \BGterm{f \BGbracket{\BGquant{\mathfrak{a}} \BGconditional{
+ \mathfrak{F}(\mathfrak{a})
+ }{
+ C(\mathfrak{a})
+ }}}
+ }
+}
+$$
+
+That's all folks
+
+\end{document}