CASES4 : MEXPR

CASES4 is a top-level command.
Rule of Cases.
The command format for CASES4 is:

 <n>CASES4   P10   D1   P9   H8    P7     H6     P5     H4     P3     H2      D      C      B      A      E    P10-HYPS    D1-HYPS    P9-HYPS    H8-HYPS    P7-HYPS    H6-HYPS    P5-HYPS    H4-HYPS    P3-HYPS    H2-HYPS 
"LINE" "LINE" "LINE" "LINE" "LINE" "LINE" "LINE" "LINE" "LINE" "LINE" "GWFF" "GWFF" "GWFF" "GWFF" "GWFF" "LINELIST" "LINELIST" "LINELIST" "LINELIST" "LINELIST" "LINELIST" "LINELIST" "LINELIST" "LINELIST" "LINELIST"


The arguments have the following meaning:
P10 : Conclusion for All Four Cases
D1 : Line with Disjunction
P9 : Conclusion in Case 4
H8 : Line with Assumption for Case 4
P7 : Conclusion in Case 3
H6 : Line with Assumption for Case 3
P5 : Conclusion in Case 2
H4 : Line with Assumption for Case 2
P3 : Conclusion in Case 1
H2 : Line with Assumption for Case 1
D : Disjunct Four
C : Disjunct Three
B : Disjunct Two
A : Disjunct One
E : Conclusion
P10-HYPS : Hypotheses
D1-HYPS : Hypotheses
P9-HYPS : Hypotheses
H8-HYPS : Hypotheses
P7-HYPS : Hypotheses
H6-HYPS : Hypotheses
P5-HYPS : Hypotheses
H4-HYPS : Hypotheses
P3-HYPS : Hypotheses
H2-HYPS : Hypotheses

ETPS documentation homepage


CASES4 : SRULE

CASES4 is an inference rule.
Its priority is NIL

ETPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage