Template:Property non-implication (generic): Difference between revisions
No edit summary |
No edit summary |
||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{quotation| | {{quotation|This article gives the statement and possibly, proof, of a non-implication relation between two [[{{{context space}}} property|{{{context space}}} properties]]. That is, it states that every {{{context space}}} satisfying the first {{{context space}}} property {{#if:{{{stronger|}}}|(i.e., [[{{{stronger}}}]])}} need '''not''' satisfy the second {{{context space}}} property {{#if:{{{weaker|}}}| (i.e., [[{{{weaker}}}]])}}<br>[[:Category:{{{context space}}} property non-implications|View a complete list of {{{context space}}} property non-implications]] <nowiki>|</nowiki> [[:Category:{{{context space}}} property implications|View a complete list of {{{context space}}} property implications]]<br>{{#if:{{{stronger|}}}|{{#ask:[[Fact about::{{{stronger}}}]]|limit = 0| searchlabel = Get more facts about {{{stronger}}} }} }}<nowiki>|</nowiki>{{#if:{{{weaker|}}}|{{#ask:[[Fact about::{{{weaker}}}]]|limit = 0| searchlabel = Get more facts about {{{weaker}}} }} }} }}{{#if:{{{stronger relevance|}}}|[[Fact about::{{{stronger}}};{{{stronger relevance}}}| ]]|[[Fact about::{{{stronger}}};2| ]]}}{{#if:{{{weaker relevance|}}}|[[Fact about::{{{weaker}}};{{{weaker relevance}}}| ]]|[[Fact about::{{{weaker}}};2| ]]}}<includeonly>{{#ifeq:{{NAMESPACE}}|{{ns:0}}|[[Category: {{{context space}}} property non-implications]][[Page class::Fact| ]]}}</includeonly><noinclude>[[Category: Property implication specification templates]]</noinclude> | ||
Latest revision as of 00:52, 9 January 2026
This article gives the statement and possibly, proof, of a non-implication relation between two [[{{{context space}}} property|{{{context space}}} properties]]. That is, it states that every {{{context space}}} satisfying the first {{{context space}}} property need not satisfy the second {{{context space}}} property
[[:Category:{{{context space}}} property non-implications|View a complete list of {{{context space}}} property non-implications]] | [[:Category:{{{context space}}} property implications|View a complete list of {{{context space}}} property implications]]
|