Questions tagged [proof-package]
This tag is meant for packages to display and typeset proofs. This can be proof environments like being defined from `amsthm` with `\newtheorem` or more algorithm-like scenarios. The package `proof` is an example.
76
questions
6
votes
4answers
129 views
How do I reference a custom counter that shows the section number?
I am trying to use the proof environment that comes with the amsthm package. And I would like the proof environment to be numbered, such as the theorem environment for the sake of adding a label, so I ...
1
vote
1answer
17 views
Adapting a document to tglat2e style and its conflicts with amsthm and caption
I am trying to adapt my document to the tglat2e-style of this journal. Please take a look at this MWE:
\documentclass{tglat2e}
\let\proof\relax
\let\endproof\relax
%This trick is due to David ...
3
votes
2answers
267 views
Empty proof as standalone
I've made an empty proof as a joke (the worst kind of visual proof). It works fine when I use the article document class,
\documentclass{article}
\usepackage{amsthm}
\begin{document}
\begin{proof}
\...
0
votes
1answer
47 views
Horizontal space within proof
I am typesetting a few proofs in LaTeX that have multiple cases, and sometimes I wish to indent each case to make my proof clearer (with about the same amount of horizontal space as a \qquad).
I have ...
0
votes
0answers
31 views
Scaling Box for Exercises
I've been using the following code to include numbered exercises in a book I'm writing using the amsbook class:
\newcounter{exercise}
\newsavebox{\mybox}
\newenvironment{exercise}
{\...
0
votes
1answer
26 views
Package lplfitch and “Overfull \hbox”
I get a huge lot of Overfull \hbox using Fitch diagrams, package lplfitch. MWE:
\documentclass{article}
\usepackage{graphicx}
\usepackage{lplfitch}
\begin{document}
\begin{figure}
\noindent\fitchprf{...
0
votes
1answer
42 views
How can I write a “definition” like this?
The theorem of the picture is written in bold, I mean: Theorem 1.2 (Pythagorean theorem). I want to write a definition with that format. Also, it would be better if it's written with small capitals. ...
2
votes
1answer
52 views
Square at the end of proof without “proof” at the beginning
I'm writing a paper and I would like to have a square at the end of each proof without having the "Proof." that comes automatically with the
\begin{proof}
...
\end{proof}
thing because I don't want ...
2
votes
1answer
118 views
Define double environments
TLDR; How can I define a "double" environment like in theorems/proofs (with an optional proof)?
I'm defining a small library that is supposed to behave more or less like theorems/proof environments (...
2
votes
1answer
122 views
Ultimate proof at the end/in appendix: different sections, with references to proof/theorem, restate, and synctex
I saw lot's of different posts/answers to put the proof at the end, but none of them fully convince me. Indeed, I'd like to have the following:
a way to put the proofs in different sections: some ...
2
votes
1answer
21 views
Proof environment with long header causes many problems. How to avoid them?
Suppose we have defined a lemma environment with the amstheorem package. And suppose the proof environment is available via the ams packages. Please consider this example.
\begin{lemma}
\label{lem:...
4
votes
1answer
78 views
prooftrees tree nodes on different line
While trying to write a tableaux proof tree with prooftrees, I had some difficulty with putting single and branching nodes on the same line.
\documentclass{article}
\usepackage{prooftrees}
\begin{...
1
vote
2answers
57 views
In the proof (see picture), Similarly line is not aligned. How can I align this line?
Code:
\begin{proof}
$
\begin{align*}
T(1) &= \theta(1),
\\T(0) &= \theta(1),
\\T(n) &= T(n-1)+T(n-2)+\theta(1) &&n\geq2
\\T(n) &= T(n-1)+T(n-2)+c ...
1
vote
0answers
117 views
apxproof changing appendix title
I need to use the apxprrof package because i have proofs that I want to show only in the appendix and this package does exactly what I need.
However, I also need to place some tables (not all) in the ...
2
votes
0answers
131 views
how do I display very large proof trees (bussproofs, ebproofs, tikz's tree library)
I am looking at different options to typeset proof trees. I have asked a more general question and run into some issues. In particular I am trying to understand how to display very large proof trees, ...
0
votes
1answer
725 views
Problem with proof environment
I've written a proof in LaTeX, and I looked up how to use the proof environment. From what I read, it should start with "Proof:" and end with \qed, but the PDF shows no changes. It simply displays the ...
1
vote
1answer
98 views
\resizebox within \begin{align}… \end{align} not working while using \intertext{
I have some very wide equations within a proof environment which I want to contain in a two-column document, I thus think of using \resizebox{1.3\columnwidth}{!}{% to archive that generate this error ...
0
votes
1answer
40 views
Aligning all the equations but not aligning texts within a 2 column-proof environment while?
I need you help me with hacks or tricks to include my MWE in a two-column page with the proof environment with its mathematical being aligned and also consist texts for explanation. The problem is ...
2
votes
2answers
99 views
Equation number within proof environment while aligning all the equations?
I know equation numbering is possible in a proof environment, as shown below in MWE1:
\documentclass[12pt,a4paper]{article}
\usepackage[latin1]{inputenc}
\usepackage{amsmath}
\usepackage{amsthm}
\...
1
vote
1answer
162 views
Using the apxproof package and \newtheoreprep, my theorems don't show up in the appendix.
Problem
A theorem environment was defined with apxproof's \newtheoremrep command. The theorem however, doesn't show up in the appendix, and neither does the subsequent \proof as claimed by the ...
2
votes
0answers
160 views
\begin{proof} and \begin{problem} don't work in new section
I've encountered with the following problem. So in my document, I defined the new theorem environment problem, using the following preamble codes
\theoremstyle{plain}
\newtheorem{eg}[theorem]{Example}...
2
votes
2answers
354 views
Writing a natural deduction proof in Latex
I have checked the other questions, before anyone asks, but the style of proof appears to be subtly different and I would be expected to stick to the convention that I am using.
My question is how to ...
0
votes
0answers
58 views
Distinguishing parts of a proof
Suppose I have a theorem that says that three statements are equivalent. When writing out a proof of such a theorem, I like to use the following formatting:
Proof: (͟1͟)͟ ͟=͟>͟ ͟(͟2͟)͟ | *proof ...
0
votes
1answer
78 views
Manually set line numbers if prooftrees.sty?
Is it possible to manually set the line number in a prooftrees tableau? Or suppress the line numbers for an individual line? I'd like to have something like
1 A_1
\vdots
n A_n
produced perhaps ...
4
votes
1answer
365 views
ebproof undefined control sequence \hypo
I'm trying to use the ebproof package with the following MWE:
\documentclass[12pt, letterpaper]{report}
\usepackage[utf8]{inputenc}
\usepackage{ebproof}
\begin{document}
\begin{prooftree}
\hypo{...
1
vote
1answer
47 views
Can't use some commands in repeated theorem name when using apxproof
For some reason I can't use some commands, such as \def in the name of a theorem when using apxproof's repeated theorems. And I can't understand why. It does not seem to be related to the fact that ...
5
votes
3answers
3k views
How to Align Equations in the Align and Proof Environment
I wrote the following proof. I used the following code and it resulted in the following output:
\begin{proof}
\[S_n = \frac{a(1-r^n)}{1-r}\]
\begin{align*}
\lim _{n\to \infty} S_n &= \lim _{n\...
1
vote
1answer
73 views
prooftrees.sty: How can I number individual expressions rather than whole lines?
Using prooftrees.sty (https://ctan.org/pkg/prooftrees), is there an option or hack to obtain a line numbering scheme different from the default one?
I would like to format truth trees that match the ...
1
vote
1answer
333 views
`enumerate` v.s. `\item[label]` in proof environment
When I want to enumerate in the proof environment I usually use the command enumerate or \item[label].
The first one seems very nice as it counting automatically. However, it is also a trouble when ...
1
vote
1answer
105 views
Centering the “prooftrees.sty” trees
Is it possible to overlap the center of the node containing the first premiss of proof trees like the ones in the MWE with the vertical center of the page?
Here is the MWE:
\documentclass[openany,...
1
vote
1answer
158 views
Creating a specific kind of tree diagram
I'm trying to create a tree diagram for logic. I've used syntax trees before to do normal truth trees for logic. The trees I'm trying to create, however, don't look like syntax trees. They look like ...
0
votes
0answers
95 views
How to write a full CCS Derivation
I'm taking a course in modelling of concurrent systems, and the course uses CCS. I'm trying to write out full derivations for some homework problems, but I'm still relatively new to LaTeX. For a ...
2
votes
2answers
115 views
Why is prooftrees putting everything on the same line?
I'm trying to do a prooftrees tree like this:
\documentclass[letterpaper, 12pt]{article}
\usepackage{prooftrees}
\begin{document}
\begin{prooftree}
{
to prove={ A \lor B \lor C \lor D \lor E }
}
...
2
votes
2answers
160 views
Document class not recognized and an issue with the theorem and proof
What am I doing wrong?
\documentclass{amsart}
\usepackage{amssymb,amsmath,latexsym,times,color}
\newtheorem*{theorem*}{Theorem}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}
\...
0
votes
0answers
90 views
Is there an equivalent to the cases environment for proofs?
The cases environment is nice for displaying equations with multiple cases and short descriptions, but it is awkward for displaying proofs with multi-paragraph cases. Is there an equivalent set of ...
1
vote
0answers
47 views
How to customize the proof name without affecting the \qed positioning?
everybody.
I need to customize the proof name as "Demostración" underlined and with a linebreak after that proof name. I have tried with these codes. I'm going to tell you what I got with each one ...
1
vote
1answer
697 views
QED symbol at end of special proof environment?
This is a follow up question to: Proof titles with ntheorem
But since the original answer-er has not been seen for a month, I'd like to ask a wider community of people.
How do you add a QED symbol ...
0
votes
1answer
250 views
Minimal WYSIWYG processor for Fitch-style Proofs with LaTeX backend
I'm not sure whether this is a better fit for TeX.SE or Stackoverflow, but given that it's mostly TeX-centric, I figured the TeX hive mind here would be the best fit.
I'd like to have a GUI document ...
1
vote
1answer
227 views
Unusual bussproofs derivation
I'm trying to typeset proofs like these in bussproofs (to keep them consistent with the rest of my proofs) but I can't figure out a good way to do so:
I've tried using various combinations of \...
4
votes
1answer
4k views
Write hypothesis for inference rules with proof package
I want to write inference rules like this one: where the hypothesis for C are not stated as a sequent depending on a set of hypothesis but with brackets []. This is as far as I got:
\documentclass[...
3
votes
1answer
163 views
What is a proper context to write such proof by case style?
I am writing some proofs in latex and currently I would like to follow the standard procedure to organize my proofs in the following way:
I know how to use the latex math mode, as well as some ...
1
vote
2answers
125 views
Pause in beamer in the middle of an infer from the proof package
I have this code
\documentclass{beamer}
\usepackage{proof}
\begin{document}
\frame{
\[
\infer{\textrm{conclusion}}
{
\infer{\textrm{intermediate conclusion}}
{\textrm{premises}}
...
1
vote
1answer
123 views
ebproofs Help: Proving Constructive Dilemma
Okay, I'm trying to prove the constructive dilemma:
\{p\lor q, p\to r, q\to r\} \vdash r
And I was attempting a proof tree for it in ebproofs and it is giving me some problems.
My code looks like ...
7
votes
4answers
1k views
How to create a proof tree with LaTeX?
How can I realize this proof tree in LaTeX?
Does anyone have an idea how to achieve this?
0
votes
1answer
87 views
How can I fit natural deduction trees nicely into enumerate?
Here's my code with \usepackage{proof}:
\begin{enumerate}[label=\alph*)]
\item\infer[\to\text{\tiny\textbf{I}$_1$}]
{(A\land B)\to A}
{\infer[\land\text{\tiny\textbf{E}}]
{A}
{[A\land B]^1}
}...
3
votes
1answer
214 views
Problem with proof enviroment
I have a problem with the proof enviroment.
I'm writing my thesis in german, so the name for the proof enviroment should be Beweis and when I look online everybody says it will do that automatically.
...
1
vote
1answer
165 views
Shorten scope line in LPLFitch proof
So I'm trying to typeset Fitch-style proofs. The systems I'm using doesn't require there to be any line after the end of a subproof. LPLFitch seems to assume something like that, though, since it ...
1
vote
0answers
81 views
How can i define proof environment? [duplicate]
I need something like proof environment from amsthm, but with word "důkaz" (proof in my language) at start of environment. How can I define such environment?
Thanks for help.
0
votes
2answers
463 views
How to edit “begin{proof}”
How to edit the begin{proof} to show "Demonstração" instead of "Proof."? I don't want use newtheorem{dem}{Demonstração} because I want the blacksquare in the end.
3
votes
2answers
138 views
Clickable cross-references to deduction labels
I'm using the package proof for drawing deductions. The package supports labels. However, I'd like to have clickable cross-references to them. Is this possible? Note that I want the label to be a ...
