Questions tagged [logicproof]
Questions about how to typeset proofs and rules of inference in the formal logical systems found in philosophy (symbolic/formal logic), mathematics (mathematical logic) and computer science. These must be laid out according to the rules of specific systems and highly structured. Packages include lplfitch, ebproof, bussproofs, prooftrees etc. The tag may also be useful for questions about proofs in metalanguages or involving semantic concepts.
28
questions
4
votes
3
answers
789
views
How can I write the following expression in LaTeX using the 'overset' and 'underset' tags? [duplicate]
How can I write the following expression in LaTeX? I want a solution specifically using overset and underset tags.
- 363
3
votes
1
answer
29
views
Modify lplfitch proof style
I this answer cfr gave macros for typesetting the proofs modifying lplfitch style.
\documentclass[12pt,a4paper]{article}
\usepackage{geometry}
\usepackage[russian]{babel}
\usepackage[fleqn]{amsmath}
\...
- 5,119
2
votes
1
answer
61
views
Proofs: numbered rows with vertical lines
The goal is to typeset the proofs for exercises in natural deduction.
Here is an example of a proof from the book:
Each row is numbered and consists of a formula and a comment. Also some formulas are ...
- 5,119
0
votes
1
answer
36
views
Ternary inferences in bussproofs or another prooftree package?
I'm wondering if you can do ternary inferences in bussproofs? If not, are there any other proof tree packages where you can do ternary inferences? It might be that I have to start drawing proof trees ...
- 1
2
votes
1
answer
63
views
How to adjust parent anchors so that they don't touch
I want to make my tree look like the default tree in the forest documentation, like below:
As you can see, there is some spacing between the edges, and their endpoints are not connected to each other.
...
- 23
0
votes
0
answers
27
views
How can I design with the bussproofs package a sequent calculus derivation of this form?
I don't know how to design a derivation of this form in bussproofs. Is it possible or do I need another package? I do not have problems with the sequents, I just do not know how to draw the triangles ...
- 11
2
votes
2
answers
210
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 ...
0
votes
2
answers
102
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 ...
- 3
1
vote
2
answers
132
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 ...
- 515
2
votes
2
answers
311
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]{...
user292998
0
votes
2
answers
177
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 ...
- 107
0
votes
2
answers
120
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
0
votes
3
answers
229
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!
1
vote
1
answer
177
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
225
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 ...
- 121
1
vote
0
answers
66
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 ...
- 121
1
vote
2
answers
240
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 ...
- 77
0
votes
0
answers
256
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
457
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/...
- 149
1
vote
1
answer
341
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 ...
- 11
2
votes
3
answers
466
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?
- 33
2
votes
1
answer
136
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
243
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 ...
- 51
0
votes
1
answer
701
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 ...
- 3
1
vote
1
answer
220
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 ...
- 238
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 ...
- 1
1
vote
1
answer
143
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 \\
...
- 4,355
2
votes
1
answer
685
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{\...
- 4,355