5-2-tableau.dot.svg (4678B)
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="246pt" height="441pt" 8 viewBox="0.00 0.00 246.38 441.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 437)"> 10 <title>g</title> 11 <polygon fill="white" stroke="transparent" points="-4,4 -4,-437 242.38,-437 242.38,4 -4,4"/> 12 <!-- a --> 13 <g id="node1" class="node"> 14 <title>a</title> 15 <ellipse fill="none" stroke="black" cx="122.69" cy="-400" rx="115.88" ry="18"/> 16 <text text-anchor="middle" x="122.69" y="-396.3" font-family="Times,serif" font-size="14.00">* ◇ (p ∧ ¬ q), ◇ ¬ p, ¬ ◇ ¬ q</text> 17 <text text-anchor="middle" x="3.5" y="-421.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="122.69" cy="-328" rx="105.08" ry="18"/> 23 <text text-anchor="middle" x="122.69" y="-324.3" font-family="Times,serif" font-size="14.00">◇ ¬ q * ◇ (p ∧ ¬ q), ◇ ¬ p</text> 24 <text text-anchor="middle" x="13.9" y="-349.8" font-family="Times,serif" font-size="14.00">1</text> 25 </g> 26 <!-- a--b --> 27 <g id="edge1" class="edge"> 28 <title>a--b</title> 29 <path fill="none" stroke="black" d="M122.69,-381.7C122.69,-370.85 122.69,-356.92 122.69,-346.1"/> 30 </g> 31 <!-- c --> 32 <g id="node3" class="node"> 33 <title>c</title> 34 <ellipse fill="none" stroke="black" cx="122.69" cy="-256" rx="76.09" ry="18"/> 35 <text text-anchor="middle" x="122.69" y="-252.3" font-family="Times,serif" font-size="14.00">¬ q * p ∧ ¬ q, ¬ p</text> 36 <text text-anchor="middle" x="43.15" y="-277.8" font-family="Times,serif" font-size="14.00">2</text> 37 </g> 38 <!-- b--c --> 39 <g id="edge2" class="edge"> 40 <title>b--c</title> 41 <path fill="none" stroke="black" stroke-dasharray="5,2" d="M122.69,-309.7C122.69,-298.85 122.69,-284.92 122.69,-274.1"/> 42 </g> 43 <!-- d --> 44 <g id="node4" class="node"> 45 <title>d</title> 46 <ellipse fill="none" stroke="black" cx="122.69" cy="-184" rx="60.39" ry="18"/> 47 <text text-anchor="middle" x="122.69" y="-180.3" font-family="Times,serif" font-size="14.00">p * p ∧ ¬ q, q</text> 48 <text text-anchor="middle" x="58.75" y="-205.8" font-family="Times,serif" font-size="14.00">2</text> 49 </g> 50 <!-- c--d --> 51 <g id="edge3" class="edge"> 52 <title>c--d</title> 53 <path fill="none" stroke="black" d="M122.69,-237.7C122.69,-226.85 122.69,-212.92 122.69,-202.1"/> 54 </g> 55 <!-- el --> 56 <g id="node5" class="node"> 57 <title>el</title> 58 <polygon fill="none" stroke="black" points="46.19,-83.5 46.19,-129.5 105.19,-129.5 105.19,-83.5 46.19,-83.5"/> 59 <text text-anchor="middle" x="75.69" y="-114.3" font-family="Times,serif" font-size="14.00">p * p, q</text> 60 <polyline fill="none" stroke="black" points="46.19,-106.5 105.19,-106.5 "/> 61 <text text-anchor="middle" x="75.69" y="-91.3" font-family="Times,serif" font-size="14.00">closes.</text> 62 <text text-anchor="middle" x="42.69" y="-133.8" font-family="Times,serif" font-size="14.00">2</text> 63 </g> 64 <!-- d--el --> 65 <g id="edge4" class="edge"> 66 <title>d--el</title> 67 <path fill="none" stroke="black" d="M112.26,-166.24C105.55,-155.47 96.76,-141.35 89.48,-129.66"/> 68 </g> 69 <!-- er --> 70 <g id="node6" class="node"> 71 <title>er</title> 72 <ellipse fill="none" stroke="black" cx="169.69" cy="-106.5" rx="46.29" ry="18"/> 73 <text text-anchor="middle" x="169.69" y="-102.8" font-family="Times,serif" font-size="14.00">p * ¬ q, q</text> 74 <text text-anchor="middle" x="120.04" y="-128.3" font-family="Times,serif" font-size="14.00">2</text> 75 </g> 76 <!-- d--er --> 77 <g id="edge5" class="edge"> 78 <title>d--er</title> 79 <path fill="none" stroke="black" d="M133.12,-166.24C140.91,-153.73 151.51,-136.71 159.29,-124.21"/> 80 </g> 81 <!-- f --> 82 <g id="node7" class="node"> 83 <title>f</title> 84 <polygon fill="none" stroke="black" points="140.19,-0.5 140.19,-46.5 199.19,-46.5 199.19,-0.5 140.19,-0.5"/> 85 <text text-anchor="middle" x="169.69" y="-31.3" font-family="Times,serif" font-size="14.00">p, q * q</text> 86 <polyline fill="none" stroke="black" points="140.19,-23.5 199.19,-23.5 "/> 87 <text text-anchor="middle" x="169.69" y="-8.3" font-family="Times,serif" font-size="14.00">closes.</text> 88 <text text-anchor="middle" x="136.69" y="-50.8" font-family="Times,serif" font-size="14.00">2</text> 89 </g> 90 <!-- er--f --> 91 <g id="edge6" class="edge"> 92 <title>er--f</title> 93 <path fill="none" stroke="black" d="M169.69,-88.32C169.69,-76.15 169.69,-59.73 169.69,-46.59"/> 94 </g> 95 </g> 96 </svg>