Thanks for the information on creating tableaus. However everything I've seen so far assumes the user knows LaTeX. I've been using LyX for several years, but I've never used LaTeX itself. I'd really rather not spend time learning it just to put a few tableau proofs into a much longer LyX document. Any way of creating tableaus directly in LyX?
On Tue, Oct 22, 2013 at 12:36 PM, Richard Heck <[email protected]> wrote: > > There are lots of useful resources about this here: > http://www.logicmatters.net/latex-for-logicians/trees/ > > Richard > > > On 10/22/2013 12:37 PM, Ernesto Posse wrote: > > Hello. The easiest (and nicest) way to do this is using the tikz package: > in the preamble put > > \usepackage{tikz} > > and then, wherever you want the tableau, put in a TeX box the following: > > \def\land{\wedge} > > \def\lor{\vee} > > \def\limp{\to} > > \begin{tikzpicture} > > \node {$\{\neg ((p \lor (p \land q)) \limp p)\}$} > > child {node {$\{p \lor (p \land q), \neg p\}$} > > child {node {$\{p\}$}} > > child {node {$\{p \land q\}$} > > child {node {$\{p,q\}$}}}}; > > \end{tikzpicture} > > > Note that the structure of the tree depends on the grouping braces { ... > }. > > > > > On Tue, Oct 22, 2013 at 12:04 PM, William Hanson <[email protected]> wrote: > >> Dear LyX Colleagues, >> >> I'm trying to create tableau proofs, which are branching columns of >> text, as illustrated in the attachment. Examples can also be found in >> Melvin Fitting and Richard Mendelsohn, *First-Order Modal Logic*, >> Kluwer, 1998. Any help will be appreciated. >> >> Bill Hanson >> > > > > -- > Ernesto Posse > > Modelling and Analysis in Software Engineering > School of Computing > Queen's University - Kingston, Ontario, Canada > > >
