Scott,
Yes, what a good idea. Here are two examples of what I've been able to do
so far.
In both of the following examples I've copied the code directly out of the
TeX Code box which I got from the Insert menu on the LyX toolbar.
*First example*: It would be perfect if it did not have those vertical
lines in it.
\def\land{\wedge}
\def\lor{\vee}
\def\limp{\to}
\begin{tikzpicture}
\node {$1\neg ((p \lor (p \land q)) \limp p)$}
child {node {$ 1 p \lor (p \land q)$}
child {node {$1 \neg p $}
child {node {$1 \ p $}}
child {node {$1 p \land q$}
child {node {$1 p $}
child {node {$1 q $}}}}}};
\end{tikzpicture}
*Second example*: It would be perfect if the top three lines of text were
centered over the large inverted vee that indicates branching, and if the
latter were the same length on both legs.
def\lor{\vee}
\def\land{\wedge}
\def\limp{\to}
\def\closed{\times}
\begin{tikzpicture}
[level distance=1.5cm,
level 1/.style={sibling distance=2cm},
every child node/.style={anchor=north},
every child/.style={parent anchor=south}]
\node {\begin{minipage}{5cm}%
1 ~$\neg ((p \lor (p \land q)) \limp p)$\\
1 ~$p \lor (p \land q)$\\
1 ~$\neg p$
\end{minipage}}
child {node {\begin{minipage}{0.6cm}%
1 ~$p$\\
$\closed$
\end{minipage}}}
child {node {\begin{minipage}{1.5cm}%
1 ~$p \land q$\\
1 ~$p$\\
1 ~$q$\\
$\closed$
\end{minipage}}};
\end{tikzpicture}
There they are. Any Suggestions?
Bill
On Mon, Nov 4, 2013 at 9:50 PM, Scott Kostyshak <[email protected]> wrote:
> Hi Bill,
>
> Have you made an attempt? Could you share it with us?
>
> Scott
>
> On Mon, Nov 4, 2013 at 10:13 PM, William Hanson <[email protected]> wrote:
> > Despite much help from Ernesto Posse, for which I'm grateful, and which
> has
> > allowed me to make some progress, I'm still far from being able to create
> > tableau proofs in LyX.
> >
> > The attached file contains an example of what I want to create. It's a
> > tree, each node of which consists of one or more lines of text (one line
> > above another). These multi-line nodes are connected by slanted lines
> that
> > indicate branching. The trees do not contain any vertical lines. There
> are
> > examples in many logic texts, the best source being Melvin Fitting and
> > Richard Mendelsohn, First-Order Modal Logic, Kluwer, 1999.
> >
> > I know there are sources on the web that cover related matters (tress in
> > linguistics, sequent-calculus proof), but I've not yet found anything
> that's
> > both close to what I need and usable by someone who doesn't know LaTeX.
> >
> > I've been using LyX for several years. But since I don't know LaTeX, I'm
> > not able to download an existing program and customize it to my needs.
> >
> > Bill Hanson
> >
> >
>
