लाटेक्स

Question

में लॉजिक सबूत टाइप करना मैं लाटेक्स में कुछ बुनियादी तर्क प्रमाण टाइप करने की कोशिश कर रहा हूं। मुझे एक से अधिक कॉलम लेआउट की आवश्यकता है, और मुझे दाईं ओर क्रमांकित लाइनों की आवश्यकता है। मैं प्रत्येक सबूत के लिए संख्या को रीसेट करना चाहता हूं। उत्पादन इस तरह दिखना चाहिए:

1) (x)¬F  A 

2) (Ex)F 

3) ... 

यह करने के लिए सबसे आसान तरीका क्या है? गणना एक अच्छा विचार प्रतीत नहीं होता है, क्योंकि यह एकाधिक कॉलम चीजों को पसंद नहीं करेगा। मुझे गणित में भी सब कुछ चाहिए।

क्या ऐसा करने का कोई आसान तरीका है?

[संपादित करें] यहां तक ​​कि मैंने अभी तक ऐसा करने में कामयाब रहा है, लेकिन यह सुरुचिपूर्ण से बहुत दूर है।

\begin{minipage}{\linewidth} 
\boldmath \center{$ \forall x \neg F \to \neg \exists x F $} \unboldmath 

\begin{math} 
    \begin{array}{llr} 
    1. &\forall x \neg F & \\ 
    2. &\exists x F & A \\ 
    3. &F[\alpha/x ] & ES 2 \\ 
    4. &\neg F[\alpha/x] & US \\ 
    5. &\exists x F \to F[\alpha/x ] & CP 2,4 \\ 
    6. &\neg \exists x F & TI 4,5 
    \end{array} 
\end{math} 
\end{minipage} 

आदर्श रूप में मैं कुछ है कि स्वचालित रूप से संख्या चरणों चाहते हैं और बाहर बनाता है "शीर्षक" लाइन आसान ...

Answer 1

फिच-स्टाइल सबूत here के लिए पैकेज देखें। आपको बस किसी भी सबप्रूफ की आवश्यकता नहीं है। LaTeX for Logicians में अन्य सबूत शैलियों, तार्किक प्रतीकों, आदि शामिल हैं

Answer 2

चेक amsmath पैकेज प्रलेखन के section 3.6।

Answer 3

क्षमा करें, अब \ LaTeX कंपाइलर नहीं है, इसलिए मेरा कोड संकलित नहीं हो सकता है या मूर्खतापूर्ण गलतियां हो सकती हैं। , तब

\newcount\logicproofline 

आप एक आदेश की जरूरत है इसे शुरू करने के:

आप अपने लाइनों के लिए एक नया काउंटर की जरूरत अब

\def\proofline#1{ 
    \global\advance\logicproofline by 1 
    \shoveright{\text{\the\logicproofline}\qquad#1} 
} 

, आप proof को फिर से परिभाषित करने के लिए अपने काउंटर रीसेट करने की आवश्यकता होगी:

\AtBeginDocument{ 
    \let\myoldproof=\proof 
    \def\proof{\myoldproof\logicproofline=0\relax} 
} 

परिभाषा क्योंकि सबूत के साथ संबद्ध नहीं है की जरूरत है कोई काउंटर, इसलिए हम उसे एक मास्टर काउंटर नहीं बना सकते हैं।

Answer 4

\newcount\mycount 
\def\nextnum{\global\advance\mycount 1 \the\mycount.} 
\def\logicx#1{\halign{$\nextnum##$\quad \hfil&$##$\hfil 
     &\qquad\hfil##\crcr#1\crcr}\endgroup} 
\def\logic{\begingroup \global\mycount 0 \let\\\cr \logicx} 

\logic{ 
    &\forall x \neg F & \\ 
    &\exists x F & A \\ 
    &F[\alpha/x ] & ES 2 \\ 
    &\neg F[\alpha/x] & US \\ 
    &\exists x F \to F[\alpha/x ] & CP 2,4 \\ 
    &\neg \exists x F & TI 4,5 \\ 
}