Begriffsschrift 제3부에 대한 프레게의 표기법

Begriffsschrift 제3부에 대한 프레게의 표기법

프레게의 표기법을 배치하는 데 도움이 되는 몇 가지 패키지를 제가 알고 있습니다.산술의 기본 법칙(Grundgesetze der Arithmetik): begriff, fge, grundgesetze. 그러나 이들 중 어느 것도 그가 3부에서 개발한 표기법을 처리하지 못하는 것 같습니다.Begriffsschrift(& 다음 동안 포기됨기본법). 아래와 같이 레이아웃하는 가장 좋은 방법이 무엇인지 알아 내려고 노력 중입니다.

여기에 이미지 설명을 입력하세요

어떤 권장 사항이 있습니까?

답변1

Begriffsschrift를 조판한 후에는 당신이 설명하는 문제도 해결해야 했습니다. 내 솔루션을 다음과 같은 패키지에 넣었습니다.G표기법 (알겠습니다. 가장 좋은 이름은 아닙니다.) CTAN에서 찾을 수 있습니다. 이는 "속성 F는 f-수열에서 유전적입니다"라는 기호를 조판할 뿐만 아니라 Begriffsschrift에서 프레게의 모든 표기법을 처리하는 데에도 사용할 수 있습니다.

TUGboat에서 내 기사를 살펴보세요.``Gottlob Frege의 `Begriffsschrift'를 일반 TeX로 조판.''

답변2

다음을 갖춘 간단한 솔루션 blkarray:

\documentclass[a4paper,12pt]{report}
\usepackage[utf8]{inputenc}
\usepackage{fourier}
\usepackage[x11names]{xcolor}
\usepackage{empheq}
\usepackage{blkarray}

\begin{document}
\[
    \makeatletter
    \BA@colsep=4pt
    \makeatother\begin{blockarray}{c(l}
  \alpha & F(\alpha )\\
  \rule[-1.5ex]{0.8pt}{3.5ex}\\
  \delta & f(\delta, \alpha )
  \end{blockarray} \]

\end{document} 

여기에 이미지 설명을 입력하세요

답변3

쌓아두세요!!

\documentclass{article}
\usepackage[usestackEOL]{stackengine}
\stackMath
\begin{document}
\[
\Centerstack{\alpha \\ \vert\\ \delta}
\biggl(
\Centerstack[l]{F(\alpha) \\ \\ f(\delta,\alpha)}
\]
\end{document}

여기에 이미지 설명을 입력하세요

답변4

간단한 해결책이지만 정렬에 문제가 있습니다. 어쩌면 그것을 개선하기 위해 다른 사람들과 결합할 수도 있습니다.

\documentclass[11pt,a4paper]{report}
\usepackage{amsmath,amssymb,amsfonts}
\DeclareMathOperator*{\foo}{\Big\vert}
\newcommand{\frege}[2]{\foo_{#2}^{#1} \Biggr(_{f(#1,#2)}^{F(#1)}}
\begin{document}
\[ \foo_{\delta}^{\alpha} \Biggr(_{f(\alpha,\delta)}^{F(\alpha)} \]

\[ \frege{\alpha}{\delta} \]
\end{document}

여기에 이미지 설명을 입력하세요

관련 정보