for subject-specific typesetting involving logic notation.

learn more… | top users | synonyms

1
vote
1answer
27 views

Prooftree with nodes below other nodes

I require large prooftrees using the bussproofs, but the layouting seems to be not optimal. In particular, the package does not place nodes of the tree below other nodes, which would save a lot of ...
5
votes
1answer
67 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 ...
2
votes
2answers
59 views

Inferences with time stamped steps

What I am trying to achieve is the following: What would be the proper way of achieving the desired output?
0
votes
0answers
55 views

lplfitch package : Add line numbering on the left

I am using the package lplfitch to typeset natural deduction proofs in Fitch style. I would like to number the lines on the left side of the vertical bar instead of on the left of the formula? ...
11
votes
3answers
438 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): ...
7
votes
3answers
299 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. ...
1
vote
1answer
61 views

Uncommon type of logical tree

I'm trying to reproduce such tree: I know that it was created with Latex, but since I'm a beginner, I really don't know where to start. Would it be possible to create something like that in TkiZ?
8
votes
2answers
174 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 ...
0
votes
0answers
126 views

Tabular derivations with bussproofs

I am trying to typeset derivations in the CCG grammar formalism. These are just derivations as in type theory, but with words as the initial premises. I've tried to typeset them using the bussproof ...
10
votes
2answers
258 views

Fuzzy logic operator symbols

How can I write in Latex symbols for standard or Ɓukasiewicz conjunction like these? Thank you
8
votes
2answers
279 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 ...
3
votes
1answer
295 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
2answers
292 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?
3
votes
1answer
137 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?
9
votes
1answer
146 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 ...
3
votes
2answers
121 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 ...
4
votes
1answer
184 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 ...
8
votes
2answers
77 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 ...
2
votes
3answers
9k views

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

In LaTeX the symbol for material implication is produced by $\to$, but for biconditional ?
6
votes
3answers
845 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 ...
3
votes
1answer
345 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 ...
0
votes
1answer
174 views

How do I get the single turnstyle symbol? [duplicate]

I am trying to replicate a logic symbol that looks like \models but has only one horizontal line, and represents a logical deduction. It looks roughly like |-. I have tried Detexify, but it does not ...
4
votes
2answers
823 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 ...
1
vote
1answer
2k 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) ...
5
votes
4answers
1k 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.
1
vote
1answer
588 views

Complicated Tikz logic drawing

This is a follow-up to this question Complicated logic circuit drawing with Tikz - two input buffer gate? Any ideas how can I draw this next element IODELAY2, should I use Resistance symbol? For me ...
4
votes
1answer
756 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 ...
6
votes
1answer
449 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] ...
0
votes
1answer
182 views

Best way of representing logical statements

I have a number of statemts which describe the process of creating a data element which are intergrated within a "data manual". For example: IF ( ( heigth between 58 AND 76 ) AND ( BMI between 19 AND ...
5
votes
1answer
321 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 ...
3
votes
1answer
346 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 ...
4
votes
1answer
307 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 ...
1
vote
4answers
3k views

How to draw a boolean circuit diagram in circuitikz?

How would I draw this image: using circuitikz? What I have so far is \begin{circuitikz} \draw (0,2) node[and port] (myand) {} (2,1) node[or port] (myor) {} (myand.in 1) node[anchor=east] {A} ...
11
votes
4answers
1k 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?
13
votes
3answers
422 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 ...
2
votes
2answers
676 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 ...
19
votes
5answers
838 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 ...
4
votes
1answer
682 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 ...
15
votes
1answer
703 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 ...
3
votes
0answers
2k 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 ...
7
votes
3answers
10k 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, ...
3
votes
2answers
356 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} ...
9
votes
2answers
2k 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 ...
53
votes
7answers
23k 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 ...
5
votes
1answer
2k 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 ...
27
votes
5answers
5k 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, ...