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-1-tableau.dot.svg (1476B)

      1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
      2 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
      3  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
      4 <!-- Generated by graphviz version 2.50.0 (20211204.2007)
      5  -->
      6 <!-- Title: g Pages: 1 -->
      7 <svg width="135pt" height="131pt"
      8  viewBox="0.00 0.00 134.59 131.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
      9 <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 127)">
     10 <title>g</title>
     11 <polygon fill="white" stroke="transparent" points="-4,4 -4,-127 130.59,-127 130.59,4 -4,4"/>
     12 <!-- a -->
     13 <g id="node1" class="node">
     14 <title>a</title>
     15 <ellipse fill="none" stroke="black" cx="66.79" cy="-90" rx="59.59" ry="18"/>
     16 <text text-anchor="middle" x="66.79" y="-86.3" font-family="Times,serif" font-size="14.00">* ◇ ¬ p ∨ ◇ p</text>
     17 <text text-anchor="middle" x="3.5" y="-111.8" font-family="Times,serif" font-size="14.00">1</text>
     18 </g>
     19 <!-- b -->
     20 <g id="node2" class="node">
     21 <title>b</title>
     22 <ellipse fill="none" stroke="black" cx="66.79" cy="-18" rx="54.69" ry="18"/>
     23 <text text-anchor="middle" x="66.79" y="-14.3" font-family="Times,serif" font-size="14.00">* ◇ ¬ p, ◇ p</text>
     24 <text text-anchor="middle" x="8.7" y="-39.8" font-family="Times,serif" font-size="14.00">1</text>
     25 </g>
     26 <!-- a&#45;&#45;b -->
     27 <g id="edge1" class="edge">
     28 <title>a&#45;&#45;b</title>
     29 <path fill="none" stroke="black" d="M66.79,-71.7C66.79,-60.85 66.79,-46.92 66.79,-36.1"/>
     30 </g>
     31 </g>
     32 </svg>