The connective in propositional calculus that, when joining two predicates A and B in that order, has the meaning "if A is true, then B is true".
The act of implicating.
The state of being implicated.
An implying, or that which is implied, but not expressed; an inference, or something which may fairly be understood, though not expressed in words.
Logical consequence.
A possible effect or result of a decision or action.
An assignment of a truth value to each propositional symbol of a propositional calculus.
A sense given by an interpreter; an exposition or explanation given; meaning.
heritage interpretation
An act or process of applying general principles or formulae to the explanation of the results obtained in special cases.
An approximation that allows aspects of a mathematical theory to be discussed in ordinary language.
An act of interpreting or explaining something unclear; a translation; a version.
The power of explaining.
The discipline or study of translating one spoken or signed language into another (as opposed to translation, which concerns itself with written language).
An artist's way of expressing his thought or embodying his conception of nature.