for subject-specific typesetting involving logic notation.

learn more… | top users | synonyms

71
votes
9answers
37k 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 ...
32
votes
5answers
7k 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, ...
20
votes
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 ...
18
votes
1answer
304 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: ...
15
votes
5answers
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?
15
votes
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 ...
13
votes
3answers
525 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 ...
12
votes
3answers
20k 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, ...
11
votes
3answers
554 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): ...
11
votes
2answers
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 ...
10
votes
4answers
613 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 ...
10
votes
2answers
554 views

Fuzzy logic operator symbols

How can I write in Latex symbols for standard or Łukasiewicz conjunction like these? Thank you
9
votes
3answers
32k views

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

In LaTeX the symbol for material implication is produced by $\to$, but for biconditional ?
9
votes
3answers
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 ...
9
votes
1answer
402 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 ...
9
votes
1answer
187 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 ...
8
votes
3answers
106 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} ...
8
votes
3answers
446 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. ...
8
votes
2answers
88 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 ...
8
votes
2answers
357 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 ...
7
votes
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.
7
votes
1answer
680 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 ...
6
votes
3answers
2k 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 ...
6
votes
3answers
624 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} ...
6
votes
3answers
929 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 ...
6
votes
1answer
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] ...
6
votes
1answer
260 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 ...
5
votes
1answer
522 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 ...
5
votes
2answers
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 ...
5
votes
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 ...
5
votes
1answer
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 ...
5
votes
1answer
32 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 ...
5
votes
1answer
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 ...
5
votes
1answer
100 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 ...
5
votes
0answers
51 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 ...
4
votes
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 ...
4
votes
1answer
521 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
4
votes
1answer
32 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 ...
4
votes
2answers
781 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?
4
votes
1answer
383 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 ...
4
votes
1answer
82 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 ...
4
votes
1answer
43 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 ...
4
votes
1answer
71 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} ...
3
votes
1answer
136 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?
3
votes
2answers
429 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} ...
3
votes
1answer
106 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} ...
3
votes
1answer
248 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?
3
votes
2answers
160 views

Left align text in enumerate

I wish to left align justifications in mathematical/logical reasoning. I am currently in an enumerate tag. I have: a) p or q by fact(10) b) r by negation on (a, 10) c) s by implication(b, 5) . . I ...
3
votes
1answer
432 views

How to get proof rules with pseudo-code in them?

I wish to typeset some deduction rules for Hoare logic as sequents with the pseudo-code using the algorithmic package. I have tried using \frac{}{}, but then e.g. if then else gets flattened. I have ...
3
votes
1answer
89 views

AND-OR Graph from Horn clauses

Does anyone know if there is a way to generate a nice graph from Horn clauses? for example: Ideally, I would like to generate AND-OR graphs like this directly from Horn clauses written in Latex; ...