💡 Words with a Similar Meaning to "Strict implication"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| implicandnoun | (propositional calculus) The conclusion of an implication. |
| implicantnoun | (propositional calculus) The hypothesis of an implication |
| existential instantiationnoun | (logic) In predicate logic, an inference rule of the form ∃x P(x) ⊢ P(c), where c is a new symbol (not part of the original domain of discourse, but which can stand for an element of it (as in Skolemization)). |
| quantificationnoun | The act of quantifying. |
| intensionalitynoun | (logic, mathematics) The condition of having an intension |
| heyting algebranoun | (algebra, order theory) A bounded lattice, L, modified to serve as a model for a logical calculus by being equipped with a binary operation called "implies", denoted → (sometimes ⊃ or ⇒), defined such that (a→b)∧a ≤ b and, moreover, that x = a→b is the greatest element such that x∧a ≤ b (in the sense that if c∧a ≤ b then c ≤ a→b). |
| if-thenismnoun | (mathematics) The doctrine that all mathematical statements are conditional in form, meaning they can be expressed in the format "p implies q", (i.e. if p then q). |
| implicitizationnoun | (mathematics) The act of rendering something implicit |
| literal | Exactly as stated; read or understood without interpretation; according to the letter; not figurative or metaphorical; following the letter or exact words; not taking liberties; etymonic rather than idiomatic. |
| law of excluded middlenoun | (logic) A logical principle which states all statements must be either true or false, i.e. in symbols: P∨¬P. |
| peirce's lawnoun | (logic) The classically valid but intuitionistically non-valid formula ((P→Q)→P)→P of propositional calculus, which can be used as a substitute for the law of excluded middle in implicational propositional calculus. |
| modelnoun | A person who serves as a human template for artwork or fashion. |
| subsumptionnoun | The act of subsuming. |
| law of the excluded middlenoun | Alternative form of law of excluded middle. [(logic) A logical principle which states all statements must be either true or false, i.e. in symbols: P∨¬P.] |
| lemmanoun | (linguistics, lexicography) The canonical form of an inflected word; i.e., the form usually found as the headword in a dictionary, such as the nominative singular of a noun, the bare infinitive of a verb, etc. |
| intensional logicnoun | (logic) A formal deductive system able to represent the distinction between intension and extension of a term. |
| impredicativitynoun | (mathematics, logic) A self-referencing definition. |
| linear logicnoun | (logic) A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules. |
| sentential logicnoun | (logic) propositional logic |
| forward reasoningnoun | (philosophy, logic) In artificial intelligence, modus ponens. |
Translate “Strict implication” into Another Language
Pick a language — the word will be pre-filled in the translator.