12,140
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday November 04, 2025
Jump to navigationJump to search→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=====
