# Tagged Questions

for subject-specific typesetting involving logic notation.

38k 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 ...
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, ...
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 ...
333 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[...
3k 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?
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 ...
535 views

### Multi-column spacing of many equation-like environments

I suppose I have a pretty simple question. I want to write down a logic inference system. A good example can be found on page 9 in this document: What environment would you advise me to use to get ...
21k 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, ...
560 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): ...
3k views

### How to get monospace logic formulas?

The following does not work in LaTeX because logic symbols can only be used in maths mode: \texttt{\forall x(\exists y((f(x)=y)\land(\neg(g(y)=y))))} I want to do this to stress the nature of such ...
625 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 ...
590 views

### Fuzzy logic operator symbols

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

### latex symbol for “if and only if” [duplicate]

In LaTeX the symbol for material implication is produced by $\to$, but for biconditional ?
3k views

### What command to use for reversed $\vDash$?

I want to use a symbol similar to $\vDash$ but reversed (like if it's mirrored against an imaginary vertical line). I cannot find such a symbol anywhere. I have used detexify too but no luck ...
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 ...
188 views

### Can I use a written out logical connective, rather than a symbol?

My professor uses these really nice, written out, AND and IMPLIES, etc., symbols and I can't seem to figure out or find how he does it. I would love to use them, rather than \wedge or \land. Is it ...
112 views

### How do I display verification of propositional logic in this way?

I want to typeset something like the following picture. I came up with \documentclass[oneside,12pt]{article} \usepackage{microtype} \usepackage[utf8]{inputenc} \usepackage[T1]{fontenc} \usepackage{...
455 views

### Designing a new tuple of Algebra Operators

It's neccessary to have at least two extra tuples of Albera Operators. A minimal tuple is a triple (to_be_subset_eq, meet_operator, join_operator). There are some ideas how to make 2 extra tupes. ...
91 views

### Check equality between colors

Consider the following: \colorlet{mycolour1}{black} AND \colorlet{mycolour2}{black} How do I use a command like \ifthenelse{\equal{mycolour1}{mycolour2}}{TRUE}{FALSE} In other words, how can I ...
359 views

### Space that disappears at the edges (beginning/end) of a math formula

Is there a way to produce a space that disappears at the beginning or end of a math formula? Idea: For the formula-final case, something that looks ahead or takes an obligatory argument might be a ...
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.
691 views

### What environment to use in writing formal deductions?

Learning about mathematical logic, I have to write formal deductions*. How can I write them using TeX? Any feedback is welcome. (*)Roughly they are numbered lists over two columns, the first ...
3k views

### How do I write logical iff symbol?

I'm currently hearing a lecture about formal systems (a computer science lecture). The lecturer makes a symbol that is written like overlying < and >: Every time when he draws it, he says "...
705 views

### Latex Bussproofs Package Prooftrees on Same Line

I'd like to know how to put two prooftrees on the same line rather than under/ontop of one another. Is that possible? \documentclass{article} \usepackage{bussproofs} \begin{document} \begin{prooftree}...
948 views

### Alignments in bussproofs package

I'm using bussproofs and would like my premises always to be left-aligned with the beginning of the inference line. So far when I have a single premise inference, I can only get the premise centered ...
1k views

### How to make my logic circuit drawn by circuitikz look nicer?

\documentclass{article} \usepackage{circuitikz} \begin{document} \begin{circuitikz} \draw (0,3) node[not port] (mynot1) {} (mynot1.in) node[anchor=east] {$r$} (mynot1.out) node[anchor=south] {...
288 views

### Fitch-Style Predicate Logic Proof

I've been attempting to typeset some predicate logic proofs in the style of Huth and Ryan, and I'm having trouble determining how to display declared variables in the same format. Below is an example ...
75 views

### Function of interpretation by assignment g

How can I make this function in LaTeX: I tried with \Vmatrix as: $\begin{Vmatrix} \bullet \end{Vmatrix}^{\mathscr{M}_i,g}$ but its not the same. If you can help me, I'd appreciate it.
553 views

### Strange alignment when using tilde as the not operator in logic

I wish to use ~ which has latex symbol: \sim for the negation sign in logic. \sim and \neg are the two most frequent symbols for negation in logic. However, I get a strange looking result if I use \...
1k views

### 4 set venn diagram in TikZ

Is it possible to make a 4-set venn diagram using the tikz packages, like the following one? I know it must be, but the only information I can find on the subject uses R as the language. So, an ...
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 ...
3k views

### How to write natural deduction trees in LaTeX. [duplicate]

Possible Duplicate: What is the best package out there to typeset proof trees? Is there some package to use in order to write nice natural deductions (logical deduction trees)? Examples are ...
40 views

### Node on the side of a horizontal tree

I am struggling to understand how to put a node on the branch of the first level of a tree of bernoulli trials. When I try to draw it out, the node label in the center of the branch becomes the ...
101 views

### What bar should be used for definition of (formal) languages?

I wanted to know which standard symbol should be used as a delimiter when recursively defining a (formal) language, such as this fragment of arithmetic expressions : X ::= 0 | 1 | X+X | X*X | I use ...
103 views

### How to improve my modal diagram?

I'm writing a paper about modal logic in which I'll quite often need to draw a diagram of 'worlds'. Every world is represented by a dot, which has two labels: the name of the world on one side of the ...
64 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 ...
204 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{...
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....
537 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
39 views

### How to typeset axiomatic logic proofs in list form?

I'm trying to typeset some axiomatic logic proofs in list form. I have tried to define a new environment such that I could combine the proof environment of the amsthm package with a table, resulting ...
819 views

### Logical equivalence vDashv

I need to create a symbol logical equivalence. Contact vDash with appropriate vertical line, but I can not find any. Can you advise?
386 views

### semantic proof trees in ConTeXt

I want to draw logic proof trees in ConTeXt. Specifically, I want to be able to draw trees like this: I am aware that there are nice ways of doing this in LaTeX, and that the question What is the ...
86 views

### Logicproof dashed boxes for Natural Deduction

I have been using the Logicproof package to write proofs in Fitch style. It creates environments using tabular to make writing proofs less bothersome. I can't seem to figure out how to create a ...
46 views

### changing the logic symbols in lplfitch.sty

I'm using lplfitch.sty to produce Fitch-style natural deduction proofs. I want to use different symbols from the ones that are predefined. Specifically, I want to use \sim instead of \neg for ...
77 views

### Putting two derivations on the same line

I'm trying to put two logic derivations on the same line, but I'm having trouble figuring out how to do this. Here is a sample of the code that I'm using: \documentclass{article} \usepackage{...
147 views

### Missing \$ inserted in a logic function

The error appears at this line: \paragraph{ \neg A \wedge (B \vee C) } How do I repair it?
437 views

### Why does the tableau package raise the error “undefined control sequence” for \newpsstyle?

I'm running ubuntu 11.04, and trying tableau to draw logic diagrams for the first time. \documentclass[english]{article} \usepackage[T1]{fontenc} \usepackage[latin9]{inputenc} \usepackage{ifsym} \...
119 views

### Strict conditional symbol without changing the default font?

Here is how to define \strictif as the strict conditional ⥽ from modal logic. \documentclass{article} \usepackage{lipsum} \usepackage{pxfonts} \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n} \...