IWBrowser Logo

NEW URI

Proof Style
Sentence Format
Lens Magnitude
Lens Width

Current URI: http://inference-web.org/proofs/tptp/Problems/GRP/GRP024-4/query.owl#query

Question:

Query

cnf(associativity_or_center,negated_conjecture,
    ( commutator(commutator(a,b),c) = commutator(a,commutator(b,c))
    | multiply(commutator(e,f),g) = multiply(g,commutator(e,f)) )).

cnf(not_both_associativity_and_center,negated_conjecture,
    ( commutator(commutator(a,b),c) != commutator(a,commutator(b,c))
    | multiply(commutator(e,f),g) != multiply(g,commutator(e,f)) )).

  • No answer is associated with this query


    Inference Web: [ Home | Spec | Browser | Registrar | Registry ]

    Copyright 2019 Inference Web group.
    All Rights Reserved.
    IW Webmaster