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.
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".
Logical consequence.
A possible effect or result of a decision or action.
The act of stipulating; a contracting or bargaining; an agreement.
Something that is stated or stipulated as a condition of an agreement.
The situation, arrangement, and structure of the stipules.
A goal to be achieved in a chess problem; for example, to checkmate Black within a specified number of moves.