Dear LyX Colleagues,
I'm still trying to create tableau proofs, which are branching columns of
text, as illustrated in the attachment.
Ernesto Posse's sample tableau (below) is helpful, but it contains two
features I don't want:
1. Two sentences at a node, separated by commas. I want just one sentence
at each node, as in the attached sample. I've been figured out how to
solve this problem by modifying Ernesto's code as follows:
\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}
2. But the foregoing code retains another feature I don't want: vertical
lines from node to node when there is no branching. I want only the
(approximately) 45 degree (and 315 degree) lines that indicate branching,
as on the attached sample.
I've used LyX for several years, but I don't know LaTeX.
Any and all help appreciated.
Bill
[image: Sample
Tableau.pdf]<https://mail.google.com/mail/u/0/?ui=2&ik=fcb7343f58&view=att&th=141e0e8e8016ae7f&attid=0.1&disp=safe&realattid=f_hn3bnlm80&zw>
*Sample Tableau.pdf*
146K
View<https://docs.google.com/viewer?a=v&pid=gmail&attid=0.1&thid=141e0e8e8016ae7f&mt=application/pdf&authuser=0&url=https://mail.google.com/mail/u/0/?ui%3D2%26ik%3Dfcb7343f58%26view%3Datt%26th%3D141e0e8e8016ae7f%26attid%3D0.1%26disp%3Dsafe%26realattid%3Df_hn3bnlm80%26zw&sig=AHIEtbQpDR5qvKd2TSh_O5cOhrpoG-Owmg>
Download<https://mail.google.com/mail/u/0/?ui=2&ik=fcb7343f58&view=att&th=141e0e8e8016ae7f&attid=0.1&disp=safe&realattid=f_hn3bnlm80&zw>
Ernesto Posse <[email protected]>
Oct 22 (6 days ago)
to me, lyx-users
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 { ... }.
Richard Heck <[email protected]>
Oct 22 (6 days ago)
to Ernesto, me, lyx-users
There are lots of useful resources about this here:
http://www.logicmatters.net/latex-for-logicians/trees/
