lectures.alex.balgavy.eu

Lecture notes from university.
git clone git://git.alex.balgavy.eu/lectures.alex.balgavy.eu.git
Log | Files | Refs | Submodules

5-2-tableau.dot (465B)

      1 graph g {
      2 a [label="* ◇ (p ∧ ¬ q), ◇ ¬ p, ¬ ◇ ¬ q", xlabel="1"]
      3 b [label="◇ ¬ q * ◇ (p ∧ ¬ q), ◇ ¬ p", xlabel="1"]; a -- b
      4 c [label="¬ q * p ∧ ¬ q, ¬ p", xlabel="2"]; b -- c [style="dashed"]
      5 d [label="p * p ∧ ¬ q, q", xlabel="2"]; c -- d
      6 
      7 el [shape="record", label="{ p * p, q | closes. }", xlabel="2"]; d -- el
      8 
      9 er [label="p * ¬ q, q", xlabel="2"]; d -- er
     10 f [shape="record", label="{ p, q * q | closes. }", xlabel="2"]; er -- f
     11 }
     12