TeX - LaTeX Stack Exchange
TeX - LaTeX Stack Exchange

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.

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.

151 questions
6
votes
3 answers

Quantification in the infer command of the proof package

I'm trying to write this inference rule using the infer command of the proof package: For that I'm using the command: $\infer{s = s'}{% R \subseteq A^{\omega} \times A^{\omega} & R \; s \; s' & \forall s_1, s_2.…
user1868607
  • 601
5
votes
1 answer

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 text verbatim. What could be the cause of this?…
user83024
  • 121
3
votes
1 answer

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 the "Proof" to be in italic, and I want two dots…
user
  • 133
3
votes
1 answer

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. But in my case it doesn't it always says Proof:…
Naro
  • 71
2
votes
2 answers

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 create a proof in Latex like the one in the image…
Daniel Soutar
  • 123
2
votes
1 answer

How do you make \Rightarrow and \Leftarrow aligned parallel under \begin{proof}?

Here is what I'm trying to type. \begin{proof} \begin{enumerate} \item[$\Rightarrow$] bla bla bla \item[$\Leftarrow$] bla bla bla \end{enumerate} \end{proof} But, if I try that, I can't get $\Rightarrow$ and $\Leftarrow$ parallel to make them…
User
  • 241
1
vote
1 answer

How to represent QED (not as a box!) the way Tim Roughgarden did?

I'm trying to write QED as written in the image below. I searched the entire palette in the latexit application but couldn't find any. I tried \textit{QED} but that is just QED in italics. Anyone know how to do this?
dr.drizzy
  • 111
1
vote
1 answer

How to modify the proof-environment

I wonder if it's possible to make the QED symbol in the proof environment clickable, to redirect to some given website. Concretely, the syntax would be something like this: \begin{proof}[Sketch of the Proof.][url="..."] . . . \end{proof}
Jonathan Prieto-Cubides
  • 337
1
vote
0 answers

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 and what I couldn't…
Fabio
  • 197
1
vote
1 answer

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 this: \begin{prooftree} \Hypo{\neg r} \Hypo{p\to r}…
Osama Kawish
  • 509
1
vote
1 answer

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 always adds a line beneath the subproof -- extending…
Dennis
  • 3,855
0
votes
2 answers

Missing } inserted. \end{proof}

I get a bunch of errors telling me: line 417: Missing { inserted. \end{proof} line 417: Missing } inserted. \end{proof} line 426: Missing { inserted. \end{proof} line 426: Missing } inserted. \end{proof} line 439: Missing { inserted.…
qyx
  • 1
0
votes
0 answers

I get an error when I use proof environment

I am writing a paper using the Journal of Physics Conference Series's template which can be obtained through this link: https://drive.google.com/drive/folders/17dfkKChHJOHbx1HT-uVMZsA41l2IthiW I get an error whenever I want to use the proof…
Amirul Aizad
  • 977
  • 7
  • 18
0
votes
0 answers

Seeking a Good Latex Package for Formal Proof in Mathematics

In most textbooks and theoretical papers, proofs are presented in natural language. Although it is impossible to present proofs in pure object language in our daily writing, presenting proofs line by line with clear indication of rule of inference…
Ziqi Fan
  • 115
0
votes
1 answer

need a square sign the same size as proof's environment square

There is a square sign in the end of proof environment. I proved something outside of proof environment. Because I had to have 'Proof of Theorem 3', I need to put a square as the same size as proof square. this \square is too small. any solution?
user9272398
  • 483
1
2