Questions tagged [logicproof]
The logicproof tag has no usage guidance.
15
questions
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.
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 ...
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 ...
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 ...
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 ...
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/...
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 ...
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?
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:
\...
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 ...
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 ...
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 ...
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 ...
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 \\
...
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{\...