12,140
edits
Changes
→Propositional Equation Reasoning Systems
====Proof 3====
====Proof 3====
{|
|
* '''Variant 1'''
# cast p
# dom
# can
# empty
# can
# cast q
# dom
# can
# dom
# spike
# can
# cast r
# can
# empty
# spike
# can
|
* '''Variant 2'''
# cast p
# dom
# can
# empty
# can
# cast q
# can
# dom
# can
# spike
# can
# cast r
# can
# empty
# spike
# can
|}
=====Variant 1=====
=====Variant 1=====