Template:Function property non-implication: Difference between revisions
(Created page with "{{#if:{{{stronger relevance|}}}| {{property non-implication (generic)| context space = function| stronger = {{{stronger}}} | weaker = {{{weaker}}}| stronger relevance = {{{str...") |
No edit summary |
||
| Line 14: | Line 14: | ||
}} | }} | ||
|{{property non-implication (generic)| | |{{property non-implication (generic)| | ||
context space = | context space = function}} | ||
}}}} | }}}} | ||
{{quotation|'''EXPLORE EXAMPLES YOURSELF''': {{#ask: [[satisfies property::{{{stronger}}}]][[dissatisfies property::{{{weaker}}}]]|?subgroup part|?group part|limit = 0|searchlabel = View examples of subgroups satisfying property {{{stronger}}} but not {{{weaker}}}}}<nowiki>|</nowiki>{{#ask: [[satisfies property::{{{stronger}}}]][[satisfies property::{{{weaker}}}]]|limit = 0|?subgroup part|?group part|searchlabel = View examples of subgroups satisfying property {{{stronger}}} and {{{weaker}}}}}}} | {{quotation|'''EXPLORE EXAMPLES YOURSELF''': {{#ask: [[satisfies property::{{{stronger}}}]][[dissatisfies property::{{{weaker}}}]]|?subgroup part|?group part|limit = 0|searchlabel = View examples of subgroups satisfying property {{{stronger}}} but not {{{weaker}}}}}<nowiki>|</nowiki>{{#ask: [[satisfies property::{{{stronger}}}]][[satisfies property::{{{weaker}}}]]|limit = 0|?subgroup part|?group part|searchlabel = View examples of subgroups satisfying property {{{stronger}}} and {{{weaker}}}}}}} | ||
Latest revision as of 15:40, 24 September 2021
This article gives the statement and possibly, proof, of a non-implication relation between two function properties. That is, it states that every function satisfying the first function property need not satisfy the second function property
View a complete list of function property non-implications | View a complete list of function property implications
|
EXPLORE EXAMPLES YOURSELF: View examples of subgroups satisfying property {{{stronger}}} but not {{{weaker}}}|View examples of subgroups satisfying property {{{stronger}}} and {{{weaker}}}