4 ms·
No the helper block is the assumption block. The input to the block connects to the first output of the implication block. The output is the assumption, i.e. wh
by Houshalter 11y ago
No the helper block is the assumption block. The input to the block connects to the first output of the implication block. The output is the assumption, i.e. whatever you typed into it. You can use that to prove more things. Then use the implication block to show that the assumption implies those things.