for subject-specific typesetting involving logic notation.

learn more… | top users | synonyms

7
votes
3answers
15k 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
392 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
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 ...
64
votes
9answers
29k 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 ...
29
votes
5answers
6k 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, ...