Questions tagged [logic]

for subject-specific typesetting involving logic notation.

Filter by
Sorted by
Tagged with
1
vote
1answer
36 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
69 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
0
votes
0answers
27 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
180 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
212 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
165 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
471 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
95 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
334 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
111 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
39 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
110 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
60 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
213 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
139 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{\...
2
votes
1answer
134 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 ...
2
votes
1answer
61 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
57 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
64 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
84 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
234 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
151 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.
1
vote
1answer
114 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
461 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
65 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
96 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
141 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
105 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
310 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{...
1
vote
1answer
207 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
156 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
3k 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
495 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
600 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
530 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
41 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
141 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 ...
0
votes
0answers
26 views

Boolean value set symbol [duplicate]

I want to define boolean function in my latex document but can't find the symbol I'm looking for. My function gets an input of A and renders a true or false value to it. I have added an image to make ...
3
votes
1answer
457 views

Cross-referencing inference rules

I'm using the mathpartir package by Didier Remy for typesetting inference rules. I like the visual style of the rules, but the package doesn't integrate with the standard \label-\ref cross-referencing ...
-1
votes
1answer
391 views

Scale Proof Tree with ebproof

Im using ebproof for proof trees and want to know if there is some way to scale the size of the trees. Something like this post, but for ebproof package. If that is not possible, maybe some way to ...
2
votes
1answer
124 views

Stack Logic Symbols in Tikz

I want to reproduce diagrams like the following in tikz (taken from Sider's Logic for Philosophy, p. 189): In particular, I can't figure out how to stack symbols as they are in this image (having 1s ...
3
votes
2answers
693 views

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 ? ...
1
vote
1answer
2k views

Logic gates - Circuitikz

I would like to have this picture in my document : But for the moment, I'm only able to produce this : \begin{circuitikz} \draw (-0.5,2) node[and port] (myand1) {} (myand1.in 1) node [...
2
votes
1answer
385 views

Alignment in ebproof

I'm trying to typeset sequent proofs using the ebproof package. This package uses & to align sequents vertically. I'm trying to write a command that produces a full sequent, including the ...
7
votes
4answers
917 views

Is there a (fork) symbol for probabilistic causality? Logic

I found pitchforks, but none that is similar to these explaines in Salmon 1989 Thanks!!
2
votes
1answer
213 views

ConTeXt: Modify .sty LaTeX file for natural deduction Fitch diagrams

I've written an introductory logic book in LaTeX and I want to have it in ConTeXt. I've made use of a .sty file (fitch.sty, authored by Peter Selinger, not distributed by TeXLive), downloadable here1. ...
0
votes
1answer
508 views

Logic rule for implication

I need some help with making the rule for implication i Latex. My biggest problem is the box.
1
vote
0answers
156 views

How to format deduction/equation extending multiple pages?

I'm working on a logic paper that includes a deduction of one of DeMorgan's laws. The proof is Fitch style using Johan Klüwer's 2003 fitch.sty package. It's a long proof and I inevitably end up with a ...
4
votes
3answers
282 views

Typeset simplified ROM circuit diagram using Tikz

I'm trying to typeset the following image using Tikz: I have tried many options, but there doesn't seem to be any good solution doing this an efficient way. My code I used at last: \begin{...
0
votes
1answer
350 views

Arrow-implication

I'm writing my thesis and I need use a symbol of science implication that looks like or maybe something like but thicker. I'm curious how to generate it. This link How to look up a symbol or ...