for subject-specific typesetting involving logic notation.

learn more… | top users | synonyms

10
votes
2answers
592 views

Fuzzy logic operator symbols

How can I write in Latex symbols for standard or Ɓukasiewicz conjunction like these? Thank you
8
votes
2answers
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 ...
4
votes
1answer
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
4
votes
2answers
820 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
261 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
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 ...
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 ...
5
votes
1answer
555 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
92 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 ...
9
votes
3answers
35k 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 ...
3
votes
1answer
578 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 ...
1
vote
1answer
2k views

How do I get the single turnstile 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 ...
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 ...
2
votes
1answer
3k 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[...
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.
1
vote
1answer
991 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
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....
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] {...
0
votes
1answer
200 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 ...
7
votes
1answer
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 ...
3
votes
1answer
437 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
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 ...
2
votes
4answers
7k 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} (...
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?
13
votes
3answers
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 ...
6
votes
3answers
949 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 ...
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 ...
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 ...
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 ...
3
votes
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 ...
12
votes
3answers
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, ...
3
votes
2answers
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} \...
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 ...
71
votes
9answers
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 ...
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 are ...
35
votes
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, ...