for subject-specific typesetting involving logic notation.

learn more… | top users | synonyms

3
votes
2answers
383 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 ...
60
votes
9answers
27k 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 ...
28
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, ...