# Search results

**Create the page "Equational Reasoning" on this wiki!** See also the search results found.

- ...the sort that our axioms have just provided. Although equational forms of reasoning are paramount in mathematics, they are less familiar to the student of conv By way of gaining a minimal experience with how equational proofs look in the present forms of syntax, let us examine the proofs of a41 KB (5,845 words) - 14:38, 6 November 2015
- | [[Image:Equational Inference Band Collect p.png|500px]] | [[Image:Equational Inference Band Quit ((q)).png|500px]]11 KB (1,526 words) - 16:14, 18 November 2015
- .../index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] [[Category:Equational Reasoning]]22 KB (3,319 words) - 19:22, 6 November 2015
- .../index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] [[Category:Equational Reasoning]]5 KB (572 words) - 04:18, 7 November 2015
- .../index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] [[Category:Equational Reasoning]]6 KB (662 words) - 22:34, 5 November 2015
- 5 KB (618 words) - 04:12, 7 November 2015