Skip to main content
The 2024 Developer Survey results are live! See the results

Questions tagged [logic]

for subject-specific typesetting involving logic notation.

Filter by
Sorted by
Tagged with
3 votes
2 answers
169 views

Can´t use fbox with prooftree

Why do I get an error when I try fo use \fbox around a prooftree? Removing the \fbox works fine. Bussproofs is not compatible with \fbox? Thanks in advance, Marcus. \documentclass {scrbook} \...
Marcus's user avatar
  • 259
0 votes
1 answer
18 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 ...
JoD17's user avatar
  • 1
2 votes
1 answer
36 views

Vertical spacing issue with tikz and bussproofs

I'd like to remove the unnecessary vertical space above the bussproofs derivation (or below the tikz picture). For some reason, putting a frame around the \DisplayProof command erases the unwanted ...
Lele99_DD's user avatar
  • 610
2 votes
1 answer
59 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. ...
l0uis's user avatar
  • 23
0 votes
0 answers
41 views

what is this symbol called and how can it be rendered in latex [duplicate]

I have attached an image of the symbol below. The author uses it to generally denote any mathematical theory.
Morgan's user avatar
  • 1
0 votes
0 answers
26 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 ...
Angelo 's user avatar
0 votes
0 answers
32 views

What is the Latex code for the logical connective for XOR? [duplicate]

What is the Latex code for exclusive disjunction? I tried \lxor but it didn't work.
lee pappas's user avatar
0 votes
1 answer
57 views

What are the latex codes for logical connectives for and, or? [duplicate]

I want to write the symbols for 'and', and 'or'. What are they in Latex?
lee pappas's user avatar
0 votes
0 answers
79 views

How can I type these symbols in LaTeX on Hinman's mathematical logic?

On my textbook The Fundamentals of Mathematical Logic, I can't produce the symbols below. I tried Detexify and the best formula that I can type is: \vDash_{\!\!\!_\mathfrak{A}} . How can I type this ...
Zequan Bear's user avatar
0 votes
0 answers
65 views

Inference rule on LaTeX

Hi! I’m new to LaTeX and I’ve been trying to accomplish the inference rule that I show in the picture. Can someone help me do it? Not the demonstration, I want the code for the inference rule in my ...
Fishy Rojo's user avatar
1 vote
1 answer
88 views

Symbol for an admissible rule in logic [duplicate]

Could you please help me find a specific symbol (see the picture below) for an admissible rule in mathamatical logic? We can write for it |\!\!\!\sim, but I want the vertical dash to be the same size ...
lnv619's user avatar
  • 13
2 votes
2 answers
202 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
2 votes
1 answer
81 views

Shading parts of fitch-style natural deduction proofs

I'm using the fitch package (the one written by Prof. Selinger and is now maintained, I believe, by Richard Zach) for pedagogical purposes -- as I suspect many people do. It would be helpful to be ...
Bernhard's user avatar
  • 1,278
0 votes
1 answer
82 views

Alignment of truth values with connectives in truth table

I want to typeset a truth table where the truth values of a complex formula are aligned with the corresponding connectives as shown in the attachment. Would someone know a solution? Thanks in advance!
pahohu's user avatar
  • 229
0 votes
2 answers
91 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
3 votes
2 answers
447 views

Consistent way to typeset modality symbols

In logic, modalities are often represented by a geometric symbol before a proposition, where the choice of the shape is strongly determined by tradition. amsfonts and amssymb provides various symbols ...
Trebor's user avatar
  • 287
2 votes
2 answers
109 views

Conjunction in truth trees

while we are creating truth trees we use something called "hook" to write conjunctions instead of simply writing them line by line. I don't know if it is called something else in English. I ...
arkh3us's user avatar
  • 45
1 vote
1 answer
99 views

Stacked hypothesis in ebproof

I am trying to write a proof tree using the ebproof package. I have a long list of predicates most of which are short but one is really long e.g.: \begin{prooftree} \hypo{h_0} \hypo{h_1} \...
AltF4's user avatar
  • 75
2 votes
1 answer
83 views

Creating Logic Trees to be Exported to Word

I'm trying to typeset a book on logic which will be published soon. It contains a lot of logic trees, truth tables etc. The problem is publisher wants it to be Word file, therefore I can't get the ...
arkh3us's user avatar
  • 45
2 votes
1 answer
74 views

Indented vertical lines in list, (as seen in 99 Variations on a Proof by P. Ording)

I'd like to replicate this: I'm having trouble with the indented vertical line, everything else is just a list, I think. I tried a couple of leftbar and lists environments; but leftbar is not ...
Lisica's user avatar
  • 21
1 vote
2 answers
126 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
0 votes
2 answers
78 views

Use Circle of Output Negation for Input Negation with circuitikz

I want to use the compact illustration for a not gate with another logic gate at the input of the logic gate. So far, the documentation shows me how to do this with the ocirc. But this looks different ...
pro-kswe's user avatar
2 votes
2 answers
291 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
0 answers
72 views

Logic Circuits in Lyx

I'm unsure as to how I should be compiling this on LyX. I remember seeing others use LaTeX to form circuit boards with certain preambles, but since this is on LyX, I was completely unsure of how it ...
Welt Rene's user avatar
0 votes
1 answer
63 views

Formula in premise overflows derivation line using bussproofs

I came to the universally quantified assumption overflows the derivation line. My source is \documentclass{beamer} \usepackage{bussproofs} \newcommand{\mydots}{ \def\extraVskip{-2pt} \noLine \...
Gergely's user avatar
  • 1,095
1 vote
3 answers
146 views

Typing derivations in a specific style

How do I type such a derivation, with boxes around assumption, and vertical lines that "continue" those boxes from the left?
user125234's user avatar
0 votes
0 answers
38 views

Logix package \Rplc symbols not working

I am using LuaLatex with the logix package (which adds logical symbols), and all the new symbols are working except for the any of the '\Rplc' arrows. It seems as if these symbols are undefined, but ...
kazziG's user avatar
  • 1
0 votes
1 answer
62 views

bussproofs.sty single longer line? [closed]

How would I write a line that is longer than the formula, even when the next formula is the same size, so that the line is apparently longer. For example, I want to write: a -- b -- c ---- a -- c ...
Andrei's user avatar
  • 1
0 votes
2 answers
162 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
2 votes
1 answer
121 views

How do I left-align the steps to a proof-tree?

I'm trying to write a natural deduction using LaTeX and the prooftrees package which works quite well all things considered. The only issue is that I want my derivation steps to be left-aligned as ...
Joshua Crotts's user avatar
3 votes
2 answers
220 views

Equalities connected by logical operators

Most (but not all) of the math-mode stuff in my book consists of terms and formulas of a clean logic: The terms are recursively constructed from constants (such as 0, 1, 2, true, f, g, +, ∈, or, not, ...
user avatar
1 vote
1 answer
61 views

Space between closure symbols and terminal node of tableau in prooftrees.sty

I tried to typeset a tableau with package prooftrees according to the package's documentation (cf. https://ctan.joethei.xyz/graphics/pgf/contrib/prooftrees/prooftrees.pdf) and Peter Smith's guide (cf. ...
pahohu's user avatar
  • 229
2 votes
2 answers
75 views

How can I reply this type of alignment? And, How could I add a "constant" text to all even rows?

I would like to define an environment to have different alignments in even and odd rows, and add the equiv symbol in all even rows.
DAGO's user avatar
  • 67
2 votes
2 answers
280 views

Connecting points with circuitikz

I'm trying to connect an input to one of the gates in a logic diagram using the circuitikz package. I've got this far with various sources (inc. SE) but would like to connect the first dot on the B ...
SimonH's user avatar
  • 23
1 vote
1 answer
169 views

Prooftree within a table?

1.Question I am trying to construct a table with two columns and one row such that: The first column consists of a letter (centered vertically) and on its right hand side there is an image The second ...
Max Demirdilek's user avatar
0 votes
1 answer
151 views

Self-referring arrow in tikz for a model in modal logic

I'm currently trying to typeset a model of Theodore Sider's Logic for Philosophy and struggle to get a self-referring loop in TikZ. The model itself was already solved in another post here: Stack ...
pahohu's user avatar
  • 229
0 votes
1 answer
134 views

Is There a Quick Way to Make a Logic Table Like This?

This is a typical table from Elliott Mendelson's Introduction to Mathematical Logic. This is part of a method for determining if a statement form is a tautology. I would like to be able to reproduce ...
Gary's user avatar
  • 371
5 votes
1 answer
188 views

Syntax of \tikznode command?

I am trying to write a formal proof of validity that uses conditional proof (C.P.) arrows. I came across gernot's code for them at https://tex.stackexchange.com/a/581822/277990, and below I have ...
Noah J's user avatar
  • 515
0 votes
0 answers
57 views

How to check if different file path refer to the same file

A file may be accessed by different paths. For example, - subpath/myfile.tex - ./subpath/myfile.tex - ../current path/subpath/myfile.tex, - /d/.../current path/subpath/myfile.tex They refer to ...
lyl's user avatar
  • 2,747
1 vote
1 answer
64 views

How can I lighten the following spaghetti definitions (symbols in $\Box$ and $\Diamond$)?

I am trying to insert symbols into $\Box$ and $\Diamond$. I do it in the following way. First I define commands for blank operators for future and past: \newcommand{\pastDiamond} { \text{\raisebox{-....
Evgeny Kuznetsov's user avatar
0 votes
2 answers
282 views

how to define semantic logic "implies" and "not" operators for use in LyX

In Schechter's Classical and nonclassical logics, he distinguishes symbols at the semantic level, from those at the syntactic level, by encircling the operators. For example, formal logic uses "∧&...
Mike's user avatar
  • 121
1 vote
1 answer
217 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
1 answer
178 views

How do you code the following logic gate circuits?

How do you code the following logic gate diagrams? My current attempts: \begin{circuitikz} %Top OR Gate \draw (0,-1) node[label = left:$A$] {} to [short] ...
Antonia Ponton's user avatar
0 votes
2 answers
73 views

Move position of math symbols in natural deduction rule

Writting this LaTex code \documentclass[]{article} \usepackage{mathtools} \begin{document} \newcommand{\debox}[1]{\boxed{\begin{matrix}#1\end{matrix}}_{\strut}\hspace{0.1cm}} \[ \dfrac{\phi \lor \...
TheCollegeStudent's user avatar
1 vote
1 answer
375 views

How to stack \Rightarrow and \nLeftarrow?

I would like specify an operator that combines "implies" and "is not implied by". What I have in mind is something like a $\Rightarrow$ stacked over $\nLeftarrow$. I tried all of ...
kjo's user avatar
  • 891
6 votes
3 answers
657 views

Is there a built-in symbol for a strictly one-sided material conditional?

Is there a built-in symbol like If it does not exist, what method do you recommend to make such a symbol? Edit:
Hermis14's user avatar
  • 423
0 votes
1 answer
677 views

How do you write "forces" in set theory, in Latex?

I just learned forcing in my Set theory class. I am wondering how do we write "forces" denoted by a symbol that looks somewhat similar to, but different, o$\models$o.
mathlearner98's user avatar
0 votes
1 answer
303 views

How to write constraints above or below logical operators in latex? [duplicate]

I want to write constraints below logical operators like or. How do I do it. There is a question already on AND here, how do I do it for OR operator/ other operators like implication etc?
A J's user avatar
  • 85
3 votes
0 answers
64 views

Tikz/PGF Anchors at locations computed in \backgroundpath

I am trying to create an AO logic gate, which consists of three predefined shapes, as via \declarepgfshape. So far, I was able to define the shape in \backgroundpath. However, I want to have some ...
Marshmallow314's user avatar
3 votes
1 answer
188 views

Centering of stacked bussproofs trees

I like to stack proof rules build with bussproofs vertically. In order to use tags and labels I enclose the proof tress inside a equation, which is why I introduced the rawprooftree environment as ...
aiquita's user avatar
  • 93

1
2 3 4 5