| law(noun, property, function, operation, logic) |
| property(noun, law, function, operation, logic) |
| maths(noun, law, property, function, operation) |
| truth functional propositional logic(noun, expression, law, property, function) |
| math(noun, law, property, function, operation) |
| mathematics(noun, law, property, function, operation) |
| propositional logic(noun, expression, law, property, function) |
| addition of real numbers(noun, expression, law, property, function) |
| rule of replacement(noun, expression, law, property, function) |
| arity operation(noun, expression, law, property, function) |
| binary operation(noun, expression, law, property, function) |
| logic(noun, law, property, function, operation) |
| multiplication of real numbers(noun, expression, law, property, function) |
| mathematical proof(noun, expression, law, property, function) |
| replacement rule(noun, expression, law, property, function) |
| set theory(noun, expression, law, property, function) |
| group theory(noun, expression, law, property, function) |
| logical connective(noun, expression, law, property, function) |
| binary relation(noun, expression, law, property, function) |
| binary truth function(noun, expression, law, property, function) |