-
Notifications
You must be signed in to change notification settings - Fork 9
/
Disj_Syll.slt
1 lines (1 loc) · 1.21 KB
/
Disj_Syll.slt
1
(:DESCRIPTIONS (( :X 252 :Y 525 :ID 1 :NAME "GIVEN1" :FORMULA "(or \\phi \\psi)" :JUSTIFICATION LOGIC::ASSUME) ( :X 558 :Y 88 :ID 2 :NAME "GIVEN2" :FORMULA "(not \\phi)" :JUSTIFICATION LOGIC::ASSUME) ( :X 470 :Y 879 :ID 3 :NAME "GOAL" :FORMULA "\\psi" :JUSTIFICATION LOGIC::OR-ELIM) ( :X 836 :Y 85 :ID 6 :NAME "6" :FORMULA "(not \\psi)" :JUSTIFICATION LOGIC::ASSUME) ( :X 674 :Y 158 :ID 7 :NAME "7" :FORMULA "(and (not \\phi) (not \\psi))" :JUSTIFICATION LOGIC::AND-INTRO) ( :X 598 :Y 407 :ID 8 :NAME "8" :FORMULA "(not \\phi)" :JUSTIFICATION LOGIC::AND-ELIM) ( :X 391 :Y 397 :ID 10 :NAME "10" :FORMULA "\\phi" :JUSTIFICATION LOGIC::ASSUME) ( :X 482 :Y 529 :ID 11 :NAME "11" :FORMULA "\\psi" :JUSTIFICATION LOGIC::NOT-ELIM) ( :X 707 :Y 526 :ID 12 :NAME "12" :FORMULA "\\psi" :JUSTIFICATION LOGIC::ASSUME)) :STRUCTURES ((:CONCLUSION 1 :PREMISES ()) (:CONCLUSION 2 :PREMISES ()) (:CONCLUSION 3 :PREMISES (1 11 12)) (:CONCLUSION 6 :PREMISES ()) (:CONCLUSION 7 :PREMISES (2 6)) (:CONCLUSION 8 :PREMISES (7)) (:CONCLUSION 10 :PREMISES ()) (:CONCLUSION 11 :PREMISES (10 8)) (:CONCLUSION 12 :PREMISES ())) :INTERFACE (:X 0 :Y 0 :WIDTH 1000 :HEIGHT 800 :PROOF-SYSTEM LOGIC::PROPOSITIONAL-CALCULUS):CONNECTOR-TYPE "Bezier" :BACKGROUND-COLOR "white")