Questions tagged [logic]
for subject-specific typesetting involving logic notation.
232
questions
3
votes
2
answers
120
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 ...
- 288
2
votes
2
answers
78
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 ...
- 45
1
vote
1
answer
43
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}
\...
- 75
2
votes
1
answer
68
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 ...
- 45
2
votes
1
answer
66
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 ...
- 21
1
vote
1
answer
59
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 ...
- 443
0
votes
2
answers
34
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 ...
- 35
1
vote
2
answers
84
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]{...
- 439
0
votes
0
answers
51
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 ...
- 21
0
votes
1
answer
34
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
\...
- 953
1
vote
2
answers
82
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?
- 311
0
votes
0
answers
23
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 ...
- 1
0
votes
1
answer
37
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
...
- 1
0
votes
1
answer
62
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 ...
- 97
2
votes
1
answer
66
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 ...
3
votes
2
answers
84
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, ...
user282514
1
vote
0
answers
35
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. ...
- 227
2
votes
2
answers
69
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.
- 47
2
votes
2
answers
138
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 ...
- 23
1
vote
1
answer
101
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 ...
- 115
0
votes
1
answer
93
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 ...
- 227
0
votes
1
answer
100
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 ...
- 371
5
votes
1
answer
153
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 ...
- 443
0
votes
0
answers
42
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 ...
- 2,677
1
vote
1
answer
58
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{-....
- 235
0
votes
2
answers
174
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 "∧&...
- 121
1
vote
1
answer
144
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
1
answer
112
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]
...
0
votes
2
answers
63
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 \...
1
vote
1
answer
257
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 ...
- 851
6
votes
3
answers
637
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:
- 423
0
votes
1
answer
346
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.
- 103
0
votes
1
answer
187
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?
- 83
2
votes
0
answers
34
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 ...
3
votes
1
answer
145
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 ...
- 93
1
vote
1
answer
83
views
How to inlude a top or bottom input, to represent an enable input for a Decoder
\documentclass{article}
%decoder
\usepackage{tikz}
\usetikzlibrary{shapes,arrows,calc,arrows.meta}
\usepackage{circuitikz}
\usetikzlibrary{circuits.logic.IEC,calc}
\begin{document}
\begin{circuitikz}[...
- 11
5
votes
1
answer
407
views
Using $\mathfrak$ for digits in XeTeX
I'm working on a XeTeX document and want to typeset digits or to be more precise, 1 and 0 as truth values in Fraktur via \mathfrak. I tried several tweaks and none helped. Would anyone know a ...
- 227
1
vote
3
answers
168
views
Making Argument Diagrams in LaTex
I am trying to do my homework for Logic lesson in LaTex and I need to make Argument Diagrams. I have no idea how to make these in LaTex. All I think is doing it manually with TikzImage.
Below are some ...
0
votes
0
answers
152
views
How do I add this .sty to my document
So I have been trying to add this .sty file to my texmaker
http://www.actual.world/resources/tex/sty/ND.sty, but I have no idea what to do with this link?
Should I just copy and paste the text into a ....
- 1
2
votes
1
answer
156
views
Custom environment for sequent calculus proofs
I'm using the package bussproofs to typeset sequent calculus proofs with LaTeX. Whilst I'm more than satisfied with the results, writing the code is cumbersome. Thus, I'd like to define a custom ...
1
vote
2
answers
485
views
Make this inference rule more readable
Following code produces something like this:
\usepackage{proof}
\infer[(\implies I)]
{
(q \land r \land ¬s ) \implies ( u \lor r )
}
{
\infer[(\lor I r)]
{
\\u \lor r
}
{
\infer[(\land E_{2}...
- 11
0
votes
1
answer
983
views
Drawing logic gates in LaTeX
How do I draw (i) and (iii) in the above image?
In (i), I am not able to write the variable a and texts just right to the image.
In (ii), I am not able to create n number of inputs in a circuit.
- 749
4
votes
3
answers
832
views
How to write conditional expression in LaTeX with text and math [duplicate]
Being new in LaTeX I don't know where to look for the proper resources.
I know this is probably documented for easily somewhere out there, but I'm struggling with knowing where to look - any help ...
- 53
6
votes
2
answers
269
views
Do these logical operator symbols exist without requiring rotation?
My professor uses these symbols to formalize logic operators. I found versions of (a) and (b), which are rotated by 90°. For (c) I found \Finv, but it is not exactly the same and is also rotated by 90°...
- 61
6
votes
2
answers
563
views
Typesetting unicode characters
I try to use unicode characters in tex source:
\documentclass{article}
\usepackage[utf8]{inputenc}
\begin{document}
∀
\end{document}
The universal quantifier does not typeset with xelatex.
...
- 953
3
votes
3
answers
344
views
How to create a custom negation symbol with double lines
I'm trying to create a negation symbol with two upper lines, like this example I found in a paper (regular negation for comparison):
Detexify didn't know the symbol and I even looked through the ...
- 33
11
votes
7
answers
16k
views
Symbol of Dot inside a circle [duplicate]
I am looking for this symbol which I haven't found online (especially with a large dot inside the circle)
.
- 264
3
votes
0
answers
173
views
Larger spacing around logical connectives
(Writing for myself, I ended up writing a rather verbose background, so you can skip directly to the Question below.)
Background
TeX or LaTeX (I do not know which does what exactly) has three classes ...
- 246
2
votes
0
answers
344
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
162
views
logic gates circuit diagram , simple question
I am new to tikz and am trying to reproduce the following simple diagram
I did the following,
\usepackage{circuitikz}
\begin{tikzpicture}
\node (p) at (0,0) {$p$};
\node (p2) at (0,0.5) {$p$};...
- 233