Edge list

Results from ConceptNet 5.8

Sources: English Wiktionary and Open Multilingual WordNet
en negation (n, 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
sh argument (n)
― HasContext ⟶
Weight: 2.0
en logic Source: English Wiktionary
en extensional (a, 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 explicandum (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 logical relation (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 inductive (a, 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 analytic (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 categorematic (a, 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 negate (v, logic)
― HasContext ⟶
Weight: 2.0
en logic (n, cognition) Source: Open Multilingual WordNet
en noninterchangeable (a, 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 induce (v, 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 extrapolate (v, 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 presuppose (v, 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 subject (n, 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 quantifier (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 postulation (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 interchangeable (a, 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 universal proposition (n, 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 intensional (a, 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 arity (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 syncategorematic (a, logic)
― 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 apodeictic (a, 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
en logic (n, computer_science)
― HasContext ⟶
Weight: 2.0
en computer science (n, computer) Source: Open Multilingual WordNet
en argument form (n)
― HasContext ⟶
Weight: 2.0
en logic Source: English Wiktionary
sh formula (n)
― HasContext ⟶
Weight: 2.0
en logic Source: English Wiktionary
en nonmonotonic (a, 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 quantify (v, logic)
― HasContext ⟶
Weight: 2.0
en logic (n, cognition) Source: Open Multilingual WordNet
en law of nontriviality (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en predicate logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt quantificador (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs konjunkce (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en postulation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr si et seulement si
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs klamná analogie (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en unlesss
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en superfalsehood (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sv teori (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
el λήμμα (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 公設 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en suppositum (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi peruslause (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs spojka (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en prenex normal form (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en conjunctive (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en retrospective determinism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en tacit (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en modus tollendo tollens (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en propositional constant (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
el αληθήσ (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
no konjunksjon (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en arithmetic hierarchy (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en opposition (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
eo kondiĉo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en peirce's law (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en middle term (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en disjunctive (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt e
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en prenex (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en relatum (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi mereologia (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
vi định lí (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en trivialist (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi kvanttori (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en fol (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en comparate (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr condition nécessaire (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sequent (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr colligance (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en equivalence (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en analysis (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it episillogismo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga nárthacht (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en superordinate (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en kripke frame (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr stœchiologie (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en law of double negation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en modal (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en destructive sorites (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr contraposée (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en open (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
hy դատողություն (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en subnector (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en subaltern (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ru абдукция (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en law of excluded middle (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs intenzionální logika (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en minor (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
el απαγωγή (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en assertoric (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en turnstile (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sheffer stroke (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sentence (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc πάθημα (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en conversion (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en biconditional (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en alethiology (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en intensionality (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en theorem (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en predicament (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en implication (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
nl kwantor (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en shallow embedding (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en formal validity (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sah кырдьык (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en quantifier (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en informal fallacy (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en disjunct (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en paralogy (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en peano arithmetic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en strict implication (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en conditional proof (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
de syllogismus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en negatum (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en proof by exhaustion (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en superfalse (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en well formed formula (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en consensus theorem (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en disjunction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en petitio principii (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
nl als en slechts als
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en horseshoe (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en elimination (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en abstract model (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en differentia (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en supervaluationism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en predicable (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi universaalikvanttori (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc ὑπόκειμαι (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en subsumption (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en stone space (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en induce (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc ὅσπερ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
is háttur (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en fallacy (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi käänteinen (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
io termino (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en affirming consequent (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en nonimplication (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sentence connective (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi totuusfunktio (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en modal (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en counterlegal (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr syncatégorématique (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en contrapose (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr corolaire (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en many to one (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en or (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 充分必要條件 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en law of noncontradiction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en consistent (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en predicativist (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en antecedent (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en axiom scheme (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ru дилемма (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt tabela verdade (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en barbara (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en boolean variable (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en lem (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ja 連接 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en infinitary (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en inconsistency (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en assumption (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en intuitionistic logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en syllogism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en closed (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en axiom schema (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi vastakkainen (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
tr boole'sal (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en monadic predicate logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en convert (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
syc ܫܩܠܐ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga claonloighic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en structurality (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt premissa (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi jos ja vain jos
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en inductive (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en categorical (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en relevance conditional (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
de konnotation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt valor de verdade (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en skolem function (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en alternation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en weak (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ja 概括 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en elementary equivalence (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en supervenient (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en quantum logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en adjunctive (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en logical connective (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it anatreptica (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en inclusive or (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en computability theory (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt apódose (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt aletiologia (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en law of identity (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en if and only if
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs bezespornost (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en existential quantifier (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en formal system (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en antitheorem (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
el κατηγόρημα (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en irreferential (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en convertend (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 充分條件 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en epichirema (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en paraconsistent (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc διαίρεσισ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en gödel number (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en first order (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
el προϋπόθεση (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en axiomless (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt falso (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
is neitunarháttur (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en consecution (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en superfalsity (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en consistency (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en self contradiction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en precisely unless
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
el τελεστήσ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en intension (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi aposteriorinen (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en forward reasoning (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en principle of pseudo scotus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en false (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr condition suffisante (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en decidability (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en indesignate (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en elenctical (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi predikaatti (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en parenthesis (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en necessary condition (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi negaatio (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en conclude (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
hu körben forgó érvelés (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
la post hoc ergo propter hoc
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi syllogismi (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en logical system (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en defeater (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en apodosis (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en attribute (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en tetrachotomy (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en commutant (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it equiprobabile (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt valor verdade (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en conditional (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en arithmetical set (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
hu szillogizmus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en liar paradox (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl fałsz (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en definee (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en completeness (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc συλλογισμόσ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en tableau (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en model (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt indutivo (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en complement (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sh booleova funkcija (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga mórthéarma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en corollary (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en predicate (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr subsumer (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en and (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
he אםם
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sentential logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs negace (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en infima species (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ca accident (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en major (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en first order logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en preindesignate (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul unsupported titles vertical line
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr intuitionnisme (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en argumentum ad hominem (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt se e somente se
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en priori (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
io verbo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sa साधारण (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en not operator (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en common knowledge (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sorites (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en schema (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 充要條件 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en synthesis (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
hu ítélet (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en counterexample (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sa पक्ष (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 中項 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en apagoge (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en ratio formalis (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en quantification (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en antilogism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en infinite regress (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en mathematical logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en difference (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt apodicticidade (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul □
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en postulate (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl rachunek zdań (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
eo konkludo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en polysyllogism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi subjekti (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs arita (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs premisa (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en posteriori (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr enthymémisme (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
io propoziciono (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en structure (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en contrapositive (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en false analogy (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en superpredicate (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc κατασκευαστικόσ (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en categorematic (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ja 逆 (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 歸納 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi olettaa (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en limit (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
no disjunksjon (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ja アンド (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en löb's theorem (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
la ratiocinatio (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en boolean (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
nl axioma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en alethic (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en de morgan's law (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 命題 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
es a posteriori (r)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en deontic logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it mereologia (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
el αξίωμα (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en particular (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
es a priori (r)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en disjunctive syllogism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs kvantifikace (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en boolean function (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en nor (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en zero knowledge (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en neutrosophic (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi deduktiivisuus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
de entscheidungsproblem (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ja ポーランド記法 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en apodicticity (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en semantic tableau (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt corolário (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs plynout (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc κατηγορία (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
de funktion (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sv icke (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en intensional logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en weaker (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
nl dan en slechts dan als
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi abduktio (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 結論 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en precisive (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en counterextension (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
th ตรรกวิบัติ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en strong (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en context (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sublate (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl alternatywa (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt contradição em termos (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it necesse (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en nontheorem (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
da dom (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en transitivity (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en veristic (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en decidable (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en modus tollens (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl zdanie (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en predication (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi takajäsen (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
he אם ורק אם
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en dialetheism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ja 偽 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en predesignate (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en operation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en axiom (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs disjunkce (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
hu indukál (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en proof by example (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl poprzednik (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en equiprobable (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en coinduction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en member (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
th เงื่อนไข (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sld (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
hu posztulátum (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
de kennzeichnung (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en mereology (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en term (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt a priori (r)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en bandwagon fallacy (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en clausal normal form (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en consilience (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en contractionless (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en conclusion (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr assertorique (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en apodictically (r)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi totuusehto (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en colligation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr abductif (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga meitifisic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en succedent (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi johtopäätös (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc ἄκρον (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it logica matematica (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en subformula (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
la protasis (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en negation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi predikaattilogiikka (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en doxastic logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi tuonti (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en superordination (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en free variable (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt apodíctico (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sh booleova logika (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
te పూర్వపక్షము (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en supertrue (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en subalternate (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt antinomicamente (r)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en contradiction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs ekvivalence (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en material implication (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs schéma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en major premise (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en counterproof (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
es predicado (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en nontrue (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc κατασκευή (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi totuusjakauma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en subaltern (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc τεκμήριον (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en maximal (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
la conexum (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it premessa (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it sintesi (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en definite clause (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en bisimulation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en intuitionistic (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en innuendo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
io induktar (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt termo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga mód (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt alético (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en connective (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en interpretation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en or (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc δεικτικόσ (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it calcolabile (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en ontology (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en eigenvariable (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en crocodile (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ja 誤謬 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en counterpossible (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en a
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en horn clause (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en proof (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt tautologia (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en boolean logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en valuation function (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en proof system (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
syc ܥܠܝܬܐ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
es premisa (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi etujäsen (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr antécédent (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en modus ponendo ponens (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en mereological (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en falsum (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en free (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sa लिङ्ग (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en presburger arithmetic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mn нөхцөл (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en double turnstile (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sv konjunktion (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en constructive logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it sse
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en monome (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en antepredicament (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en medium (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sv korollarium (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt predicamento (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en contraposed (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs logický klam (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en remotion (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en adicity (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs bezesporný (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga is gá agus is leor
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr convers (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
is háttarökfræði (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr postulat (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en semifactual (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en ex falso quod libet (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en skolemization (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en trivialism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en logic (n)
― HasContext ⟶
Weight: 1.0
en philosophy Source: English Wiktionary
en universe of discourse (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en modus tollendo ponens (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en formula (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en ignotum per ignotius (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 套套邏輯 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en simplification (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en extension (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
de wahrheitswert (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en equipollence (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
te మర్కటకిశోరన్యాయము (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en summum genus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sh nili (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
is neitun (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en modality (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en herbrand universe (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en term logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en beg question (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en nonliteral (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ceb inkonsistensi (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en finitary (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 形式邏輯 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en disjunctive normal form (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en dichotomy (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en boolean algebra (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en valid (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr autocontradiction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en predicativism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga mórleagan (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en complete (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en posteriori (r)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en stoichiology (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
is tvöföld neitun (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en truth value (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl rząd (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi klausuuli (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi edellyttää (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs konzistence (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en deductive (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en proof by contradiction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi partikulaari (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 演繹法 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en boolean (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
el στοιχειολογία (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en herbrandization (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en subalternant (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt antinómico (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul mso
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt predicar (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en derive (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en impredicative (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
es antinomia (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en cherry pick (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs předpoklad (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en true (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en monadic second order logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en predicate calculus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 論題 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl koniunkcja (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sa विपक्ष (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en dirimens copulatio (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en paramodulation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en reductio ad absurdum (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en algebraic normal form (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en distribution (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sv följdsats (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga aitreabúid (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en connotation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en elench (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en logical calculus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en prime formula (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en precisification (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
is rökhenda (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en individualism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en tautology (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en disjunctive (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en modal logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
te కాకాక్షిన్యాయము (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
io indukto (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en premise (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en not function (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en verifiable (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr syncatégorème (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sequent calculus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en quantified (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en turing degree (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en rhetorical induction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en functionhood (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ko 공리 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs indukce (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sufficient condition (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en falsidical (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en prenex (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en subcontrary (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en formal fallacy (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en supertruth (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en trilemma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en inference rule (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en principle of explosion (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en depth (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en deep embedding (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it abduttivo (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt ou (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en dilemma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 公理 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul praeclarum theorema (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en vicious circle (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en mark (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en predicate (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en vel (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en obversion (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul so
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi propositiologiikka (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl tautologiczny (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en implicational propositional calculus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr déduction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl twierdzenie (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en deflationary (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi modaalilogiikka (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt xor (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt válido (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
nl paraconsistent (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi alisteinen (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en circular argument (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
he תנאי (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en dormitive virtue (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en hyperjump (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi aksiooma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en tilde (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it paraconsistente (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en truth function (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en modus ponens (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc πρότασισ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul ι
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en or
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 二進 (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ar نفي (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl wtw
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 若且唯若
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
vi tiên đề (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc σημεῖον (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en just in case
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl wyprowadzać (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en formation rule (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt abdutivo (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en truth tree (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en propositional variable (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi hylätä (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en metavariable (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en existential instantiation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga fochontráir (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr prémisse (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en xor (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en equivocation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en exclusive or (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi konjunktio (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en kripke model (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt antilogismo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en axiomatic system (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en abductive (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en protothetic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sh booleova varijabla (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
de tautologie (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs podmínka (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en prejacent (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en defeasible (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en deduction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en valuation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl tautologia (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en theory (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en nand (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ko 포함하다 (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs implikace (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ja 概括 (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
la syllogismus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt dilema (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en minor premise (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi induktio (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sv boolesk (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt booleano (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en denotation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en stronger (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt silogismo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs konzistentní (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en significate (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en apodeictic (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
da sandhedsværdi (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it antilogismo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en logical constant (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en soundness (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 歸納法 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
tr ikilem (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en abdicative (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt antinomia (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt sse
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en not (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fa گزاره (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul fo
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en negative (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en atomic formula (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en subject (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul ℩
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul ◊
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en kleene star (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en episyllogism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc ὕπαρξισ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en vacuously (r)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr connotatif (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en accident (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en analogism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en converse (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en enthymeme (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it controesempio (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en universal quantifier (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en right hand rule (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc ἀνασκευαστικόσ (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
de aussage (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga fo ghlac (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi eksistenssikvanttori (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en epagoge (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sh booleova algebra (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en prejacent (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc εἰδητικόσ (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
tr bağlama (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en transduction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sk schéma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en argument (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en distribute (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 悖論 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en law (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs formální jazyk (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en contraposition (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga foshuíomh (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 矛盾 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en dm (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en convertible (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs obměna (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en circle (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 斷案 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en contingency (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ja 真理値表 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en protasis (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
tr boole'ca (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en logic (n)
― HasContext ⟶
Weight: 1.0
en mathematics Source: English Wiktionary
it sequente (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en mt (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en apodeictical (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en obverse (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en scope (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr abduction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en counterinduction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi ekvivalenssi (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
de schlussfolgerung (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en truth table (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en conjunctive (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sa साध्य (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en heuretic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en consequent (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it antepredicamento (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en explicandum (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc συλλογίζομαι (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt prova (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul q
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
la syllogizo (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs důkaz sporem (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en switching function (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sphere (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en closed formula (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en herbrand function (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul π
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc μάχη (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en zhegalkin polynomial (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en second order (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en modus ponendo tollens (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ja 逆 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en priori (r)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en superintuitionistic (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt ou exclusivo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ja 条件 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs výroková logika (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 當且僅當
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en reduce (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs trilema (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en superaltern (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en inverse (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi konnektiivi (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en paraconsistent logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
lv spriedums (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
la inductio (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en bound (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
el επαγωγή (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt negação (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
el φαύλοσ κύκλοσ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en vacuous truth (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi totuusarvo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en conservative extension (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en many sorted logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en categorical proposition (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en simple (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en negand (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en thesis (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en conjunctive normal form (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi de morganin laki (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi aksiomi (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en discursus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
de negation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt antepredicamento (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi päätellä (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en comprehension (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
lt terminas (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr épichérème (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs subjekt (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
la epagoge (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ga suim (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs booleova logika (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en prolepsis (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt apodicticamente (r)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en ring sum normal form (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en analytic (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en concrete (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
la categoria (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en contradictionism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt aridade (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en figure (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en crocodility (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en recursion theory (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en coextensive (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ja 真理値 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en nonuniversal (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
syc ܐܠܨܬܐ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en arity (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 異或 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en exclusive disjunction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en arithmetical hierarchy (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en equisatisfiable (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en proposition (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en domain of discourse (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt formal (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en conjunction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt conectivo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi luonnollinen päättely (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
te క్షీరోదకన్యాయము (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en propositional logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en zero knowledge proof (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
zh 必要條件 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en conditional (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ceb silohismo (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ru истина (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en and (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi denotaatio (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en linear logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en binary (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt e (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en propositional function (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
sk modálna logika (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en literal (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en determine (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
es dicotomía (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
frm predicat (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en impredicativity (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs protipříklad (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi väittää (v)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en metaphysics (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en polish notation (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en prosyllogism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en counterlegal (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs četnost (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
grc πρόσληψισ (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en abduction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi aposteriorisesti (r)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
ko 종합 (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en affirmative (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
mul con
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en entscheidungsproblem (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs booleovská logika (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en degree (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en formal logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en contradictory (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en conjunct (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en symbolic logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en denial (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en distributive (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl następnik (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
it assioma (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
cs dedukce (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en many to many (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en perspicuous (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en interdefinable (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en one to many (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en dormitive principle (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en inclusive disjunction (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en noneism (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi kontingenssi (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en logic (v)
― HasContext ⟶
Weight: 1.0
en pejorative Source: English Wiktionary
it necesse (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pt apagoge (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en propositional calculus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en schematic variable (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en deduction theorem (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en two wrongs make right
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
pl spójnik (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en description logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en equipollent (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi epätosi (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en rewriting (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en sound (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en equisatisfiability (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
de boolesch (a)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fi partikulaari (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
fr conséquent (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.