Questions tagged [logic]

for subject-specific typesetting involving logic notation.

Filter by
Sorted by
Tagged with
0
votes
1answer
38 views

How to write a hierarchical logic expression next to a picture?

How to write a hierarchical logic expression (as attached) next to a picture?
1
vote
1answer
137 views

Draw flip flop with Circuitikz

I'm trying to draw just one JK flip flop using Circuitikz, but Overleaf does not compile it properly: \documentclass{article} \usepackage[utf8]{inputenc} \usepackage{circuitikz} \tikzset{ % async ...
0
votes
0answers
10 views

Aligned proof rule labels using bussproofs.sty [duplicate]

I would like to typeset labels to the left of a proof rule using bussproofs.sty like A B CONJI ------ A/\B I would like to have it aligned to the horizontal line. How can I achieve ...
2
votes
2answers
52 views

How to write an inference rule with the \therefore justified to the left?

I want to use Latex to create this: My attempts so far ended up with: \documentclass{book} \usepackage{amsmath} \usepackage{amssymb} \begin{document} \begin{align*} p \to q\\ p\\ \over \therefore q ...
2
votes
1answer
37 views

Conflict between 'prooftree' and 'stix' packages regarding double quotes [closed]

I'm having the following issue : In the environment prooftree, my double quotes transform into greek letters. This started to happen after importing the package stix When I input "three" it compiles ...
3
votes
1answer
55 views

Bussproofs tree will not compile

I have the following proof tree, which latex says is badly specified. Here is the TeX. \documentclass{article} \usepackage{bussproofs} \usepackage{amsmath} \begin{document} \begin{prooftree} \...
3
votes
1answer
162 views

How to draw “flag format” lambda derivation diagrams as used in the book Type Theory and Formal Proof: An Introduction

I'd like to draw "flag format" diagrams for lambda derivation as used in the book "Type Theory and Formal Proof: An Introduction". Below is an example in Chapter 2 of the book. How can I do it? Thanks....
1
vote
1answer
52 views

Reverse double turnstile in Mathjax/Wordpress [closed]

I'm trying to make a reverse double turnstile on my wordpress site. I do have Mathjax installed. I've tried using $\leftmodels$ and $\Dashv$, but neither of those work. I am able to make the regular ...
0
votes
0answers
63 views

how can I draw a compact resolution tree with annotation in latex?

I'd like to draw a resolution tree for a research paper: similar to the following resolution proof which each node might have extra annotations inside brackets[]. I found some posts like this but I ...
2
votes
1answer
47 views

add text on the edge of line in proof tree

How can I do this in latex ? This is what I've tried, \documentclass{amsart} \usepackage{forest} \begin{document} \begin{forest} [$(\lnot \,A \to (B \to \lnot C)$ [$\lnot \, A$...
4
votes
4answers
1k views

How do I write this symbol in latex? (disjoint sharp operator)

I can't find this symbol used to indicate the disjoint sharp operator. It's a # inside a circle. Is this symbol available in LaTex? if not, how can I draw it inside a mathematical equation?
5
votes
1answer
79 views

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 ...
6
votes
2answers
288 views

Macro for Automating Truth Tables

I used this truth table when writing a proof. Unfortunately I made a tiny typo; The first time around, I misplaced an additional ʹ symbol, which just happened to make the output exactly wrong. It ...
1
vote
1answer
60 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 ...
2
votes
2answers
86 views

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
1
vote
0answers
60 views

Font for the names of logic gates

What command could I use to change the font for logic gate names, such as NOT and XOR, so that it looks like what is
4
votes
1answer
3k views

How to invert Logic Gate input in Circuitikz

I have drawn the following circuit, but how could the inputs of a Logic Gate be inverted? (As in the scanned picture, but it does not matter which gate exactly, just generally) \documentclass[a4paper,...
2
votes
1answer
508 views

How to add circuitikz dots

I am trying to add dots to all T-Junctions, I can do it manually, but is there an automatic way to do it? \documentclass[a4paper,12pt]{article} \usepackage{tikz} %vectorgraphics \usetikzlibrary{...
1
vote
1answer
287 views

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-...
3
votes
3answers
560 views

LaTeX \models symbol that goes both ways

Is there a LaTeX symbol for \models that goes both ways? All I need is another vertical line at the end.
4
votes
1answer
158 views

prooftrees.sty - why are line numbers overlapping and how to avoid?

Why are the "6" and "7" overlapping here and how can I avoid it? \documentclass[border=10pt]{standalone} \usepackage{prooftrees} \begin{document} \begin{prooftree}{} [A [A [A [...
0
votes
2answers
559 views

How to draw Logic gates like the following :

I would like to draw the following logic gates. Actually I'm new in latex, so I have no idea how to draw it in latex. I can Draw this in Adobe photoshop, but I know latex produces better image ...
2
votes
0answers
170 views

how do I display very large proof trees (bussproofs, ebproofs, tikz's tree library)

I am looking at different options to typeset proof trees. I have asked a more general question and run into some issues. In particular I am trying to understand how to display very large proof trees, ...
2
votes
1answer
47 views

How to arbitrarily manipulate line paths in circuitikz diagrams?

I'd like to draw this with LaTeX: This is what I have so far: %%%%%PREAMBLE%%%%% \documentclass[border=0.25cm]{standalone} \usepackage{circuitikz} %%%%%HEAD%%%%% \begin{document} \begin{...
6
votes
1answer
125 views

Reproduce Lambek calculus notation in LaTeX

I'm trying to reproduce the following in my document: But I can't find a way of doing it. The closer that I got was with this code: \documentclass[a4paper, oneside, 10pt]{extarticle} \usepackage[...
0
votes
1answer
66 views

Optimizing & fine tuning circuitikz diagrams

Attached below is a pair of logic circuit diagrams that I've put together. The first is the original, pieced together from SVGs and PDF annotation tools. The second is my attempt to replicate the ...
2
votes
2answers
289 views

How to fix arbitrary whitespace issues?

Okay, brand new to LaTeX. Starting with a super simple example. What's up with the arbitrary whitespace placement, and what can be done to fix it? \documentclass[border=10mm]{standalone} \begin{...
2
votes
1answer
218 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{\...
3
votes
1answer
227 views

How can I rotate a logic gates, and clean up the style with CircuiTikz?

I'm just a student trying to learn LaTeX on his own to make homework assignment submissions look a lot better than handwriting! So I've learned just enough to draw these simple logic gates with ...
3
votes
1answer
92 views

Piping a return value from one command to another command

I am making some elaborate truth tables, and I want to be able to define the further columns in terms of the initial few atomic variables, so that I don't manually have to update the whole thing for ...
0
votes
0answers
76 views

Turnstile operator [duplicate]

How can I make a turnstile operator which can lengthen when it has a subscript? The turnstile package doesn't work with my LaTeX editor. Besides, I don't want to lengthen the vertical bar, only the ...
1
vote
1answer
90 views

prooftrees.sty: How can I number individual expressions rather than whole lines?

Using prooftrees.sty (https://ctan.org/pkg/prooftrees), is there an option or hack to obtain a line numbering scheme different from the default one? I would like to format truth trees that match the ...
3
votes
2answers
106 views

How to implement a list environment for simple proofs?

I'm trying to learn LaTeX macro writing, so I'm creating a list-like environment to typeset proofs (introductory propositional logic). I've been able to get a decent looking result this way: \...
0
votes
1answer
249 views

How to reproduce the following 3 figures

Does anyone know the code for Figures 1, 2, and 3 of Claude Shannon's paper "A Symbolic Analysis of Relay and Switching Circuits"? I have seen "The Comprehensive LaTeX Symbol List" and the "...
0
votes
2answers
198 views

Logic \vee with a floor [duplicate]

How do I type this symbol on LaTex?. Is a \vee, but with a floor. I've tried using \lhat and \bhat it doesn't work. Thank you very much.
2
votes
1answer
196 views

Remove numbering from fitch.sty natural deduction

Johan Klüwer has a great package fitch.sty for typsetting natural deduction proofs. However I want to define some deduction rules in the vertical fitch format and it does not make sense to have the ...
1
vote
2answers
564 views

Negated Turnstile?

I wonder if anyone knows how can I produce negated turnstile symbols using the turnstile package. The default option of $\vdash$ and $\nvdash$ is not ok. I want the same options the turnstile package ...
1
vote
0answers
83 views

Using the nd3 package with hyperref

I just came across the rather useful nd3 package. However, it seems not to work correctly with the hyperref package since it redefines the \ref command. Without hyperref this package is pretty useless ...
1
vote
1answer
133 views

Centering the “prooftrees.sty” trees

Is it possible to overlap the center of the node containing the first premiss of proof trees like the ones in the MWE with the vertical center of the page? Here is the MWE: \documentclass[openany,...
1
vote
1answer
193 views

Creating a specific kind of tree diagram

I'm trying to create a tree diagram for logic. I've used syntax trees before to do normal truth trees for logic. The trees I'm trying to create, however, don't look like syntax trees. They look like ...
2
votes
2answers
126 views

Why is prooftrees putting everything on the same line?

I'm trying to do a prooftrees tree like this: \documentclass[letterpaper, 12pt]{article} \usepackage{prooftrees} \begin{document} \begin{prooftree} { to prove={ A \lor B \lor C \lor D \lor E } } ...
1
vote
1answer
387 views

Undefined control sequence. \end{tableau}

Why the error. TeXStudio. \documentclass[12pt]{article} \usepackage{pstricks} %\usepackage{ot-tableau} %\usepackage{ytableau} \usepackage{forest} \usepackage[tableaux]{prooftrees} \begin{...
2
votes
1answer
243 views

Unusual bussproofs derivation

I'm trying to typeset proofs like these in bussproofs (to keep them consistent with the rest of my proofs) but I can't figure out a good way to do so: I've tried using various combinations of \...
5
votes
1answer
197 views

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 this: \...
4
votes
1answer
5k views

Write hypothesis for inference rules with proof package

I want to write inference rules like this one: where the hypothesis for C are not stated as a sequent depending on a set of hypothesis but with brackets []. This is as far as I got: \documentclass[...
3
votes
2answers
577 views

Typesetting predicate natural deduction rules

I have a rule for natural deduction that I'd like to typeset. It looks like this: How should I go about typesetting this with LaTeX? Should I use one of the packages (e.g. logicproof) - it seems a ...
9
votes
5answers
674 views

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, ...
0
votes
0answers
754 views

Script with curly S for successor function? [duplicate]

Very simple question that I can't seem to find an answer to; I'm writing a paper and I would like to use a script with a 'curly-tailed' capital S as is classically seen with the successor function in ...
0
votes
0answers
51 views

Global horizontal spacing of the 'logicproof' environment

I'd like to have global spacing between the statement and justification in logicproof. It should preserve the alignment on the justification/right-hand column. Something like this: This is my code \...
0
votes
2answers
178 views

Horizontal spacing of the 'logicproof' environment

How do I control the placement of this logicproof on the page? I want it to stretch horizontally across the page regardless of the content. The spacing should be between the statement and the ...