Redo the development of the proof tree in existential graph format.
Redo the development of the proof tree in existential graph format.
−
Each frame of the developmental scheme that follows is divided by
+
Each frame of the developmental scheme that follows is divided by a dotted line, with terms that contribute to the main term under development being shown above it and the main term itself being shown below it.
−
a dotted line, with terms that contribute to the main term under
−
development being shown above it and the main term itself being