Transformation
Part of a human's reasoning is the ability to transform knowledge from one form to another. Sometimes this will result in new knowledge through inference. Sometimes this will give us a new way to look at existing knowledge.
Three categories of transformation are: inference, substitution, and quantification. Here are 19 inference rule, 12 replacement rules and 4 quantification rules. The rules are used in deductive, inductive, and abductive reasoning.
Inference
Replacement
Definitions
In the rules of replacement a definition is called material equivalence. One way of looking at this is "B implies A" and "A implies B", so then there is two way implication. Here are some terms with the same meaning: material equivalence, universally quantified biconditional, biconditional, definition, replacement, substitution, and defines/is defined as, if and only if (iff).
familial relationship definitions:
- parent/child: y is child of x defines x is parent of y.
- son: y is child of x and y is male defines y is son of x.
- daughter: y is child of x and y is female defines y is daughter of x.
- father: y is parent of x and y is male defines y is father of x.
- mother: y is parent of x and y is female defines y is mother of x.
- sibling: x1 is child of y and x2 is child of y defines x1 is sibling of x2.
- brother: x1 is sibling of x2 and x1 is male defines x1 is brother of x2.
- sister: x1 is sibling of x2 and x1 is female defines x1 is sister of x2.
- aunt:
- uncle:
Quantification