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