| en
    
    
    
        
            noninterchangeable
        
    
    
    
        (a, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            induce
        
    
    
    
        (v, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            syncategorematic
        
    
    
    
        (a, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            extrapolate
        
    
    
    
        (v, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            intensional
        
    
    
    
        (a, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            quantifier
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            corollary
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            logic operation
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            postulation
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            logical relation
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            arity
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            particular proposition
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            nonmonotonic
        
    
    
    
        (a, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            scopal
        
    
    
    
        (a, grammar) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            presuppose
        
    
    
    
        (v, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            negation
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            reflexivity
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            non sequitur
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            proposition
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            contradiction
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            synthetic
        
    
    
    
        (a, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            tautology
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            proof
        
    
    
    
        (n, mathematics) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            categorematic
        
    
    
    
        (a, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            negate
        
    
    
    
        (v, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            paradox
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            axiom
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            predicate
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            transitivity
        
    
    
    
        (n, mathematics) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            explanans
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            quantify
        
    
    
    
        (v, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            subject
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            apodeictic
        
    
    
    
        (a, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            inductive
        
    
    
    
        (a, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            interchangeable
        
    
    
    
        (a, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            explicandum
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            inferential
        
    
    
    
        (a, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            universal proposition
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            analytic
        
    
    
    
        (a, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            deduce
        
    
    
    
        (v, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            extensional
        
    
    
    
        (a, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            postulate
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            consistency
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            elicit
        
    
    
    
        (v, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet | 
            
            
    | en
    
    
    
        
            completeness
        
    
    
    
        (n, logic) | 
            ― HasContext ⟶
         
            Weight: 2.0
         | en
    
    
    
        
            logic
        
    
    
    
        (n, cognition) | Source: Open Multilingual WordNet |