Buy Me a Coffee at ko-fi.com

Rule of replacement

inference rule that may be applied to only a particular segment of an expression

distributive property double negative elimination transposition
Showing 0 to 3 of 3 Items