Questions tagged [logicproof]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
1 answer
21 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.
user avatar
1 vote
1 answer
42 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 ...
user avatar
  • 121
1 vote
0 answers
37 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 ...
user avatar
  • 121
1 vote
2 answers
98 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 ...
user avatar
0 votes
0 answers
42 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 ...
user avatar
2 votes
0 answers
140 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/...
user avatar
  • 139
1 vote
1 answer
117 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 ...
user avatar
  • 11
2 votes
2 answers
223 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?
user avatar
  • 33
2 votes
1 answer
46 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: \...
user avatar
3 votes
1 answer
91 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 ...
user avatar
0 votes
1 answer
260 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 ...
user avatar
  • 3
1 vote
1 answer
149 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 ...
user avatar
0 votes
0 answers
39 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 ...
user avatar
  • 1
1 vote
1 answer
117 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 \\ ...
user avatar
  • 3,019
2 votes
1 answer
488 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{\...
user avatar
  • 3,019