TeX - LaTeX Stack Exchange
TeX - LaTeX Stack Exchange

Questions tagged [logic]

for subject-specific typesetting involving logic notation.

LaTeX is especially well-suited to typesetting logic texts, since logic notations include several complex, specialised formalisms such as proof trees that are better supported in LaTeX than other document preparation systems.

Resources

Peter Smith's Logic for Logicians is both comprehensive and has paid attention to keeping its content up-to-date.

238 questions
9
votes
2 answers

Fitch-Style Predicate Logic Proof

I've been attempting to typeset some predicate logic proofs in the style of Huth and Ryan, and I'm having trouble determining how to display declared variables in the same format. Below is an example of one of these proofs. I've been using the…
Nuclear Whiskers
  • 91
8
votes
5 answers

Frege's Notation for Part III of the Begriffsschrift

There are a couple packages I know of for helping one to lay out Frege's notation, with a focus on that in Basic Laws of Arithmetic (Grundgesetze der Arithmetik): begriff, fge, grundgesetze. However, it seems that none of these handle the notation…
Bob Offer-Westort
  • 111
5
votes
1 answer

Left-aligned logicproof

I'm typesetting a natural deduction proof. These consist of several numbered statements along with justifications. I'm using the logicproof package, and a minimal example looks something like…
Adam Williams
  • 426
4
votes
1 answer

Overline over a whitespace

I'm defining a boolean algebra in latex and I need to overline a whitespace to introduce the NOT operator. This is the latex code I used $$\mathcal{A} = (\mathcal{B},+,\cdot, \overline{ })$$ The problem is that instead of showing an overlined…
Gerardo Zinno
  • 265
3
votes
2 answers

How to reproduce this logic circuit ? with tikz

I don't have any idea how to reproduce this logic circuit (in picture at the end). I know I can use circuitikz package, but it's difficult to align correctly everything. Is it possible to help me ? Thanks a lot. New : \begin{circuitikz}[label…
Dominik Fugere
  • 41
3
votes
1 answer

changing the logic symbols in lplfitch.sty

I'm using lplfitch.sty to produce Fitch-style natural deduction proofs. I want to use different symbols from the ones that are predefined. Specifically, I want to use \sim instead of \neg for negation, and \supset instead of \rightarrow for the…
Ruby
  • 939
3
votes
1 answer

lplfitch package : Add line numbering on the left

I am using the package lplfitch to typeset natural deduction proofs in Fitch style. I would like to number the lines on the left side of the vertical bar instead of on the left of the formula? Schematically, here is what I'd like to get: 1. | …
Luc M
  • 675
3
votes
1 answer

lemmon style proof for logic

Does exist a package for Lemmon style proof in Logic? something like: http://logik.phl.univie.ac.at/~chris/gateway/formular-uk-bau.html thanks
lalessandro
  • 651
2
votes
1 answer

How do I draw a margin that also is attached to a short rule?

I'm working on a logic assignment, and I'm supposed to use LaTeX. In the assignments, I often need to be able to write something like what's below. I know how to do the table it's showing, but not bars, especially when there are in-lined proofs.…
BrainFRZ
  • 21
2
votes
2 answers

Natural deduction LaTeX

What is the way to write a proof like the one in the image? I know how to write all the symbols, but I don't know how to make the rectangle and write like a table. I used this webpage: https://www.tablesgenerator.com/, but I don't like how it…
Mystery
  • 123
2
votes
2 answers

How to typeset Jean-Yves Girards "fu" and "wo"?

How would I typeset Jean-Yves Girards fu and wo in TeX? Or maybe there are some Unicodes for it? http://girard.perso.math.cnrs.fr/logique2.0.pdf
user8689
2
votes
2 answers

Inferences with time stamped steps

What I am trying to achieve is the following: What would be the proper way of achieving the desired output?
BitRiver
  • 143
1
vote
2 answers

LaTex math mode coding

This is my code, in \begin{align*} why am I getting an error saying I'm missing a $? \begin{document} %% \begin{proof*} \begin{align*} 1.\; & (p \land q \rightarrow r, u \rightarrow \lnot r, u \land q) &&\aside{Premise}\\ 2.\; & p \land q…
Harper
  • 11
1
vote
1 answer

How to type and read the symbol '||-'

I've met the symbol ||- many times in modal logic textbooks, especially in epistemic logic books. But I cannot find any info about how to type or read it. Usually, it means "semantical entailment" or "modelling" in modal logic. But in first-order…
user204386
1
vote
1 answer

Natural Deduction with Latex

I am new to Latex and I would like to do natural deduction. I know there are many resources on internet and it has been mentioned here a lot too, but I have not been able to find a convenient, easy-to-use package or any other method for doing…
Rob
  • 187
1
2