# Tagged Questions

for subject-specific typesetting involving logic notation.

9answers
39k views

### How to draw Venn diagrams (especially: complements) in LaTeX

What I am up to is to write some exercises dealing with logical formulas for my students, like: And the students should draw these formulas on Venn diagrams. At the end of the lesson, I really ...
5answers
4k views

### How do I put a circle around an operator?

For example, I want to put a circle around \land, just like one can put a circle around + by writing \oplus. Is there a general method to do this?
6answers
8k views

### What is the best package out there to typeset proof trees?

So, I want to typeset some proof trees, i.e. trees of inference rules like those in natural deduction (see diagram below). Which are the best packages that you have found that allow you to do this, ...
3answers
22k views

### Drawing circuit diagrams (with logic gates) in LaTeX

I'm having some difficult drawing circuit diagrams with logic gates in LaTeX. I've tried with circuitikz and pst-circ. \begin{pspicture}(-1,-1)(5,3) \logicand[ninputs=2,invertinputa=true, ...
1answer
415 views

### How to create a correctly aligned tree proof in logic with 4 branches, columns of line numbers and justifications?

I'm looking for a way to make a Logic Tree with three columns (line number, tree itself and commentary). I've tried using a tikz matrix, and it worked very well, except when I get more than two ...
4answers
3k views

### Writing Linear Temporal Logic in LaTeX

I am writing some LTL (Linear Temporal Logic) statements in LaTeX and am having issues finding any packages online or information as to this can be done. Any help would be appreciated.
1answer
341 views

### How to improve my semantic tableau?

I have to typeset some semantic tableaux in my document, looking similar to the example underneath. My first idea was to use tikz for this, so I created the following monster: \documentclass[...
1answer
1k views

### Double-nested logical-and and logical-or symbols?

I'm typesetting a bunch of source code, and I really like the way the double-nested logical-and and logical-or symbols look for denoting bitwise logical and/or. Unfortunately, LaTeX doesn't seem to ...
4answers
634 views

### Need help with making Logic Trees in qtree/tikz-qtree (i.e. aligning, numbering lines)

I would like to make something similar to the logic tree below. I've tried using tikz-qtree, but I can't figure out how to number every line in the tree. I did however find something else doable in ...
1answer
1k views

### Complicated logic circuit drawing with Tikz - two input buffer gate?

i'm trying to draw similar image with Tikz and Circuit Library, so far i'm stucked at drawing buffer gate with two labeled inputs (IBUFGDS and IBUFDS), standard library have a gate with only one input....
1answer
586 views

### prooftree from bussproofs package inside “cases” environment

I am using bussproofs package to provide some type proofs. According to bussproofs manual, it is impossible to use prooftree inside math mode. However, I would like to insert prooftree in the cases ...
1answer
4k views

### 3-input logic gate on circuitikz

How can I draw a 3-input logic gate with circuitikz? Is there a way to do so? For example, \begin{circuitikz} \draw (0,0) node[and port](myand){} (myand.in 1) node[left]{A} (myand.in 2) node[...
3answers
561 views

### Looking for a specific symbol used in set theory, can't find on detexify

I'm looking for a specific symbol for typesetting my lecture notes in logic and set theory. The character is used to define a new set from two existing sets alpha and beta (which are ordinals): ...
1answer
542 views

### 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
6answers
1k views

### What is the LaTeX symbol for “forking independent” (model theory)?

I am looking for a way to set the symbol for "forking independent" (for example, see "Essential Stability Theory", Steven Buechler, p.217). It looks a bit like an anchor or an upside-down 'T' with a ...
2answers
595 views

### Fuzzy logic operator symbols

How can I write in Latex symbols for standard or Łukasiewicz conjunction like these? Thank you
1answer
1k views

### negated double turnstile

I'm new to the turnstile package, and I'm trying to figure out how to get a negated double turnstile sign, like the one with the regular \nvDash, but that allows me to have arguments above and below ...
0answers
67 views

### How to apply colour options to the contents of TikZ nodes when the content includes \sbox{}\usebox{}?

Thanks to Sašo Živanović for helping to identify the problem which arises as a result of my trying to apply options such as blue or text=blue to nodes within Forest trees which include turnstiles from ...
0answers
3k views

### Using circuitikz to generate logic circuit diagrams? [closed]

How can I use circuitikz (or similar library for small code) to generate logic circuit diagrams with full variable life. x ---[and1]--- z y ---[and1]--- z So f(x,y)=z An image of the kind of ...
1answer
265 views

### Argument diagram (logic)

I need to diagram arguments (Beamer). I've tried to use tikzcd but it doesn't work. How can I draw a diagram as the following one?
1answer
62 views

### Will prooftrees be able to typeset this?

The tree is split between two pages, and text lines are inserted among some tree lines. The tree looks shifted to the left on the next page because the book is two-sided, but I don't typeset two-sided ...