Questions tagged [logicproof]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
2 answers
165 views

disjunction-elimination subproof boxes LaTeX

How can I write subproofs side-by-side inside a logicproof environment in LaTeX like the one provided in the picture? This type of proof is used when using disjunction-elimination laws in ...
Mahdi Soleimani's user avatar
0 votes
2 answers
51 views

Vertical Alignment in Proof Tree

I have tried a few packages to align inference rules but I have not figured out how to avoid the following problem. My proof tree looks like this: A ------------------------- B ...
Hanna 's user avatar
1 vote
2 answers
111 views

How can I typeset a Copi-style proof?

How can I typeset a proof in this style? That is, how can I write proofs with three columns, the first numbering the premise or assertion, the second containing the premise or assertion itself, and ...
Noah J's user avatar
  • 515
2 votes
2 answers
205 views

How to center an \inference* rule from mathpartir properly

Continuing http://tex.stackexchange.com/a/656192, how to center the inference rules carrying names or side conditions in the scope of \[…\] in narrow columns? For example, \documentclass[twocolumn]{...
user avatar
0 votes
2 answers
130 views

Is there an easy way to draw logic trees in LaTex?

I take introductory logic and we need to draw logic trees. Our teacher doesn't accept any kind of numbering placement other than his. So I searched how-tos but I didn't see an exact version of it and ...
berinovski's user avatar
0 votes
2 answers
96 views

Relatively new to Latex, wondering what the easiest way to format a problem such as this?

I have been using hspace to space things out, but it's really tedious to get it lined up correctly and there's no way that is the best way lol
SomberTheScrub's user avatar
0 votes
3 answers
137 views

How can I change the proofname to bold?

I changed the proofname using \renewcommand{\proofname}{Demonstração:} but I want the name "Demonstração" in a bold font. How Can I do it? Please!
Cícero Hitzschky's user avatar
1 vote
1 answer
152 views

Multiple inference rules aligned

I'm trying to write several inference rules aligned like this but I've run into some difficulties and haven't found a suitable way to do it. Any ideas ? Thanks for your help.
Yann-Arthus Pilgrim's user avatar
1 vote
1 answer
192 views

Fitch Natural Deduction with Beamer

I am building a presentation using Beamer and the Fitch Natural Deduction package by Selinger. I am trying to use the \onslide command. For some reason it doesn't work when I follow the syntax and use ...
Cantor's user avatar
  • 121
1 vote
0 answers
57 views

Animation of Logical and Mathematical Proofs [closed]

I have 2 questions regarding animations of mathematical proofs: I know that one can create a presentation using the Beamer package. I would also like to use animations. Is there an option to present ...
Cantor's user avatar
  • 121
1 vote
2 answers
210 views

Transitional semantics for a process algebra on LaTeX

As posted in the title, I'm struggling to find out a way to write the following transitional semantics on LaTeX for a master thesis. Anyone can help me? Edit 1: As suggested in the comment, I've ...
VitoShade's user avatar
0 votes
0 answers
214 views

How can I install a package from a code like the code in the picture?

I am trying to use a package for natural deduction, this is fitch.sty. So, I wrote in Text Maker before "\begin{document}" the following: "\usepackage{fitch}". But the an error ...
Marco Uriel Medina Mandujano's user avatar
2 votes
0 answers
415 views

Good-looking logic derivation

I'm doing derivations for a logic class and I'd like my diagrams to look something like this: Here is my attempt with the natded package: \documentclass{article} % https://mirrors.rit.edu/CTAN/...
Jason1923's user avatar
  • 149
1 vote
1 answer
302 views

How to have line breaks in logic proofs?

I am currently trying to find a way to have line breaks in a logic proof. I have several proofs that are too long and are cut off by the edge of the page. Ideally I'm looking for a way to make the ...
Beesha's user avatar
  • 11
2 votes
3 answers
432 views

Logical conditional proof (c.p.) arrows

How can I write down that line from horizontal, then vertical and with an arrow pointing at argument 2?
mao2047's user avatar
  • 33
2 votes
1 answer
122 views

Logicproof Package and Axiomatic proof, issues with Layout

I am using the logicproof package in order to write proof in axiomatic style. The problem is that, if a line of the proof is too long, the whole block exceeds page margins. Here is a the code: \...
leonardo catalano's user avatar
3 votes
1 answer
210 views

Does anyone know how to do these dots (gaps) in bussproofs?

I'm trying to do something similar to the proof in picture where there is a gap in the steps of the proof. I tried bussproofs-extra package, but it doesn't let me make the dots from two inferences to ...
Rashed Ahmad's user avatar
0 votes
1 answer
611 views

Rules of Inference aligning on latex document

Hi I'm trying to write a neat step by step description of rules of inference just like the picture below It seems like there are 3 columns and on each column it is center aligned. Is this form just ...
Aesop's user avatar
  • 3
1 vote
1 answer
208 views

Graphically closing hypothesis in formal logic

I am writing some notes for my students. I am facing a small problem. I want to write down some examples of formal logic in which open hypothesis are closed at some point, which is graphically ...
vitaminace33's user avatar
0 votes
0 answers
42 views

Using \equiv causes my font to become italicized and doesn't allow spacing [duplicate]

I am trying to write a logic equation with symbols and when I use \equiv everything afterwards is italics and does not allow spacing, even if I go to a new line. Example: p \to q \equiv \lnot q \to ...
pechs's user avatar
  • 1
1 vote
1 answer
138 views

How to make logicproof do page break automatically?

A minimal working sample is as follows: \documentclass{article} \usepackage{lipsum} \usepackage{logicproof} \begin{document} \lipsum[1] \begin{logicproof}{0} statement & justification \\ ...
M. Logic's user avatar
  • 4,115
2 votes
1 answer
658 views

How to make the lines numbers of logic proofs be added paratheses?

A MWE is as follows: \documentclass{article} \usepackage{amsmath,amsfonts,amssymb} \usepackage{logicproof} \usepackage{etoolbox} %%%make logic proof lines ragged left%%%%%%%%%%%%%%%%%%% \patchcmd{\...
M. Logic's user avatar
  • 4,115