konnektiivi

konnektiivi (nominative singular)
konnektiivit (nominative plural)
konnektiivi (accusative nominative singular)
konnektiivit (accusative nominative plural)
konnektiivin (accusative genitive singular)
konnektiivit (accusative genitive plural)
konnektiivin (genitive singular)
konnektiivien (genitive plural)
konnektiivia (partitive singular)
konnektiiveja (partitive plural)
konnektiivissa (inessive singular)
konnektiiveissa (inessive plural)
konnektiivista (elative singular)
konnektiiveista (elative plural)
konnektiiviin (illative singular)
konnektiiveihin (illative plural)
konnektiivilla (adessive singular)
konnektiiveilla (adessive plural)
konnektiivilta (ablative singular)
konnektiiveilta (ablative plural)
konnektiiville (allative singular)
konnektiiveille (allative plural)
konnektiivina (essive singular)
konnektiiveina (essive plural)
konnektiiviksi (singular translative)
konnektiiveiksi (plural translative)
konnektiivitta (abessive singular)
konnektiiveitta (abessive plural)
konnektiivein (instructive plural)
See the possessive forms below. (comitative)
konnektiivini (nominative singular)
konnektiivini (nominative plural)
konnektiivini (accusative nominative singular)
konnektiivini (accusative nominative plural)
konnektiivini (accusative genitive singular)
konnektiivini (accusative genitive plural)
konnektiivini (genitive singular)
konnektiivieni (genitive plural)
konnektiiviani (partitive singular)
konnektiivejani (partitive plural)
konnektiivissani (inessive singular)
konnektiiveissani (inessive plural)
konnektiivistani (elative singular)
konnektiiveistani (elative plural)
konnektiiviini (illative singular)
konnektiiveihini (illative plural)
konnektiivillani (adessive singular)
konnektiiveillani (adessive plural)
konnektiiviltani (ablative singular)
konnektiiveiltani (ablative plural)
konnektiivilleni (allative singular)
konnektiiveilleni (allative plural)
konnektiivinani (essive singular)
konnektiiveinani (essive plural)
konnektiivikseni (singular translative)
konnektiiveikseni (plural translative)
konnektiivittani (abessive singular)
konnektiiveittani (abessive plural)
konnektiiveineni (comitative plural)
konnektiivisi (nominative singular)
konnektiivisi (nominative plural)
konnektiivisi (accusative nominative singular)
konnektiivisi (accusative nominative plural)
konnektiivisi (accusative genitive singular)
konnektiivisi (accusative genitive plural)
konnektiivisi (genitive singular)
konnektiiviesi (genitive plural)
konnektiiviasi (partitive singular)
konnektiivejasi (partitive plural)
konnektiivissasi (inessive singular)
konnektiiveissasi (inessive plural)
konnektiivistasi (elative singular)
konnektiiveistasi (elative plural)
konnektiiviisi (illative singular)
konnektiiveihisi (illative plural)
konnektiivillasi (adessive singular)
konnektiiveillasi (adessive plural)
konnektiiviltasi (ablative singular)
konnektiiveiltasi (ablative plural)
konnektiivillesi (allative singular)
konnektiiveillesi (allative plural)
konnektiivinasi (essive singular)
konnektiiveinasi (essive plural)
konnektiiviksesi (singular translative)
konnektiiveiksesi (plural translative)
konnektiivittasi (abessive singular)
konnektiiveittasi (abessive plural)
konnektiiveinesi (comitative plural)
konnektiivimme (nominative singular)
konnektiivimme (nominative plural)
konnektiivimme (accusative nominative singular)
konnektiivimme (accusative nominative plural)
konnektiivimme (accusative genitive singular)
konnektiivimme (accusative genitive plural)
konnektiivimme (genitive singular)
konnektiiviemme (genitive plural)
konnektiiviamme (partitive singular)
konnektiivejamme (partitive plural)
konnektiivissamme (inessive singular)
konnektiiveissamme (inessive plural)
konnektiivistamme (elative singular)
konnektiiveistamme (elative plural)
konnektiiviimme (illative singular)
konnektiiveihimme (illative plural)
konnektiivillamme (adessive singular)
konnektiiveillamme (adessive plural)
konnektiiviltamme (ablative singular)
konnektiiveiltamme (ablative plural)
konnektiivillemme (allative singular)
konnektiiveillemme (allative plural)
konnektiivinamme (essive singular)
konnektiiveinamme (essive plural)
konnektiiviksemme (singular translative)
konnektiiveiksemme (plural translative)
konnektiivittamme (abessive singular)
konnektiiveittamme (abessive plural)
konnektiiveinemme (comitative plural)
konnektiivinne (nominative singular)
konnektiivinne (nominative plural)
konnektiivinne (accusative nominative singular)
konnektiivinne (accusative nominative plural)
konnektiivinne (accusative genitive singular)
konnektiivinne (accusative genitive plural)
konnektiivinne (genitive singular)
konnektiivienne (genitive plural)
konnektiivianne (partitive singular)
konnektiivejanne (partitive plural)
konnektiivissanne (inessive singular)
konnektiiveissanne (inessive plural)
konnektiivistanne (elative singular)
konnektiiveistanne (elative plural)
konnektiiviinne (illative singular)
konnektiiveihinne (illative plural)
konnektiivillanne (adessive singular)
konnektiiveillanne (adessive plural)
konnektiiviltanne (ablative singular)
konnektiiveiltanne (ablative plural)
konnektiivillenne (allative singular)
konnektiiveillenne (allative plural)
konnektiivinanne (essive singular)
konnektiiveinanne (essive plural)
konnektiiviksenne (singular translative)
konnektiiveiksenne (plural translative)
konnektiivittanne (abessive singular)
konnektiiveittanne (abessive plural)
konnektiiveinenne (comitative plural)
konnektiivinsa (nominative singular)
konnektiivinsa (nominative plural)
konnektiivinsa (accusative nominative singular)
konnektiivinsa (accusative nominative plural)
konnektiivinsa (accusative genitive singular)
konnektiivinsa (accusative genitive plural)
konnektiivinsa (genitive singular)
konnektiiviensa (genitive plural)
konnektiiviaan (partitive singular)
konnektiiviansa (partitive singular)
konnektiivejaan (partitive plural)
konnektiivejansa (partitive plural)
konnektiivissaan (inessive singular)
konnektiivissansa (inessive singular)
konnektiiveissaan (inessive plural)
konnektiiveissansa (inessive plural)
konnektiivistaan (elative singular)
konnektiivistansa (elative singular)
konnektiiveistaan (elative plural)
konnektiiveistansa (elative plural)
konnektiiviinsa (illative singular)
konnektiiveihinsa (illative plural)
konnektiivillaan (adessive singular)
konnektiivillansa (adessive singular)
konnektiiveillaan (adessive plural)
konnektiiveillansa (adessive plural)
konnektiiviltaan (ablative singular)
konnektiiviltansa (ablative singular)
konnektiiveiltaan (ablative plural)
konnektiiveiltansa (ablative plural)
konnektiivilleen (allative singular)
konnektiivillensa (allative singular)
konnektiiveilleen (allative plural)
konnektiiveillensa (allative plural)
konnektiivinaan (essive singular)
konnektiivinansa (essive singular)
konnektiiveinaan (essive plural)
konnektiiveinansa (essive plural)
konnektiivikseen (singular translative)
konnektiiviksensa (singular translative)
konnektiiveikseen (plural translative)
konnektiiveiksensa (plural translative)
konnektiivittaan (abessive singular)
konnektiivittansa (abessive singular)
konnektiiveittaan (abessive plural)
konnektiiveittansa (abessive plural)
konnektiiveineen (comitative plural)
konnektiiveinensa (comitative plural)

Internationalism (see French connectif).

(logic) A connective (function that operates on truth values)


quantificador

pt-noun

quantificador m (plural quantificadores, feminine quantificadora, feminine plural quantificadoras)

quantificadores (plural)
quantificadora (feminine)
quantificadoras (feminine plural)

From quantificar (“to quantify”) + -dor (“-er”), from quanto (“amount”) + -ificar (“-ify”).

suffix

(logic) quantifier (operator which indicates the degree a predicate is true for a specified set)


κατασκευή

grc-noun

κᾰτᾰσκευή • (kătăskeuḗ) f (genitive κᾰτᾰσκευῆς); first declension

κᾰτᾰσκευή (canonical)
kătăskeuḗ (romanization)
κᾰτᾰσκευῆς (genitive)
ἡ κᾰτᾰσκευή (nominative singular)
τὼ κᾰτᾰσκευᾱ́ (dual nominative)
αἱ κᾰτᾰσκευαί (nominative plural)
τῆς κᾰτᾰσκευῆς (genitive singular)
τοῖν κᾰτᾰσκευαῖν (dual genitive)
τῶν κᾰτᾰσκευῶν (genitive plural)
τῇ κᾰτᾰσκευῇ (dative singular)
τοῖν κᾰτᾰσκευαῖν (dative dual)
ταῖς κᾰτᾰσκευαῖς (dative plural)
τὴν κᾰτᾰσκευήν (accusative singular)
τὼ κᾰτᾰσκευᾱ́ (accusative dual)
τᾱ̀ς κᾰτᾰσκευᾱ́ς (accusative plural)
κᾰτᾰσκευή (singular vocative)
κᾰτᾰσκευᾱ́ (dual vocative)
κᾰτᾰσκευαί (plural vocative)

παρασκευή

antonym(s) of “permanent or fixed assets”

Greek: κατασκευή (kataskeví)

Latin: catasceua

60 BCE – 7 BCE, Dionysius of Halicarnassus, Commentaries on the Attic Orators: On Lysias 24

161 CE – 180 CE, Hermogenes, On Rhetorical Exercises 5

106 BCE – 43 BCE, Cicero, Letters to Atticus 1.14.4

213 CE – 273 CE, Cassius Longinus, Collected Works 11.2

Quint. 2.4.18


nonliteral

(programming, logic) That which is not a literal.


tetrachotomy

tĕtrəkŏʹtəmĭ

/tɛtɹəˈkɒtəmɪ/

From τέτραχα (tétrakha, “quadripartite”) + τόμος (tómos, “slice, piece”) (from τέμνω (témnō, “I cut”)).


necesse

Borrowed from Latin necesse (“necessary, needed”).

bor+

«[...] che vedrai non capere in questi giri ¶ s'essere in carità è qui necesse, ¶ e se la sua natura ben rimiri. ¶ [...]»

1321, Dante Alighieri, La divina commedia: Paradiso, Le Monnier, published 2002, Canto III, p. 61, vv. 49-52:

«… Which thou shalt see finds no place in these circles, ¶ if being in charity is needful here, ¶ and if thou lookest well into its nature. …»

(Scholastic philosophy, logic) necessary, needful; necessarily true


necesse

«[...] non per sapere il numero in che enno ¶ li motor di qua sù, o se necesse ¶ con contingente mai necesse fenno; [...]»

1321, Dante Alighieri, La divina commedia: Paradiso, Le Monnier, published 2002, Canto XIII, p. 236, vv. 97-99:

«… 'twas not to know the number in which are ¶ the motors here above, or if necessary ¶ with a contingent e'er necessary make; …»

(Scholastic philosophy, logic) a statement which is necessarily truthful; tautology


pons asinorum

From New Latin pons asinorum, from Latin pōns (“bridge”) + genitive plural of asinus (“donkey”). Literally, “bridge of donkeys”.

(logic) A method for finding the middle term of a syllogism in Aristotlean analytics.


pons asinorum

la-noun

pōns asinōrum m (genitive pontis asinōrum); third declension

pōns asinōrum (canonical masculine)
pontis asinōrum (genitive)
pōns asinōrum (nominative singular)
pontēs asinōrum (nominative plural)
pontis asinōrum (genitive singular)
pontium asinōrum (genitive plural)
pontī asinōrum (dative singular)
pontibus asinōrum (dative plural)
pontem asinōrum (accusative singular)
pontēs asinōrum (accusative plural)
pontīs asinōrum (accusative plural)
ponte asinōrum (ablative singular)
pontibus asinōrum (ablative plural)
pōns asinōrum (singular vocative)
pontēs asinōrum (plural vocative)

desc

→ Dutch: ezelsbrug, ezelsbruggetje (calque)

→ Indonesian: jembatan keledai (calque)

→ Finnish: aasinsilta (calque)

→ German: Eselsbrücke (calque)

→ Hungarian: szamárhíd (calque)

[ˈpõːs̠ äs̠ɪˈnoːrʊ̃ˑ]

Literally “bridge of donkeys”, attributed to Jean Buridan (14th century) but first attested in Petrus Tartaretus (d. 1522), who cites it as a common appellation for the device in syllogistic reasoning “because of its apparent difficulty”, i.e. it separates experts from “donkeys”. The application to Euclid appears to postdate its use in logic.

(logic) a method for finding the middle term in an Aristotelian syllogism, or a diagrammatic representation of this method


σημεῖον

grc-noun

σημεῖον • (sēmeîon) n (genitive σημείου); second declension

sēmeîon (romanization)
σημείου (genitive)
τὸ σημεῖον (nominative singular)
τὼ σημείω (dual nominative)
τᾰ̀ σημεῖᾰ (nominative plural)
τοῦ σημείου (genitive singular)
τοῖν σημείοιν (dual genitive)
τῶν σημείων (genitive plural)
τῷ σημείῳ (dative singular)
τοῖν σημείοιν (dative dual)
τοῖς σημείοις (dative plural)
τὸ σημεῖον (accusative singular)
τὼ σημείω (accusative dual)
τᾰ̀ σημεῖᾰ (accusative plural)
σημεῖον (singular vocative)
σημείω (dual vocative)
σημεῖᾰ (plural vocative)
σημήϊον (alternative)
σᾱμήϊον (alternative)
σᾱμεῖον (alternative)
σᾱμᾶον (alternative)

Greek: σημείο (simeío)

From σῆμᾰ (sêmă, “mark, sign”) + -ῐον (-ĭon).

(logic) a sign used as a probable argument in proof of a conclusion


negacja

negacja (nominative singular)
negacje (nominative plural)
negacji (genitive singular)
negacji (genitive plural)
negacyj (archaic genitive plural)
negacji (dative singular)
negacjom (dative plural)
negację (accusative singular)
negacje (accusative plural)
negacją (instrumental singular)
negacjami (instrumental plural)
negacji (locative singular)
negacjach (locative plural)
negacjo (singular vocative)
negacje (plural vocative)

(logic) negation (proposition which is the contradictory of another proposition and which can be obtained from that other proposition by the appropriately placed addition/insertion of the word "not")

(logic) negation (logical operation which obtains such (negated) propositions)


dormitive virtue

en-noun

dormitive virtue (plural dormitive virtues)

A calque translation of Latin, virtus dormitiva, coined by Molière in The Imaginary Invalid. In the play, he lampoons a group of physicians providing an explanation in macaronic Latin of the sleep-inducing properties of opium as stemming from its "virtus dormitiva".

The inevitable next suggestion -— that aesthetic experience is distinguished not by pleasure at all but by a special aesthetic emotion can be dropped on the waste-pile of "dormitive virtue” explanations

1968, Proceedings and Addresses of the American Philosophical Association, American Philosophical Association, page 6:

Solidity now has all the defects of a dormitive virtue, obscurity, unobservability, something-we-know-notwhattery — and none of the advantages of a dormitive virtue

1998, Rae Langton, Kantian Humility: Our Ignorance of Things in Themselves, page 176:

Because (1) is postulated and at the same time used as a covering law, the putative explanations are vacuous in the sense in which explanatory appeals to dormitive virtue are.

2003, Henry E. Kyburg, Mariam Thalos, Probability is the Very Guide of Life, page 66:

Now admittedly, this has the look of a dormitive virtue argument: the reason the intellect can recollect its own activity is that it possesses just such a recollective capacity.

2013, Charles Bolyard, Rondo Keele, Later Medieval Metaphysics: Ontology, Language, and Logic, page 147:

But if talk of such facts just arises via hypostatizations out of the relevant truths, then the facts posited can't explain the truths except via a blatant dormitive virtue explanation.

2021, Karen Bennett, Dean W. Zimmerman, Oxford Studies in Metaphysics, volume 12, page 29:

Fitness is not the empty idea of a dormitive virtue. The point is that although fitness is explanatory, it seems to be a placeholder for a deeper account that dispenses with the concept of fitness [again the propensity concept].

2021, Richard E. Michod, Darwinian Dynamics: Evolutionary Transitions in Fitness and Individuality, page 186:

(idiomatic, rhetoric, logic, linguistics) A type of tautology in which an item is explained in terms of the item itself, only put in different (usually more abstract) words.


koniunkcja

koniunkcja (nominative singular)
koniunkcje (nominative plural)
koniunkcji (genitive singular)
koniunkcji (genitive plural)
koniunkcyj (archaic genitive plural)
koniunkcji (dative singular)
koniunkcjom (dative plural)
koniunkcję (accusative singular)
koniunkcje (accusative plural)
koniunkcją (instrumental singular)
koniunkcjami (instrumental plural)
koniunkcji (locative singular)
koniunkcjach (locative plural)
koniunkcjo (singular vocative)
koniunkcje (plural vocative)

Learned borrowing from Latin coniūnctiō (“joining”), from coniungere (“to join”).

lbor

(logic) conjunction (proposition resulting from the combination of two or more propositions using the and operator)


konkludo

eo-head

konkludo (accusative singular konkludon, plural konkludoj, accusative plural konkludojn)

konkludon (accusative singular)
konkludoj (plural)
konkludojn (accusative plural)

(logic, of a material implication) consequent


Aussage

de-noun

Aussage f (genitive Aussage, plural Aussagen)

Aussage (genitive)
Aussagen (plural)
Aussage (nominative singular)
Aussagen (definite nominative plural)
Aussage (genitive singular)
Aussagen (definite genitive plural)
Aussage (dative singular)
Aussagen (dative definite plural)
Aussage (accusative singular)
Aussagen (accusative definite plural)

/ˈaʊ̯sˌzaːɡə/

[ˈʔaʊ̯sˌzaːɡə]

[ˈʔaʊ̯ˌsaː-]


neitun

is-noun

neitun f (genitive singular neitunar, nominative plural neitanir)

neitunar (genitive singular)
neitanir (nominative plural)
neitun (indefinite nominative singular)
neitunin (definite nominative singular)
neitanir (indefinite nominative plural)
neitanirnar (definite nominative plural)
neitun (accusative indefinite singular)
neitunina (accusative definite singular)
neitanir (accusative indefinite plural)
neitanirnar (accusative definite plural)
neitun (dative indefinite singular)
neituninni (dative definite singular)
neitunum (dative indefinite plural)
neitununum (dative definite plural)
neitunar (genitive indefinite singular)
neitunarinnar (definite genitive singular)
neitana (genitive indefinite plural)
neitananna (definite genitive plural)

Compare neita (“to deny; to refuse”) + -un.

sameiginleg neitun

joint denial, non-disjunction, rejection


tvöföld neitun

tvöföld neitun f (genitive singular tvöfaldrar neitunar, nominative plural tvöfaldar neitanir)

tvöfaldrar neitunar (genitive singular)
tvöfaldar neitanir (nominative plural)
tvöföld neitun (indefinite nominative singular)
tvöfalda neitunin (definite nominative singular)
tvöfaldar neitanir (indefinite nominative plural)
tvöföldu neitanirnar (definite nominative plural)
tvöfalda neitun (accusative indefinite singular)
tvöföldu neitunina (accusative definite singular)
tvöfaldar neitanir (accusative indefinite plural)
tvöföldu neitanirnar (accusative definite plural)
tvöfaldri neitun (dative indefinite singular)
tvöföldu neituninni (dative definite singular)
tvöföldum neitunum (dative indefinite plural)
tvöföldu neitununum (dative definite plural)
tvöfaldrar neitunar (genitive indefinite singular)
tvöföldu neitunarinnar (definite genitive singular)
tvöfaldra neitana (genitive indefinite plural)
tvöföldu neitananna (definite genitive plural)


neitunarháttur

neitunarháttur m (genitive singular neitunarháttar, nominative plural neitunarhættir)

neitunarháttar (genitive singular)
neitunarhættir (nominative plural)
neitunarháttur (indefinite nominative singular)
neitunarhátturinn (definite nominative singular)
neitunarhættir (indefinite nominative plural)
neitunarhættirnir (definite nominative plural)
neitunarhátt (accusative indefinite singular)
neitunarháttinn (accusative definite singular)
neitunarhætti (accusative indefinite plural)
neitunarhættina (accusative definite plural)
neitunarhætti (dative indefinite singular)
neitunarhættinum (dative definite singular)
neitunarháttum (dative indefinite plural)
neitunarháttunum (dative definite plural)
neitunarháttar (genitive indefinite singular)
neitunarháttarins (definite genitive singular)
neitunarhátta (genitive indefinite plural)
neitunarháttanna (definite genitive plural)

From neitun (“refusal, negation”) + háttur (“mood, custom”).

af

1. If P, then Q.

2. Not Q.

3. Therefore, not P.

(philosophy, logic) modus tollens; (a valid form of argument in which the consequent of a conditional proposition is denied, entailing the denial of the consequent):


logiczny

pl-adj

logiczny (comparative bardziej logiczny, superlative najbardziej logiczny, derived adverb logicznie)

bardziej logiczny (comparative)
najbardziej logiczny (superlative)
logiczny (masculine nominative singular)
logiczna (feminine nominative singular)
logiczne (neuter nominative singular)
logiczni (nominative plural virile)
logiczne (nominative plural)
logicznego (genitive masculine singular)
logicznej (feminine genitive singular)
logicznego (genitive neuter singular)
logicznych (genitive plural)
logicznych (genitive plural virile)
logicznemu (dative masculine singular)
logicznej (dative feminine singular)
logicznemu (dative neuter singular)
logicznym (dative plural)
logicznym (dative plural virile)
logicznego (accusative animate masculine singular)
logiczny (accusative inanimate masculine singular)
logiczną (accusative feminine singular)
logiczne (accusative neuter singular)
logicznych (accusative plural virile)
logiczne (accusative plural)
logicznym (instrumental masculine singular)
logiczną (feminine instrumental singular)
logicznym (instrumental neuter singular)
logicznymi (instrumental plural)
logicznymi (instrumental plural virile)
logicznym (locative masculine singular)
logicznej (feminine locative singular)
logicznym (locative neuter singular)
logicznych (locative plural)
logicznych (locative plural virile)


nielogiczny

nielogiczny (comparative bardziej nielogiczny, superlative najbardziej nielogiczny, derived adverb nielogicznie)

bardziej nielogiczny (comparative)
najbardziej nielogiczny (superlative)
nielogiczny (masculine nominative singular)
nielogiczna (feminine nominative singular)
nielogiczne (neuter nominative singular)
nielogiczni (nominative plural virile)
nielogiczne (nominative plural)
nielogicznego (genitive masculine singular)
nielogicznej (feminine genitive singular)
nielogicznego (genitive neuter singular)
nielogicznych (genitive plural)
nielogicznych (genitive plural virile)
nielogicznemu (dative masculine singular)
nielogicznej (dative feminine singular)
nielogicznemu (dative neuter singular)
nielogicznym (dative plural)
nielogicznym (dative plural virile)
nielogicznego (accusative animate masculine singular)
nielogiczny (accusative inanimate masculine singular)
nielogiczną (accusative feminine singular)
nielogiczne (accusative neuter singular)
nielogicznych (accusative plural virile)
nielogiczne (accusative plural)
nielogicznym (instrumental masculine singular)
nielogiczną (feminine instrumental singular)
nielogicznym (instrumental neuter singular)
nielogicznymi (instrumental plural)
nielogicznymi (instrumental plural virile)
nielogicznym (locative masculine singular)
nielogicznej (feminine locative singular)
nielogicznym (locative neuter singular)
nielogicznych (locative plural)
nielogicznych (locative plural virile)

/ɲɛ.lɔˈɡit͡ʂ.nɘ/


logicznie

pl-adv

logicznie (comparative logiczniej, superlative najlogiczniej)

logiczniej (comparative)
najlogiczniej (superlative)

/lɔˈɡit͡ʂ.ɲɛ/


precisive

en-adj

precisive (comparative more precisive, superlative most precisive)

more precisive (comparative)
most precisive (superlative)

precisive censure

precisive abstraction

(logic) Exactly limiting by cutting off all that is not absolutely relevant.


aléthique

(logic) alethic (relating to the modalities of truth)


conjunctive normal form

en-noun

conjunctive normal form (countable and uncountable, plural conjunctive normal forms)

(logic) The form of a Boolean formula that the formula has if the formula is a conjunction of disjunctions of literals, such as “(A or B or C) and (D or E or not F)”.


disjunctive normal form

(logic) The form of a boolean formula that the formula has if the formula is a disjunction of conjunctions of literals, such as “(A and B and C) or (D and E and not F)”.

disjunktiivinen normaalimuoto

the form of a boolean formula that the formula has if the formula is a disjunction of conjunctions of literals, such as “(A and B and C) or (D and E and not F)”


τελεστής

head

τελεστής • (telestís) m (plural τελεστές)

telestís (romanization)
τελεστές (plural)
τελεστής (nominative singular)
τελεστές (nominative plural)
τελεστή (genitive singular)
τελεστών (genitive plural)
τελεστή (accusative singular)
τελεστές (accusative plural)
τελεστή (singular vocative)
τελεστές (plural vocative)

From Ancient Greek τελεστής (telestḗs) (translation of English operator).


LEM

What constructive mathematicians know is that there are mathematical universes in which sets are like topological spaces and properties are like open sets. In fact, these universes are well-known to classical mathematicians (they are called toposes), but they look at them from “the outside”. When we consider what mathematicians who live in such a universe see, we discover many fascinating kinds of mathematics, which tend to be constructive. The universe of classical mathematics is special because in it all sets are like discrete topological spaces. In fact, one way of understanding LEM is “all spaces/sets are discrete”. Is this really such a smart thing to assume? If for no other reason, LEM should be abandoned because it is quite customary to consider “continuous” and “discrete” domains in applications in computer science and physics. So what gives mathematicians the idea that all domains are discrete?

2005, Andrej Bauer, Mathematics and Computation: The Law of Excluded Middle:

Law of excluded middle
law of excluded middle#English


предикат

uk-noun

предикати́вний

предика́т • (predykát) m inan (genitive предика́та, nominative plural предика́ти, genitive plural предика́тів, relational adjective предикати́вний)

предика́т (canonical)
predykát (romanization)
предика́та (genitive)
предика́ти (nominative plural)
предика́тів (genitive plural)
предикати́вний (adjective relational)
предика́т (nominative singular)
предика́ти (nominative plural)
предика́та (genitive singular)
предика́тів (genitive plural)
предика́тові (dative singular)
предика́ту (dative singular)
предика́там (dative plural)
предика́т (accusative singular)
предика́ти (accusative plural)
предика́том (instrumental singular)
предика́тами (instrumental plural)
предика́ті (locative singular)
предика́тах (locative plural)
предика́те (singular vocative)
предика́ти (plural vocative)


infinitary

(mathematics, logic) Of or pertaining to expressions of infinite length


paralogy

en-noun

paralogy (countable and uncountable, plural paralogies)


identicus

la-adj

identicus (feminine identica, neuter identicum, adverb identicē); first/second-declension adjective

identica (feminine)
identicum (neuter)
identicē (adverb)
identicus (masculine nominative singular)
identica (feminine nominative singular)
identicum (neuter nominative singular)
identicī (masculine nominative singular)
identicae (feminine nominative plural)
identica (neuter nominative plural)
identicī (genitive masculine singular)
identicae (feminine genitive singular)
identicī (genitive neuter singular)
identicōrum (genitive masculine singular)
identicārum (feminine genitive plural)
identicōrum (genitive neuter plural)
identicō (dative masculine singular)
identicae (dative feminine singular)
identicō (dative neuter singular)
identicīs (dative feminine masculine neuter)
identicum (accusative masculine singular)
identicam (accusative feminine singular)
identicum (accusative neuter singular)
identicōs (accusative masculine singular)
identicās (accusative feminine plural)
identica (accusative neuter plural)
identicō (ablative masculine singular)
identicā (ablative feminine singular)
identicō (ablative neuter singular)
identicīs (ablative feminine masculine neuter)
identice (masculine singular vocative)
identica (feminine singular vocative)
identicum (neuter singular vocative)
identicī (masculine singular vocative)
identicae (feminine plural vocative)
identica (neuter plural vocative)

→ Catalan: idèntic

→ English: identic

→ French: identique

→ Galician: idéntico

→ Italian: identico

→ Piedmontese: idèntich

→ Portuguese: idêntico

→ Romanian: identic

→ Spanish: idéntico

[ɪˈd̪ɛn̪t̪ɪkʊs̠]

From Late Latin identitās (“sameness”) + -icus, from idem n (“the same”).

(Medieval Latin, logic, philosophy) same, identical (in quality, attributes etc.)


superaltern

(logic) A universal proposition from which can be inferred a corresponding subaltern


twierdzenie

twierdzenie (nominative singular)
twierdzenia (nominative plural)
twierdzenia (genitive singular)
twierdzeń (genitive plural)
twierdzeniu (dative singular)
twierdzeniom (dative plural)
twierdzenie (accusative singular)
twierdzenia (accusative plural)
twierdzeniem (instrumental singular)
twierdzeniami (instrumental plural)
twierdzeniu (locative singular)
twierdzeniach (locative plural)
twierdzenie (singular vocative)
twierdzenia (plural vocative)

twierdzenie Pitagorasa


FO

first-order logic
first-order logic#English

(logic, computer science) Initialism of first-order logic.


finitary

(logic) Pertaining to finite-length proofs, each using a finite set of axioms.


wynik

pl-noun

wynik m inan (related adjective wynikowy)

wynikowy (adjective)
wynik (nominative singular)
wyniki (nominative plural)
wyniku (genitive singular)
wyników (genitive plural)
wynikowi (dative singular)
wynikom (dative plural)
wynik (accusative singular)
wyniki (accusative plural)
wynikiem (instrumental singular)
wynikami (instrumental plural)
wyniku (locative singular)
wynikach (locative plural)
wyniku (singular vocative)
wyniki (plural vocative)

→ Belarusian: вы́нік (výnik)

→ Kashubian: wënik

→ Silesian: wynik

Deverbal of wynikać. First attested in the 16th century.

ref

Maria Renata Mayenowa, Stanisław Rospond, Witold Taszycki, Stefan Hrabec, Władysław Kuraszkiewicz (2010-2023) “wynik”, in Słownik Polszczyzny XVI Wieku [A Dictionary of 16th Century Polish]


succedent

(logic) The formulas on the right-hand side of a sequent.


`vert`

head

| (English symbol name vertical bar or vertical line or pipe or pipe key)

vertical bar (English name symbol)
vertical line (English name symbol)
pipe (English name symbol)
pipe key (English name symbol)

(logic) The Sheffer stroke: joins two statements of which not both are true (nand).


accidens

An Accidens (or accident) of an individual, genus, or species is any attribute which is possessed by it, and which does not follow from, or form a part of, its comprehension. […] If, on the other hand, an accidens is sometimes present and sometimes absent in an individual, […]

1886, Prasanna K. Roy, A Text-book of Deductive Logic: For the Use of Students, page 83:

But, where there is no apparent reason why the attribute should always be found in the individuals of a class, it is called an Accidens.

1896, James Welton, A Manual of Logic, volume 1, page 86:

(logic) Synonym of accident (“a property, fact, or relation that is the result of chance or is nonessential or nonsubstantive”)


δίλημμα

δίλημμα • (dílimma) n (plural διλήμματα)

dílimma (romanization)
διλήμματα (plural)
δίλημμα (nominative singular)
διλήμματα (nominative plural)
διλήμματος (genitive singular)
διλημμάτων (genitive plural)
δίλημμα (accusative singular)
διλήμματα (accusative plural)
δίλημμα (singular vocative)
διλήμματα (plural vocative)

Learned borrowing from Koine Greek δίλημμα (dílēmma) with semantic loan from French dilemme.


categorematic

From Ancient Greek κατηγόρημα (katēgórēma, “a predicate”) + -atic.

uder

The word "man" is categorematic; the word "many" is not.

(logic, of a word) Capable of being employed alone as a term.


si et seulement si

LL-Q150 (fra)-Lepticed7-si et seulement si.wav

(mathematics, logic) if and only if (implies and is implied by)


operació

(computing, logic, mathematics) A procedure for generating a value from one or more other values (the operands).


shallow embedding

en-noun

shallow embedding (plural shallow embeddings)

(logic, uncountable) The act of representing one logic or language with another by providing a syntactic translation.

(logic, countable) A specific mechanism for such a syntactic translation.


deep embedding

(logic, uncountable) The act of representing one language, typically a logic or programming language, with another by modeling expressions in the former as data in the latter.

(logic, countable) A specific such representation.


εἰδητικός

εἰδητῐκός (canonical)
eidētĭkós (romanization)
εἰδητῐκή (feminine)
εἰδητῐκόν (neuter)
εἰδητῐκός (masculine nominative singular)
εἰδητῐκή (feminine nominative singular)
εἰδητῐκόν (neuter nominative singular)
εἰδητῐκώ (dual masculine nominative)
εἰδητῐκᾱ́ (dual feminine nominative)
εἰδητῐκώ (dual neuter nominative)
εἰδητῐκοί (masculine nominative plural)
εἰδητῐκαί (feminine nominative plural)
εἰδητῐκᾰ́ (neuter nominative plural)
εἰδητῐκοῦ (genitive masculine singular)
εἰδητῐκῆς (feminine genitive singular)
εἰδητῐκοῦ (genitive neuter singular)
εἰδητῐκοῖν (dual genitive masculine)
εἰδητῐκαῖν (dual feminine genitive)
εἰδητῐκοῖν (dual genitive neuter)
εἰδητῐκῶν (genitive masculine plural)
εἰδητῐκῶν (feminine genitive plural)
εἰδητῐκῶν (genitive neuter plural)
εἰδητῐκῷ (dative masculine singular)
εἰδητῐκῇ (dative feminine singular)
εἰδητῐκῷ (dative neuter singular)
εἰδητῐκοῖν (dative dual masculine)
εἰδητῐκαῖν (dative dual feminine)
εἰδητῐκοῖν (dative dual neuter)
εἰδητῐκοῖς (dative masculine plural)
εἰδητῐκαῖς (dative feminine plural)
εἰδητῐκοῖς (dative neuter plural)
εἰδητῐκόν (accusative masculine singular)
εἰδητῐκήν (accusative feminine singular)
εἰδητῐκόν (accusative neuter singular)
εἰδητῐκώ (accusative dual masculine)
εἰδητῐκᾱ́ (accusative dual feminine)
εἰδητῐκώ (accusative dual neuter)
εἰδητῐκούς (accusative masculine plural)
εἰδητῐκᾱ́ς (accusative feminine plural)
εἰδητῐκᾰ́ (accusative neuter plural)
εἰδητῐκέ (masculine singular vocative)
εἰδητῐκή (feminine singular vocative)
εἰδητῐκόν (neuter singular vocative)
εἰδητῐκώ (dual masculine vocative)
εἰδητῐκᾱ́ (dual feminine vocative)
εἰδητῐκώ (dual neuter vocative)
εἰδητῐκοί (masculine plural vocative)
εἰδητῐκαί (feminine plural vocative)
εἰδητῐκᾰ́ (neuter plural vocative)
εἰδητῐκῶς (adverbial feminine masculine neuter)
εἰδητῐκώτερος (comparative feminine masculine neuter)
εἰδητῐκώτᾰτος (feminine masculine neuter superlative)

→ Catalan: eidètic

→ German: eidetisch

→ English: eidetic

From εἶδος (eîdos, “appearance, form”) + -τῐκός (-tĭkós).

af

constituting an εἶδος (eîdos, “appearance, form”), figurate


(logic) In linear logic, used to denote an intensional disjunction.


(logic) Denotes a definite descriptor in formal logic.


概括

ja-noun

概(がい)括(かつ) • (gaikatsu) ^(←がいくわつ (gaikwatu)?)

概括 (canonical)
gaikatsu (romanization)
gaikwatu (romanization)
がいくわつ (hiragana historical)


概括

概括する (canonical)
gaikatsu suru (romanization)
gaikwatu (romanization)
概括し (stem)
概括した (past)
概括し
がいかつし
gaikatsu shi
概括する
がいかつする
gaikatsu suru
概括すれ
がいかつすれ
gaikatsu sure
概括せよ (imperative literary)
概括しろ (colloquial imperative)
がいかつせよ (imperative literary)
がいかつしろ (colloquial imperative)
gaikatsu seyo (imperative literary)
gaikatsu shiro (colloquial imperative)
概括される (passive)
がいかつされる (passive)
gaikatsu sareru (passive)
概括させる (causative)
概括さす (causative)
がいかつさせる (causative)
がいかつさす (causative)
gaikatsu saseru (causative)
gaikatsu sasu (causative)
概括できる (potential)
がいかつできる (potential)
gaikatsu dekiru (potential)
概括しよう (volitional)
がいかつしよう (volitional)
gaikatsu shiyō (volitional)
概括しない (negative)
がいかつしない (negative)
gaikatsu shinai (negative)
概括せず (continuative negative)
がいかつせず (continuative negative)
gaikatsu sezu (continuative negative)
概括します (formal)
がいかつします (formal)
gaikatsu shimasu (formal)
概括した (perfective)
がいかつした (perfective)
gaikatsu shita (perfective)
概括して (conjunctive)
がいかつして (conjunctive)
gaikatsu shite (conjunctive)
概括すれば (conditional hypothetical)
がいかつすれば (conditional hypothetical)
gaikatsu sureba (conditional hypothetical)


subcontrary

LL-Q1860 (eng)-Flame, not lame-subcontrary.wav

(logic) Denoting the relation of opposition between the particular affirmative and particular negative. Of these both may be true and only one can be false.


subcontrary

(logic) Either of a pair of propositions at least one of which must be true


körben forgó érvelés

head

körben forgó érvelés (plural körben forgó érvelések)

körben (“in a circle”) + forog (“to turn, rotate”) + -ó (present-participle suffix) + érvelés (“argumentation”)


ignotum per ignotius

From Latin ignōtum per ignōtius, “[to explain] the unknown by the more unknown”.

(logic) A type of fallacious argument in which one attempts to prove something unknown by relying upon an assumption that is also unknown.


suim

head

suim f (genitive singular suime, nominative plural suimeanna)

suime (genitive singular)
suimeanna (nominative plural)
suim (indefinite nominative singular)
suimeanna (indefinite nominative plural)
a shuim (indefinite singular vocative)
a shuimeanna (indefinite plural vocative)
suime (genitive indefinite singular)
suimeanna (genitive indefinite plural)
suim (dative indefinite singular)
suimeanna (dative indefinite plural)
an tsuim (definite nominative singular)
na suimeanna (definite nominative plural)
na suime (definite genitive singular)
na suimeanna (definite genitive plural)
leis an tsuim (dative definite singular)
don tsuim (dative definite singular)
leis na suimeanna (dative definite plural)
suim
shuim
tsuim

From Middle Irish suim, from Latin summa.


indukció

indukció (countable and uncountable, plural indukciók)

indukciók (plural)
indukció (nominative singular)
indukciók (nominative plural)
indukciót (accusative singular)
indukciókat (accusative plural)
indukciónak (dative singular)
indukcióknak (dative plural)
indukcióval (instrumental singular)
indukciókkal (instrumental plural)
indukcióért (causal-final singular)
indukciókért (causal-final plural)
indukcióvá (singular translative)
indukciókká (plural translative)
indukcióig (singular terminative)
indukciókig (plural terminative)
indukcióként (essive-formal singular)
indukciókként (essive-formal plural)
indukcióban (inessive singular)
indukciókban (inessive plural)
indukción (singular superessive)
indukciókon (plural superessive)
indukciónál (adessive singular)
indukcióknál (adessive plural)
indukcióba (illative singular)
indukciókba (illative plural)
indukcióra (singular sublative)
indukciókra (plural sublative)
indukcióhoz (allative singular)
indukciókhoz (allative plural)
indukcióból (elative singular)
indukciókból (elative plural)
indukcióról (delative singular)
indukciókról (delative plural)
indukciótól (ablative singular)
indukcióktól (ablative plural)
indukcióé (singular)
indukcióké (plural)
indukcióéi (singular)
indukciókéi (plural)
indukcióm (first-person possessed-single possessive singular)
indukcióim (first-person possessed-many possessive singular)
indukciód (possessed-single possessive second-person singular)
indukcióid (possessed-many possessive second-person singular)
indukciója (possessed-single possessive singular third-person)
indukciói (possessed-many possessive singular third-person)
indukciónk (first-person plural possessed-single possessive)
indukcióink (first-person plural possessed-many possessive)
indukciótok (plural possessed-single possessive second-person)
indukcióitok (plural possessed-many possessive second-person)
indukciójuk (plural possessed-single possessive third-person)
indukcióik (plural possessed-many possessive third-person)

Borrowed from German Induktion. With Latinate -ció ending.

(logic) induction (derivation of general principles from specific instances)


indukál

hu-conj

Forms in parentheses are somewhat archaic or literary.

This verb has no prefix that could split, despite its first few letters.

indukálok (first-person indicative object-indefinite present singular)
indukálsz (indicative informal object-indefinite present second-person singular)
indukál (formal indicative object-indefinite present second-person-semantically singular third-person)
indukál (indicative object-indefinite present singular third-person)
indukálunk (first-person indicative object-indefinite plural present)
indukáltok (indicative informal object-indefinite plural present second-person)
indukálnak (formal indicative object-indefinite plural present second-person-semantically third-person)
indukálnak (indicative object-indefinite plural present third-person)
indukálom (first-person indicative object-definite present singular)
indukálod (indicative informal object-definite present second-person singular)
indukálja (formal indicative object-definite present second-person-semantically singular third-person)
indukálja (indicative object-definite present singular third-person)
indukáljuk (first-person indicative object-definite plural present)
indukáljátok (indicative informal object-definite plural present second-person)
indukálják (formal indicative object-definite plural present second-person-semantically third-person)
indukálják (indicative object-definite plural present third-person)
indukállak (first-person indicative object-second-person present singular)
indukáltam (first-person indicative object-indefinite past singular)
indukáltál (indicative informal object-indefinite past second-person singular)
indukált (formal indicative object-indefinite past second-person-semantically singular third-person)
indukált (indicative object-indefinite past singular third-person)
indukáltunk (first-person indicative object-indefinite past plural)
indukáltatok (indicative informal object-indefinite past plural second-person)
indukáltak (formal indicative object-indefinite past plural second-person-semantically third-person)
indukáltak (indicative object-indefinite past plural third-person)
indukáltam (first-person indicative object-definite past singular)
indukáltad (indicative informal object-definite past second-person singular)
indukálta (formal indicative object-definite past second-person-semantically singular third-person)
indukálta (indicative object-definite past singular third-person)
indukáltuk (first-person indicative object-definite past plural)
indukáltátok (indicative informal object-definite past plural second-person)
indukálták (formal indicative object-definite past plural second-person-semantically third-person)
indukálták (indicative object-definite past plural third-person)
indukáltalak (first-person indicative object-second-person past singular)
or a time adverb (first-person future indicative third-person)
or a time adverb (formal future indicative second-person-semantically third-person)
or a time adverb (future indicative informal second-person)
e.g. indukálni fog. (first-person future indicative third-person)
e.g. indukálni fog. (formal future indicative second-person-semantically third-person)
e.g. indukálni fog. (future indicative informal second-person)
indukálék (first-person object-indefinite singular)
indukálál (informal object-indefinite second-person singular)
indukála (formal object-indefinite second-person-semantically singular third-person)
indukála (object-indefinite singular third-person)
indukálánk (first-person object-indefinite plural)
indukálátok (informal object-indefinite plural second-person)
indukálának (formal object-indefinite plural second-person-semantically third-person)
indukálának (object-indefinite plural third-person)
indukálám (first-person object-definite singular)
indukálád (informal object-definite second-person singular)
indukálá (formal object-definite second-person-semantically singular third-person)
indukálá (object-definite singular third-person)
indukálánk (first-person object-definite plural)
indukálátok (informal object-definite plural second-person)
indukálák (formal object-definite plural second-person-semantically third-person)
indukálák (object-definite plural third-person)
indukálálak (first-person object-second-person singular)
e.g. indukál vala (first-person third-person)
e.g. indukál vala (formal second-person-semantically third-person)
e.g. indukál vala (informal second-person)
indukált vala (first-person third-person)
indukált vala (formal second-person-semantically third-person)
indukált vala (informal second-person)
volt. (first-person third-person)
volt. (formal second-person-semantically third-person)
volt. (informal second-person)
indukálandok (first-person object-indefinite singular)
indukálandasz (informal object-indefinite second-person singular)
indukáland (formal object-indefinite second-person-semantically singular third-person)
indukáland (object-indefinite singular third-person)
indukálandunk (first-person object-indefinite plural)
indukálandotok (informal object-indefinite plural second-person)
indukálandanak (formal object-indefinite plural second-person-semantically third-person)
indukálandanak (object-indefinite plural third-person)
indukálandom (first-person object-definite singular)
indukálandod (informal object-definite second-person singular)
indukálandja (formal object-definite second-person-semantically singular third-person)
indukálandja (object-definite singular third-person)
indukálandjuk (first-person object-definite plural)
indukálandjátok (informal object-definite plural second-person)
indukálandják (formal object-definite plural second-person-semantically third-person)
indukálandják (object-definite plural third-person)
indukálandalak (first-person object-second-person singular)
indukálnék (conditional first-person object-indefinite present singular)
indukálnál (conditional informal object-indefinite present second-person singular)
indukálna (conditional formal object-indefinite present second-person-semantically singular third-person)
indukálna (conditional object-indefinite present singular third-person)
indukálnánk (conditional first-person object-indefinite plural present)
indukálnátok (conditional informal object-indefinite plural present second-person)
indukálnának (conditional formal object-indefinite plural present second-person-semantically third-person)
indukálnának (conditional object-indefinite plural present third-person)
indukálnám (conditional first-person object-definite present singular)
indukálnád (conditional informal object-definite present second-person singular)
indukálná (conditional formal object-definite present second-person-semantically singular third-person)
indukálná (conditional object-definite present singular third-person)
indukálnánk (conditional first-person object-definite plural present)
or indukálnók (conditional first-person object-definite plural present)
indukálnátok (conditional informal object-definite plural present second-person)
indukálnák (conditional formal object-definite plural present second-person-semantically third-person)
indukálnák (conditional object-definite plural present third-person)
indukálnálak (conditional first-person object-second-person present singular)
Indicative past forms followed by volna (conditional first-person past third-person)
Indicative past forms followed by volna (conditional formal past second-person-semantically third-person)
Indicative past forms followed by volna (conditional informal past second-person)
e.g. indukált volna (conditional first-person past third-person)
e.g. indukált volna (conditional formal past second-person-semantically third-person)
e.g. indukált volna (conditional informal past second-person)
indukáljak (first-person object-indefinite present singular subjunctive)
indukálj or (informal object-indefinite present second-person singular subjunctive)
indukáljál (informal object-indefinite present second-person singular subjunctive)
indukáljon (formal object-indefinite present second-person-semantically singular subjunctive third-person)
indukáljon (object-indefinite present singular subjunctive third-person)
indukáljunk (first-person object-indefinite plural present subjunctive)
indukáljatok (informal object-indefinite plural present second-person subjunctive)
indukáljanak (formal object-indefinite plural present second-person-semantically subjunctive third-person)
indukáljanak (object-indefinite plural present subjunctive third-person)
indukáljam (first-person object-definite present singular subjunctive)
indukáld or (informal object-definite present second-person singular subjunctive)
indukáljad (informal object-definite present second-person singular subjunctive)
indukálja (formal object-definite present second-person-semantically singular subjunctive third-person)
indukálja (object-definite present singular subjunctive third-person)
indukáljuk (first-person object-definite plural present subjunctive)
indukáljátok (informal object-definite plural present second-person subjunctive)
indukálják (formal object-definite plural present second-person-semantically subjunctive third-person)
indukálják (object-definite plural present subjunctive third-person)
indukáljalak (first-person object-second-person present singular subjunctive)
e.g. indukált légyen (first-person third-person)
e.g. indukált légyen (formal second-person-semantically third-person)
e.g. indukált légyen (informal second-person)
indukálni (infinitive)
indukálnom (first-person infinitive singular)
indukálnod (infinitive informal second-person singular)
indukálnia (formal infinitive second-person-semantically singular third-person)
indukálnia (infinitive singular third-person)
indukálnunk (first-person infinitive plural)
indukálnotok (infinitive informal plural second-person)
indukálniuk (formal infinitive plural second-person-semantically third-person)
indukálniuk (infinitive plural third-person)
indukálás (noun-from-verb)
indukáló
indukált
indukálandó (future participle)
indukálva
indukálván
indukáltat (causative)
indukálhatok (first-person indicative object-indefinite present singular)
indukálhatsz (indicative informal object-indefinite present second-person singular)
indukálhat (formal indicative object-indefinite present second-person-semantically singular third-person)
indukálhat (indicative object-indefinite present singular third-person)
indukálhatunk (first-person indicative object-indefinite plural present)
indukálhattok (indicative informal object-indefinite plural present second-person)
indukálhatnak (formal indicative object-indefinite plural present second-person-semantically third-person)
indukálhatnak (indicative object-indefinite plural present third-person)
indukálhatom (first-person indicative object-definite present singular)
indukálhatod (indicative informal object-definite present second-person singular)
indukálhatja (formal indicative object-definite present second-person-semantically singular third-person)
indukálhatja (indicative object-definite present singular third-person)
indukálhatjuk (first-person indicative object-definite plural present)
indukálhatjátok (indicative informal object-definite plural present second-person)
indukálhatják (formal indicative object-definite plural present second-person-semantically third-person)
indukálhatják (indicative object-definite plural present third-person)
indukálhatlak (first-person indicative object-second-person present singular)
indukálhattam (first-person indicative object-indefinite past singular)
indukálhattál (indicative informal object-indefinite past second-person singular)
indukálhatott (formal indicative object-indefinite past second-person-semantically singular third-person)
indukálhatott (indicative object-indefinite past singular third-person)
indukálhattunk (first-person indicative object-indefinite past plural)
indukálhattatok (indicative informal object-indefinite past plural second-person)
indukálhattak (formal indicative object-indefinite past plural second-person-semantically third-person)
indukálhattak (indicative object-indefinite past plural third-person)
indukálhattam (first-person indicative object-definite past singular)
indukálhattad (indicative informal object-definite past second-person singular)
indukálhatta (formal indicative object-definite past second-person-semantically singular third-person)
indukálhatta (indicative object-definite past singular third-person)
indukálhattuk (first-person indicative object-definite past plural)
indukálhattátok (indicative informal object-definite past plural second-person)
indukálhatták (formal indicative object-definite past plural second-person-semantically third-person)
indukálhatták (indicative object-definite past plural third-person)
indukálhattalak (first-person indicative object-second-person past singular)
indukálhaték (first-person object-indefinite singular)
indukálhatál (informal object-indefinite second-person singular)
indukálhata (formal object-indefinite second-person-semantically singular third-person)
indukálhata (object-indefinite singular third-person)
indukálhatánk (first-person object-indefinite plural)
indukálhatátok (informal object-indefinite plural second-person)
indukálhatának (formal object-indefinite plural second-person-semantically third-person)
indukálhatának (object-indefinite plural third-person)
indukálhatám (first-person object-definite singular)
indukálhatád (informal object-definite second-person singular)
indukálhatá (formal object-definite second-person-semantically singular third-person)
indukálhatá (object-definite singular third-person)
indukálhatánk (first-person object-definite plural)
indukálhatátok (informal object-definite plural second-person)
indukálhaták (formal object-definite plural second-person-semantically third-person)
indukálhaták (object-definite plural third-person)
indukálhatálak (first-person object-second-person singular)
e.g. indukálhat vala (first-person third-person)
e.g. indukálhat vala (formal second-person-semantically third-person)
e.g. indukálhat vala (informal second-person)
indukálhatott vala (first-person third-person)
indukálhatott vala (formal second-person-semantically third-person)
indukálhatott vala (informal second-person)
volt. (first-person third-person)
volt. (formal second-person-semantically third-person)
volt. (informal second-person)
indukálhatandok (first-person object-indefinite singular)
or indukálandhatok (first-person object-indefinite singular)
indukálhatandasz (informal object-indefinite second-person singular)
or indukálandhatsz (informal object-indefinite second-person singular)
indukálhatand (formal object-indefinite second-person-semantically singular third-person)
indukálhatand (object-indefinite singular third-person)
or indukálandhat (formal object-indefinite second-person-semantically singular third-person)
or indukálandhat (object-indefinite singular third-person)
indukálhatandunk (first-person object-indefinite plural)
or indukálandhatunk (first-person object-indefinite plural)
indukálhatandotok (informal object-indefinite plural second-person)
or indukálandhattok (informal object-indefinite plural second-person)
indukálhatandanak (formal object-indefinite plural second-person-semantically third-person)
indukálhatandanak (object-indefinite plural third-person)
or indukálandhatnak (formal object-indefinite plural second-person-semantically third-person)
or indukálandhatnak (object-indefinite plural third-person)
indukálhatandom (first-person object-definite singular)
or indukálandhatom (first-person object-definite singular)
indukálhatandod (informal object-definite second-person singular)
or indukálandhatod (informal object-definite second-person singular)
indukálhatandja (formal object-definite second-person-semantically singular third-person)
indukálhatandja (object-definite singular third-person)
or indukálandhatja (formal object-definite second-person-semantically singular third-person)
or indukálandhatja (object-definite singular third-person)
indukálhatandjuk (first-person object-definite plural)
or indukálandhatjuk (first-person object-definite plural)
indukálhatandjátok (informal object-definite plural second-person)
or indukálandhatjátok (informal object-definite plural second-person)
indukálhatandják (formal object-definite plural second-person-semantically third-person)
indukálhatandják (object-definite plural third-person)
or indukálandhatják (formal object-definite plural second-person-semantically third-person)
or indukálandhatják (object-definite plural third-person)
indukálhatandalak (first-person object-second-person singular)
or indukálandhatlak (first-person object-second-person singular)
indukálhatnék (conditional first-person object-indefinite present singular)
indukálhatnál (conditional informal object-indefinite present second-person singular)
indukálhatna (conditional formal object-indefinite present second-person-semantically singular third-person)
indukálhatna (conditional object-indefinite present singular third-person)
indukálhatnánk (conditional first-person object-indefinite plural present)
indukálhatnátok (conditional informal object-indefinite plural present second-person)
indukálhatnának (conditional formal object-indefinite plural present second-person-semantically third-person)
indukálhatnának (conditional object-indefinite plural present third-person)
indukálhatnám (conditional first-person object-definite present singular)
indukálhatnád (conditional informal object-definite present second-person singular)
indukálhatná (conditional formal object-definite present second-person-semantically singular third-person)
indukálhatná (conditional object-definite present singular third-person)
indukálhatnánk (conditional first-person object-definite plural present)
or indukálhatnók (conditional first-person object-definite plural present)
indukálhatnátok (conditional informal object-definite plural present second-person)
indukálhatnák (conditional formal object-definite plural present second-person-semantically third-person)
indukálhatnák (conditional object-definite plural present third-person)
indukálhatnálak (conditional first-person object-second-person present singular)
Indicative past forms followed by volna (conditional first-person past third-person)
Indicative past forms followed by volna (conditional formal past second-person-semantically third-person)
Indicative past forms followed by volna (conditional informal past second-person)
e.g. indukálhatott volna (conditional first-person past third-person)
e.g. indukálhatott volna (conditional formal past second-person-semantically third-person)
e.g. indukálhatott volna (conditional informal past second-person)
indukálhassak (first-person object-indefinite present singular subjunctive)
indukálhass or (informal object-indefinite present second-person singular subjunctive)
indukálhassál (informal object-indefinite present second-person singular subjunctive)
indukálhasson (formal object-indefinite present second-person-semantically singular subjunctive third-person)
indukálhasson (object-indefinite present singular subjunctive third-person)
indukálhassunk (first-person object-indefinite plural present subjunctive)
indukálhassatok (informal object-indefinite plural present second-person subjunctive)
indukálhassanak (formal object-indefinite plural present second-person-semantically subjunctive third-person)
indukálhassanak (object-indefinite plural present subjunctive third-person)
indukálhassam (first-person object-definite present singular subjunctive)
indukálhasd or (informal object-definite present second-person singular subjunctive)
indukálhassad (informal object-definite present second-person singular subjunctive)
indukálhassa (formal object-definite present second-person-semantically singular subjunctive third-person)
indukálhassa (object-definite present singular subjunctive third-person)
indukálhassuk (first-person object-definite plural present subjunctive)
indukálhassátok (informal object-definite plural present second-person subjunctive)
indukálhassák (formal object-definite plural present second-person-semantically subjunctive third-person)
indukálhassák (object-definite plural present subjunctive third-person)
indukálhassalak (first-person object-second-person present singular subjunctive)
e.g. indukálhatott légyen (first-person third-person)
e.g. indukálhatott légyen (formal second-person-semantically third-person)
e.g. indukálhatott légyen (informal second-person)
indukálhatni
indukálhatnom (first-person singular)
indukálhatnod (informal second-person singular)
indukálhatnia (formal second-person-semantically singular third-person)
indukálhatnia (singular third-person)
indukálhatnunk (first-person plural)
indukálhatnotok (informal plural second-person)
indukálhatniuk (formal plural second-person-semantically third-person)
indukálhatniuk (plural third-person)
indukálható (first-person singular)
indukálhatatlan (formal second-person-semantically singular third-person)
indukálhatatlan (singular third-person)
indukálhatva / indukálhatván (formal plural second-person-semantically third-person)
indukálhatva / indukálhatván (informal plural second-person)
indukálhatva / indukálhatván (plural third-person)

From German induzieren, from Latin inducere. With the verb-forming suffix -ál.

(transitive, logic) to induce (to infer by induction)


posztulátum

posztulátumok (plural)
posztulátum (nominative singular)
posztulátumok (nominative plural)
posztulátumot (accusative singular)
posztulátumokat (accusative plural)
posztulátumnak (dative singular)
posztulátumoknak (dative plural)
posztulátummal (instrumental singular)
posztulátumokkal (instrumental plural)
posztulátumért (causal-final singular)
posztulátumokért (causal-final plural)
posztulátummá (singular translative)
posztulátumokká (plural translative)
posztulátumig (singular terminative)
posztulátumokig (plural terminative)
posztulátumként (essive-formal singular)
posztulátumokként (essive-formal plural)
posztulátumban (inessive singular)
posztulátumokban (inessive plural)
posztulátumon (singular superessive)
posztulátumokon (plural superessive)
posztulátumnál (adessive singular)
posztulátumoknál (adessive plural)
posztulátumba (illative singular)
posztulátumokba (illative plural)
posztulátumra (singular sublative)
posztulátumokra (plural sublative)
posztulátumhoz (allative singular)
posztulátumokhoz (allative plural)
posztulátumból (elative singular)
posztulátumokból (elative plural)
posztulátumról (delative singular)
posztulátumokról (delative plural)
posztulátumtól (ablative singular)
posztulátumoktól (ablative plural)
posztulátumé (singular)
posztulátumoké (plural)
posztulátuméi (singular)
posztulátumokéi (plural)
posztulátumom (first-person possessed-single possessive singular)
posztulátumaim (first-person possessed-many possessive singular)
posztulátumod (possessed-single possessive second-person singular)
posztulátumaid (possessed-many possessive second-person singular)
posztulátuma (possessed-single possessive singular third-person)
posztulátumai (possessed-many possessive singular third-person)
posztulátumunk (first-person plural possessed-single possessive)
posztulátumaink (first-person plural possessed-many possessive)
posztulátumotok (plural possessed-single possessive second-person)
posztulátumaitok (plural possessed-many possessive second-person)
posztulátumuk (plural possessed-single possessive third-person)
posztulátumaik (plural possessed-many possessive third-person)

From Latin postulatum, from the verb postulāre (“to ask”). With -átum ending.


Induktion

de-noun

Induktion f (genitive Induktion, plural Induktionen)

Induktion (genitive)
Induktionen (plural)
Induktion (nominative singular)
Induktionen (definite nominative plural)
Induktion (genitive singular)
Induktionen (definite genitive plural)
Induktion (dative singular)
Induktionen (dative definite plural)
Induktion (accusative singular)
Induktionen (accusative definite plural)


συμπέρασμα

grc-noun

σῠμπερᾰ́σμᾰτος

σῠμπέρᾰσμᾰ • (sŭmpérăsmă) n (genitive σῠμπερᾰ́σμᾰτος); third declension

σῠμπέρᾰσμᾰ (canonical)
sŭmpérăsmă (romanization)
σῠμπερᾰ́σμᾰτος (genitive)
τὸ σῠμπέρᾰσμᾰ (nominative singular)
τὼ σῠμπερᾰ́σμᾰτε (dual nominative)
τᾰ̀ σῠμπερᾰ́σμᾰτᾰ (nominative plural)
τοῦ σῠμπερᾰ́σμᾰτος (genitive singular)
τοῖν σῠμπερᾰσμᾰ́τοιν (dual genitive)
τῶν σῠμπερᾰσμᾰ́των (genitive plural)
τῷ σῠμπερᾰ́σμᾰτῐ (dative singular)
τοῖν σῠμπερᾰσμᾰ́τοιν (dative dual)
τοῖς σῠμπερᾰ́σμᾰσῐ (dative plural)
σῠμπερᾰ́σμᾰσῐν (dative plural)
toîs sŭmperắsmăsĭ (dative plural)
toîs sŭmperắsmăsĭn (dative plural)
τὸ σῠμπέρᾰσμᾰ (accusative singular)
τὼ σῠμπερᾰ́σμᾰτε (accusative dual)
τᾰ̀ σῠμπερᾰ́σμᾰτᾰ (accusative plural)
σῠμπέρᾰσμᾰ (singular vocative)
σῠμπερᾰ́σμᾰτε (dual vocative)
σῠμπερᾰ́σμᾰτᾰ (plural vocative)
σῠμπερᾰσμός (alternative)

grc-decl

σῠμπερᾰ́σμᾰτος

Greek: συμπέρασμα (sympérasma)

From σῠμπεραίνω (sŭmperaínō) + -μᾰ (-mă)

af

σῠμπεραίνω (sŭmperaínō) + -μᾰ (-mă)

Ἐν μὲν οὖν τοῖς ἄλλοις τὸν αὐτὸν τρόπον δειχθήσεται διὰ τῆς ἀντιστροφῆς τὸ συμπέρασμα ἀναγκαῖον, ὥσπερ ἐπὶ τοῦ ὑπάρχειν·

384 BCE – 322 BCE, Aristotle, Prior Analytics 30a.4–5

1962 translation by Hugh Tredennick
Thus in all the other cases the conclusion will be shown to be necessary in the same way as in an assertoric syllogism, by means of conversion;

En mèn oûn toîs állois tòn autòn trópon deikhthḗsetai dià tês antistrophês tò sumpérasma anankaîon, hṓsper epì toû hupárkhein;

ἀλλὰ καὶ οὕτως πλείους οἱ συλλογισμοί· πλείω γὰρ τὰ συμπεράσματά ἐστιν, οἷον τό τε Α καὶ τὸ Β καὶ τὸ Γ. εἰ δ’ οὖν μὴ πλείους ἀλλ’ εἷς, οὕτω μὲν ἐνδέχεται γενέσθαι διὰ πλειόνων τὸ αὐτὸ συμπέρασμα, ὡς δὲ τὸ Γ διὰ τῶν ΑΒ ἀδύνατον.

384 BCE – 322 BCE, Aristotle, Prior Analytics 42a.4–8

1962 translation by Hugh Tredennick
but here again there will be several syllogisms, since there are several conclusions, viz., A, B and C. If it be granted that these are not several syllogisms but only one, then the same conclusion can be reached by more than three terms in this way; but it cannot be reached as C is by means of A and B.

allà kaì hoútōs pleíous hoi sullogismoí; pleíō gàr tà sumperásmatá estin, hoîon tó te A kaì tò B kaì tò G. ei d’ oûn mḕ pleíous all’ heîs, hoútō mèn endékhetai genésthai dià pleiónōn tò autò sumpérasma, hōs dè tò G dià tôn AB adúnaton.

ὅσα γὰρ ἢ ὑπὸ τὸ μέσον ἢ ὑπὸ τὸ συμπέρασμά ἐστιν, ἁπάντων ἔσται ὁ αὐτὸς συλλογισμός, ἐὰν τὰ μὲν ἐν τῷ μέσῳ τὰ δ’ ἐν τῷ συμπεράσματι τεθῇ·

384 BCE – 322 BCE, Aristotle, Prior Analytics 53a.17–19

1962 translation by Hugh Tredennick
The same syllogism will hold good of all terms which are subordinate to the middle term or the conclusion, if these terms are placed respectively in the middle and in the conclusion.

hósa gàr ḕ hupò tò méson ḕ hupò tò sumpérasmá estin, hapántōn éstai ho autòs sullogismós, eàn tà mèn en tôi mésōi tà d’ en tôi sumperásmati tethêi;

384 BCE – 322 BCE, Aristotle, Topics 155b.23

384 BCE – 322 BCE, Aristotle, Stoic. 2.78

46 CE – 120 CE, Plutarch, Lysander 25

46 CE – 120 CE, Plutarch, M. 969c

129 CE – 216 CE, Galen, Collected Works 15.550

129 CE – 216 CE, Galen, Collected Works 15.633

finishing, end
(logic) conclusion in a syllogism

finishing, end
conclusion in a syllogism


discursus

Borrowed from Latin discursus. Doublet of discourse.

(logic) argumentation; ratiocination; discursive reasoning


obvert

en-verb

obvert (third-person singular simple present obverts, present participle obverting, simple past and past participle obverted)

obverts (present singular third-person)
obverting (participle present)
obverted (participle past)
obverted (past)

(transitive, logic) To infer by obversion.


explicandum

(logic) That which is to be explained or explicated


implicator

Residuated implicators are quite important since a t-norm T and an implicator I can only satisfy the residuation principle T(x,y) ≤_L z ⇔ y ≤_L I(x,z) if and only if the implicator I equals the residuated implicator I_T.

2008, M. Nachtegael, P. Sussner, T. Mélange, E.E. Kerre, “An Interval-Valued Fuzzy Morphological Model Based on Lukasiewicz-Operators”, in Jacques Blanc-Talon, Salah Bourennane, Wilfried Philips, Dan Popescu, Paul Scheunders, editors, Advanced Concepts for Intelligent Vision Systems: 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 2008, Proceedings (Lecture Notes in Computer Science; 5259), Springer, →ISBN, page 605:

(logic) The antecedent of an implication.


hyperjump

(mathematics, logic) A form of Turing jump in hyperarithmetic.


φαύλος κύκλος

head

φαύλοι κύκλοι

φαύλος κύκλος • (fávlos kýklos) m (plural φαύλοι κύκλοι)

el-noun

φαύλοι κύκλοι

fávlos kýklos (romanization)
φαύλοι κύκλοι (plural)

Calque of Medieval Latin circulus vitiōsus.


graphoid

(logic) A set of statements of the form, "X is irrelevant to Y given that we know Z" where X, Y and Z are sets of variables, which can be manipulated by a set of axioms concerning informational irrelevance and its graphical representation.


counterproof

It seems that ghosts and legendary encounters in general thrive under the protection of law because their extranormal statements and implications require proof and provoke the less convincing counterproof.

2001, Linda Dégh, Legend and Belief: Dialectics of a Folklore Genre, page 4:

(logic) A proof that contradicts a given statement.


apodictically

en-adv

apodictically (comparative more apodictically, superlative most apodictically)

more apodictically (comparative)
most apodictically (superlative)


公理

/kʊŋ⁵⁵ li²¹⁴⁻²¹⁽⁴⁾/

/kʊŋ⁵⁵ lei̯¹³/

/kuŋ²⁴⁻¹¹ li²⁴/

/kɔŋ⁴⁴⁻²² li⁵³/

/kɔŋ³³ li⁵⁵⁴/

/kɔŋ⁴⁴⁻²² li⁵³/

/kɔŋ⁴⁴⁻³³ li⁵³/

/kɔŋ⁴⁴⁻³³ li⁴¹/

/kʊŋ⁵⁵ li²¹⁴⁻²¹⁽⁴⁾/

/kʊŋ⁵⁵ lei̯¹³/

/kuŋ²⁴⁻¹¹ li²⁴/

/kɔŋ⁴⁴⁻²² li⁵³/

/kɔŋ³³ li⁵⁵⁴/

/kɔŋ⁴⁴⁻²² li⁵³/

/kɔŋ⁴⁴⁻³³ li⁵³/

/kɔŋ⁴⁴⁻³³ li⁴¹/


commutatif

fr-adj

commutatif (feminine commutative, masculine plural commutatifs, feminine plural commutatives)

commutative (feminine)
commutatifs (masculine plural)
commutatives (feminine plural)

(algebra, logic) commutative (such that the order in which the operands are taken does not affect their image under the operation)


positive logic

(logic) A logical system or fragment thereof not containing a negation operator.


classical logic

en-noun

classical logic (countable and uncountable, plural classical logics)

The Lindenbaum-Tarski algebra of propositional classical logic is a Boolean algebra.

(logic) A kind of logic based on the principles that each proposition has a truth value of either "true" or "false", but not both, and that if a proposition were to be both true and false or neither true nor false then a result would be that all propositions would be both true and false.


De Morgan's law

De Morgan's law (plural De Morgan's laws)

De Morgan's laws (plural)
DM (alternative)

/dɨˈmɔɹɡɪnzˌlɔ/

Named after the British mathematician and logician Augustus De Morgan (1806–1871), who first formulated the laws in formal propositional logic.

Let ‘F’ stand for the state of affairs that consists in finite persons possessing and exercising free will. Let ‘p’ stand for ‘God exists’; ‘q’ for ‘F obtains’; ‘r’ for ‘F poses a serious risk of evil’; and ‘s’ for ‘There is no option available to God that counters F.’ With this in place, the argument may be formalized as follows:
(1) [(p & q) & r] → s Premiss
(2) ~s Premiss
(3) ~[(p & q) & r] 1, 2 MT
(4) ~(p & q) v ~r 3 DM
(5) r Premiss
(6) ~(p & q) 4, 5 DS
(7) ~p v ~q 6 DM
(3) follows from the conjunction of (1) and (2) by modus tollens; De Morgan’s law applied to (3) yields (4); (4) and (5) together lead to (6) by disjunctive syllogism; and another application of De Morgan’s law takes us from (6) to the final conclusion, according to which either God exists or there is free will (but not both).

2004 August, J. L. Schellenberg, “The Atheist’s Free Will Offence”, in International Journal for Philosophy of Religion, volume 56, № 1, pages 11-12:

(mathematics, logic) Either of two laws in formal logic which state that:

The negation of a conjunction is the disjunction of the negations; expressed in propositional logic as: ¬ (𝑝 ∧ 𝑞) ⇔ (¬ 𝑝) ∨ (¬ 𝑞)

The negation of a disjunction is the conjunction of the negations; expressed in propositional logic as: ¬ (𝑝 ∨ 𝑞) ⇔ (¬ 𝑝) ∧ (¬ 𝑞)


De Morganin laki

De Morganin laki (nominative singular)
De Morganin lait (nominative plural)
De Morganin laki (accusative nominative singular)
De Morganin lait (accusative nominative plural)
De Morganin lain (accusative genitive singular)
De Morganin lait (accusative genitive plural)
De Morganin lain (genitive singular)
De Morganin lakien (genitive plural)
De Morganin lakia (partitive singular)
De Morganin lakeja (partitive plural)
De Morganin laissa (inessive singular)
De Morganin laeissa (inessive plural)
De Morganin laista (elative singular)
De Morganin laeista (elative plural)
De Morganin lakiin (illative singular)
De Morganin lakeihin (illative plural)
De Morganin lailla (adessive singular)
De Morganin laeilla (adessive plural)
De Morganin lailta (ablative singular)
De Morganin laeilta (ablative plural)
De Morganin laille (allative singular)
De Morganin laeille (allative plural)
De Morganin lakina (essive singular)
De Morganin lakeina (essive plural)
De Morganin laiksi (singular translative)
De Morganin laeiksi (plural translative)
De Morganin laitta (abessive singular)
De Morganin laeitta (abessive plural)
De Morganin laein (instructive plural)
See the possessive forms below. (comitative)
De Morganin lakini (nominative singular)
De Morganin lakini (nominative plural)
De Morganin lakini (accusative nominative singular)
De Morganin lakini (accusative nominative plural)
De Morganin lakini (accusative genitive singular)
De Morganin lakini (accusative genitive plural)
De Morganin lakini (genitive singular)
De Morganin lakieni (genitive plural)
De Morganin lakiani (partitive singular)
De Morganin lakejani (partitive plural)
De Morganin laissani (inessive singular)
De Morganin laeissani (inessive plural)
De Morganin laistani (elative singular)
De Morganin laeistani (elative plural)
De Morganin lakiini (illative singular)
De Morganin lakeihini (illative plural)
De Morganin laillani (adessive singular)
De Morganin laeillani (adessive plural)
De Morganin lailtani (ablative singular)
De Morganin laeiltani (ablative plural)
De Morganin lailleni (allative singular)
De Morganin laeilleni (allative plural)
De Morganin lakinani (essive singular)
De Morganin lakeinani (essive plural)
De Morganin laikseni (singular translative)
De Morganin laeikseni (plural translative)
De Morganin laittani (abessive singular)
De Morganin laeittani (abessive plural)
De Morganin lakeineni (comitative plural)
De Morganin lakisi (nominative singular)
De Morganin lakisi (nominative plural)
De Morganin lakisi (accusative nominative singular)
De Morganin lakisi (accusative nominative plural)
De Morganin lakisi (accusative genitive singular)
De Morganin lakisi (accusative genitive plural)
De Morganin lakisi (genitive singular)
De Morganin lakiesi (genitive plural)
De Morganin lakiasi (partitive singular)
De Morganin lakejasi (partitive plural)
De Morganin laissasi (inessive singular)
De Morganin laeissasi (inessive plural)
De Morganin laistasi (elative singular)
De Morganin laeistasi (elative plural)
De Morganin lakiisi (illative singular)
De Morganin lakeihisi (illative plural)
De Morganin laillasi (adessive singular)
De Morganin laeillasi (adessive plural)
De Morganin lailtasi (ablative singular)
De Morganin laeiltasi (ablative plural)
De Morganin laillesi (allative singular)
De Morganin laeillesi (allative plural)
De Morganin lakinasi (essive singular)
De Morganin lakeinasi (essive plural)
De Morganin laiksesi (singular translative)
De Morganin laeiksesi (plural translative)
De Morganin laittasi (abessive singular)
De Morganin laeittasi (abessive plural)
De Morganin lakeinesi (comitative plural)
De Morganin lakimme (nominative singular)
De Morganin lakimme (nominative plural)
De Morganin lakimme (accusative nominative singular)
De Morganin lakimme (accusative nominative plural)
De Morganin lakimme (accusative genitive singular)
De Morganin lakimme (accusative genitive plural)
De Morganin lakimme (genitive singular)
De Morganin lakiemme (genitive plural)
De Morganin lakiamme (partitive singular)
De Morganin lakejamme (partitive plural)
De Morganin laissamme (inessive singular)
De Morganin laeissamme (inessive plural)
De Morganin laistamme (elative singular)
De Morganin laeistamme (elative plural)
De Morganin lakiimme (illative singular)
De Morganin lakeihimme (illative plural)
De Morganin laillamme (adessive singular)
De Morganin laeillamme (adessive plural)
De Morganin lailtamme (ablative singular)
De Morganin laeiltamme (ablative plural)
De Morganin laillemme (allative singular)
De Morganin laeillemme (allative plural)
De Morganin lakinamme (essive singular)
De Morganin lakeinamme (essive plural)
De Morganin laiksemme (singular translative)
De Morganin laeiksemme (plural translative)
De Morganin laittamme (abessive singular)
De Morganin laeittamme (abessive plural)
De Morganin lakeinemme (comitative plural)
De Morganin lakinne (nominative singular)
De Morganin lakinne (nominative plural)
De Morganin lakinne (accusative nominative singular)
De Morganin lakinne (accusative nominative plural)
De Morganin lakinne (accusative genitive singular)
De Morganin lakinne (accusative genitive plural)
De Morganin lakinne (genitive singular)
De Morganin lakienne (genitive plural)
De Morganin lakianne (partitive singular)
De Morganin lakejanne (partitive plural)
De Morganin laissanne (inessive singular)
De Morganin laeissanne (inessive plural)
De Morganin laistanne (elative singular)
De Morganin laeistanne (elative plural)
De Morganin lakiinne (illative singular)
De Morganin lakeihinne (illative plural)
De Morganin laillanne (adessive singular)
De Morganin laeillanne (adessive plural)
De Morganin lailtanne (ablative singular)
De Morganin laeiltanne (ablative plural)
De Morganin laillenne (allative singular)
De Morganin laeillenne (allative plural)
De Morganin lakinanne (essive singular)
De Morganin lakeinanne (essive plural)
De Morganin laiksenne (singular translative)
De Morganin laeiksenne (plural translative)
De Morganin laittanne (abessive singular)
De Morganin laeittanne (abessive plural)
De Morganin lakeinenne (comitative plural)
De Morganin lakinsa (nominative singular)
De Morganin lakinsa (nominative plural)
De Morganin lakinsa (accusative nominative singular)
De Morganin lakinsa (accusative nominative plural)
De Morganin lakinsa (accusative genitive singular)
De Morganin lakinsa (accusative genitive plural)
De Morganin lakinsa (genitive singular)
De Morganin lakiensa (genitive plural)
De Morganin lakiaan (partitive singular)
De Morganin lakiansa (partitive singular)
De Morganin lakejaan (partitive plural)
De Morganin lakejansa (partitive plural)
De Morganin laissaan (inessive singular)
De Morganin laissansa (inessive singular)
De Morganin laeissaan (inessive plural)
De Morganin laeissansa (inessive plural)
De Morganin laistaan (elative singular)
De Morganin laistansa (elative singular)
De Morganin laeistaan (elative plural)
De Morganin laeistansa (elative plural)
De Morganin lakiinsa (illative singular)
De Morganin lakeihinsa (illative plural)
De Morganin laillaan (adessive singular)
De Morganin laillansa (adessive singular)
De Morganin laeillaan (adessive plural)
De Morganin laeillansa (adessive plural)
De Morganin lailtaan (ablative singular)
De Morganin lailtansa (ablative singular)
De Morganin laeiltaan (ablative plural)
De Morganin laeiltansa (ablative plural)
De Morganin lailleen (allative singular)
De Morganin laillensa (allative singular)
De Morganin laeilleen (allative plural)
De Morganin laeillensa (allative plural)
De Morganin lakinaan (essive singular)
De Morganin lakinansa (essive singular)
De Morganin lakeinaan (essive plural)
De Morganin lakeinansa (essive plural)
De Morganin laikseen (singular translative)
De Morganin laiksensa (singular translative)
De Morganin laeikseen (plural translative)
De Morganin laeiksensa (plural translative)
De Morganin laittaan (abessive singular)
De Morganin laittansa (abessive singular)
De Morganin laeittaan (abessive plural)
De Morganin laeittansa (abessive plural)
De Morganin lakeineen (comitative plural)
De Morganin lakeinensa (comitative plural)


syllogismus

la-noun

syllogismus m (genitive syllogismī); second declension

syllogismī (genitive)
syllogismus (nominative singular)
syllogismī (nominative plural)
syllogismī (genitive singular)
syllogismōrum (genitive plural)
syllogismō (dative singular)
syllogismīs (dative plural)
syllogismum (accusative singular)
syllogismōs (accusative plural)
syllogismō (ablative singular)
syllogismīs (ablative plural)
syllogisme (singular vocative)
syllogismī (plural vocative)

From Ancient Greek συλλογισμός (sullogismós, “inference, conclusion”).


conexum

la-noun

cōnexum n (genitive cōnexī); second declension

cōnexum (canonical neuter)
cōnexī (genitive)
cōnexum (nominative singular)
cōnexa (nominative plural)
cōnexī (genitive singular)
cōnexōrum (genitive plural)
cōnexō (dative singular)
cōnexīs (dative plural)
cōnexum (accusative singular)
cōnexa (accusative plural)
cōnexō (ablative singular)
cōnexīs (ablative plural)
cōnexum (singular vocative)
cōnexa (plural vocative)
connexum (alternative)

[koːˈnɛks̠ʊ̃ˑ]

From cōnexus: as a noun, a substantivisation of the adjectival perfect passive participle’s neuter forms; as a participle, regularly declined forms.

(logic) a proposition that follows necessarily, a necessary consequence, a logical entailment, an inevitable inference


inductio

inductiō f (genitive inductiōnis); third declension

inductiō (canonical feminine)
inductiōnis (genitive)
inductiō (nominative singular)
inductiōnēs (nominative plural)
inductiōnis (genitive singular)
inductiōnum (genitive plural)
inductiōnī (dative singular)
inductiōnibus (dative plural)
inductiōnem (accusative singular)
inductiōnēs (accusative plural)
inductiōne (ablative singular)
inductiōnibus (ablative plural)
inductiō (singular vocative)
inductiōnēs (plural vocative)

Catalan: inducció

English: induction

French: induction

Italian: induzione

Portuguese: indução

Romanian: inducție

Russian: индукция (indukcija)

Spanish: inducción


syllogismi

syllogismi (nominative singular)
syllogismit (nominative plural)
syllogismi (accusative nominative singular)
syllogismit (accusative nominative plural)
syllogismin (accusative genitive singular)
syllogismit (accusative genitive plural)
syllogismin (genitive singular)
syllogismien (genitive plural)
syllogismia (partitive singular)
syllogismeja (partitive plural)
syllogismissa (inessive singular)
syllogismeissa (inessive plural)
syllogismista (elative singular)
syllogismeista (elative plural)
syllogismiin (illative singular)
syllogismeihin (illative plural)
syllogismilla (adessive singular)
syllogismeilla (adessive plural)
syllogismilta (ablative singular)
syllogismeilta (ablative plural)
syllogismille (allative singular)
syllogismeille (allative plural)
syllogismina (essive singular)
syllogismeina (essive plural)
syllogismiksi (singular translative)
syllogismeiksi (plural translative)
syllogismitta (abessive singular)
syllogismeitta (abessive plural)
syllogismein (instructive plural)
See the possessive forms below. (comitative)
syllogismini (nominative singular)
syllogismini (nominative plural)
syllogismini (accusative nominative singular)
syllogismini (accusative nominative plural)
syllogismini (accusative genitive singular)
syllogismini (accusative genitive plural)
syllogismini (genitive singular)
syllogismieni (genitive plural)
syllogismiani (partitive singular)
syllogismejani (partitive plural)
syllogismissani (inessive singular)
syllogismeissani (inessive plural)
syllogismistani (elative singular)
syllogismeistani (elative plural)
syllogismiini (illative singular)
syllogismeihini (illative plural)
syllogismillani (adessive singular)
syllogismeillani (adessive plural)
syllogismiltani (ablative singular)
syllogismeiltani (ablative plural)
syllogismilleni (allative singular)
syllogismeilleni (allative plural)
syllogisminani (essive singular)
syllogismeinani (essive plural)
syllogismikseni (singular translative)
syllogismeikseni (plural translative)
syllogismittani (abessive singular)
syllogismeittani (abessive plural)
syllogismeineni (comitative plural)
syllogismisi (nominative singular)
syllogismisi (nominative plural)
syllogismisi (accusative nominative singular)
syllogismisi (accusative nominative plural)
syllogismisi (accusative genitive singular)
syllogismisi (accusative genitive plural)
syllogismisi (genitive singular)
syllogismiesi (genitive plural)
syllogismiasi (partitive singular)
syllogismejasi (partitive plural)
syllogismissasi (inessive singular)
syllogismeissasi (inessive plural)
syllogismistasi (elative singular)
syllogismeistasi (elative plural)
syllogismiisi (illative singular)
syllogismeihisi (illative plural)
syllogismillasi (adessive singular)
syllogismeillasi (adessive plural)
syllogismiltasi (ablative singular)
syllogismeiltasi (ablative plural)
syllogismillesi (allative singular)
syllogismeillesi (allative plural)
syllogisminasi (essive singular)
syllogismeinasi (essive plural)
syllogismiksesi (singular translative)
syllogismeiksesi (plural translative)
syllogismittasi (abessive singular)
syllogismeittasi (abessive plural)
syllogismeinesi (comitative plural)
syllogismimme (nominative singular)
syllogismimme (nominative plural)
syllogismimme (accusative nominative singular)
syllogismimme (accusative nominative plural)
syllogismimme (accusative genitive singular)
syllogismimme (accusative genitive plural)
syllogismimme (genitive singular)
syllogismiemme (genitive plural)
syllogismiamme (partitive singular)
syllogismejamme (partitive plural)
syllogismissamme (inessive singular)
syllogismeissamme (inessive plural)
syllogismistamme (elative singular)
syllogismeistamme (elative plural)
syllogismiimme (illative singular)
syllogismeihimme (illative plural)
syllogismillamme (adessive singular)
syllogismeillamme (adessive plural)
syllogismiltamme (ablative singular)
syllogismeiltamme (ablative plural)
syllogismillemme (allative singular)
syllogismeillemme (allative plural)
syllogisminamme (essive singular)
syllogismeinamme (essive plural)
syllogismiksemme (singular translative)
syllogismeiksemme (plural translative)
syllogismittamme (abessive singular)
syllogismeittamme (abessive plural)
syllogismeinemme (comitative plural)
syllogisminne (nominative singular)
syllogisminne (nominative plural)
syllogisminne (accusative nominative singular)
syllogisminne (accusative nominative plural)
syllogisminne (accusative genitive singular)
syllogisminne (accusative genitive plural)
syllogisminne (genitive singular)
syllogismienne (genitive plural)
syllogismianne (partitive singular)
syllogismejanne (partitive plural)
syllogismissanne (inessive singular)
syllogismeissanne (inessive plural)
syllogismistanne (elative singular)
syllogismeistanne (elative plural)
syllogismiinne (illative singular)
syllogismeihinne (illative plural)
syllogismillanne (adessive singular)
syllogismeillanne (adessive plural)
syllogismiltanne (ablative singular)
syllogismeiltanne (ablative plural)
syllogismillenne (allative singular)
syllogismeillenne (allative plural)
syllogisminanne (essive singular)
syllogismeinanne (essive plural)
syllogismiksenne (singular translative)
syllogismeiksenne (plural translative)
syllogismittanne (abessive singular)
syllogismeittanne (abessive plural)
syllogismeinenne (comitative plural)
syllogisminsa (nominative singular)
syllogisminsa (nominative plural)
syllogisminsa (accusative nominative singular)
syllogisminsa (accusative nominative plural)
syllogisminsa (accusative genitive singular)
syllogisminsa (accusative genitive plural)
syllogisminsa (genitive singular)
syllogismiensa (genitive plural)
syllogismiaan (partitive singular)
syllogismiansa (partitive singular)
syllogismejaan (partitive plural)
syllogismejansa (partitive plural)
syllogismissaan (inessive singular)
syllogismissansa (inessive singular)
syllogismeissaan (inessive plural)
syllogismeissansa (inessive plural)
syllogismistaan (elative singular)
syllogismistansa (elative singular)
syllogismeistaan (elative plural)
syllogismeistansa (elative plural)
syllogismiinsa (illative singular)
syllogismeihinsa (illative plural)
syllogismillaan (adessive singular)
syllogismillansa (adessive singular)
syllogismeillaan (adessive plural)
syllogismeillansa (adessive plural)
syllogismiltaan (ablative singular)
syllogismiltansa (ablative singular)
syllogismeiltaan (ablative plural)
syllogismeiltansa (ablative plural)
syllogismilleen (allative singular)
syllogismillensa (allative singular)
syllogismeilleen (allative plural)
syllogismeillensa (allative plural)
syllogisminaan (essive singular)
syllogisminansa (essive singular)
syllogismeinaan (essive plural)
syllogismeinansa (essive plural)
syllogismikseen (singular translative)
syllogismiksensa (singular translative)
syllogismeikseen (plural translative)
syllogismeiksensa (plural translative)
syllogismittaan (abessive singular)
syllogismittansa (abessive singular)
syllogismeittaan (abessive plural)
syllogismeittansa (abessive plural)
syllogismeineen (comitative plural)
syllogismeinensa (comitative plural)

Internationalism (see English syllogism), ultimately from Latin syllogismus. Contains the suffix -ismi.


syllogizo

la-verb

syllogizō (present infinitive syllogizāre, perfect active syllogizāvī, supine syllogizātum); first conjugation

syllogizō (canonical)
syllogizāre (infinitive present)
syllogizāvī (active perfect)
syllogizātum (supine)
syllogizō (active first-person indicative present singular)
syllogizās (active indicative present second-person singular)
syllogizat (active indicative present singular third-person)
syllogizāmus (active first-person indicative plural present)
syllogizātis (active indicative plural present second-person)
syllogizant (active indicative plural present third-person)
syllogizābam (active first-person imperfect indicative singular)
syllogizābās (active imperfect indicative second-person singular)
syllogizābat (active imperfect indicative singular third-person)
syllogizābāmus (active first-person imperfect indicative plural)
syllogizābātis (active imperfect indicative plural second-person)
syllogizābant (active imperfect indicative plural third-person)
syllogizābō (active first-person future indicative singular)
syllogizābis (active future indicative second-person singular)
syllogizābit (active future indicative singular third-person)
syllogizābimus (active first-person future indicative plural)
syllogizābitis (active future indicative plural second-person)
syllogizābunt (active future indicative plural third-person)
syllogizāvī (active first-person indicative perfect singular)
syllogizāvistī (active indicative perfect second-person singular)
syllogizāvit (active indicative perfect singular third-person)
syllogizāvimus (active first-person indicative perfect plural)
syllogizāvistis (active indicative perfect plural second-person)
syllogizāvērunt (active indicative perfect plural third-person)
syllogizāvēre (active indicative perfect plural third-person)
syllogizāveram (active first-person indicative pluperfect singular)
syllogizāverās (active indicative pluperfect second-person singular)
syllogizāverat (active indicative pluperfect singular third-person)
syllogizāverāmus (active first-person indicative pluperfect plural)
syllogizāverātis (active indicative pluperfect plural second-person)
syllogizāverant (active indicative pluperfect plural third-person)
syllogizāverō (active first-person future indicative perfect singular)
syllogizāveris (active future indicative perfect second-person singular)
syllogizāverit (active future indicative perfect singular third-person)
syllogizāverimus (active first-person future indicative perfect plural)
syllogizāveritis (active future indicative perfect plural second-person)
syllogizāverint (active future indicative perfect plural third-person)
syllogizor (first-person indicative passive present singular)
syllogizāris (indicative passive present second-person singular)
syllogizāre (indicative passive present second-person singular)
syllogizātur (indicative passive present singular third-person)
syllogizāmur (first-person indicative passive plural present)
syllogizāminī (indicative passive plural present second-person)
syllogizantur (indicative passive plural present third-person)
syllogizābar (first-person imperfect indicative passive singular)
syllogizābāris (imperfect indicative passive second-person singular)
syllogizābāre (imperfect indicative passive second-person singular)
syllogizābātur (imperfect indicative passive singular third-person)
syllogizābāmur (first-person imperfect indicative passive plural)
syllogizābāminī (imperfect indicative passive plural second-person)
syllogizābantur (imperfect indicative passive plural third-person)
syllogizābor (first-person future indicative passive singular)
syllogizāberis (future indicative passive second-person singular)
syllogizābere (future indicative passive second-person singular)
syllogizābitur (future indicative passive singular third-person)
syllogizābimur (first-person future indicative passive plural)
syllogizābiminī (future indicative passive plural second-person)
syllogizābuntur (future indicative passive plural third-person)
syllogizem (active first-person present singular subjunctive)
syllogizēs (active present second-person singular subjunctive)
syllogizet (active present singular subjunctive third-person)
syllogizēmus (active first-person plural present subjunctive)
syllogizētis (active plural present second-person subjunctive)
syllogizent (active plural present subjunctive third-person)
syllogizārem (active first-person imperfect singular subjunctive)
syllogizārēs (active imperfect second-person singular subjunctive)
syllogizāret (active imperfect singular subjunctive third-person)
syllogizārēmus (active first-person imperfect plural subjunctive)
syllogizārētis (active imperfect plural second-person subjunctive)
syllogizārent (active imperfect plural subjunctive third-person)
syllogizāverim (active first-person perfect singular subjunctive)
syllogizāverīs (active perfect second-person singular subjunctive)
syllogizāverit (active perfect singular subjunctive third-person)
syllogizāverīmus (active first-person perfect plural subjunctive)
syllogizāverītis (active perfect plural second-person subjunctive)
syllogizāverint (active perfect plural subjunctive third-person)
syllogizāvissem (active first-person pluperfect singular subjunctive)
syllogizāvissēs (active pluperfect second-person singular subjunctive)
syllogizāvisset (active pluperfect singular subjunctive third-person)
syllogizāvissēmus (active first-person pluperfect plural subjunctive)
syllogizāvissētis (active pluperfect plural second-person subjunctive)
syllogizāvissent (active pluperfect plural subjunctive third-person)
syllogizer (first-person passive present singular subjunctive)
syllogizēris (passive present second-person singular subjunctive)
syllogizēre (passive present second-person singular subjunctive)
syllogizētur (passive present singular subjunctive third-person)
syllogizēmur (first-person passive plural present subjunctive)
syllogizēminī (passive plural present second-person subjunctive)
syllogizentur (passive plural present subjunctive third-person)
syllogizārer (first-person imperfect passive singular subjunctive)
syllogizārēris (imperfect passive second-person singular subjunctive)
syllogizārēre (imperfect passive second-person singular subjunctive)
syllogizārētur (imperfect passive singular subjunctive third-person)
syllogizārēmur (first-person imperfect passive plural subjunctive)
syllogizārēminī (imperfect passive plural second-person subjunctive)
syllogizārentur (imperfect passive plural subjunctive third-person)
syllogizā (active imperative present second-person singular)
syllogizāte (active imperative plural present second-person)
syllogizātō (active future imperative second-person singular)
syllogizātō (active future imperative singular third-person)
syllogizātōte (active future imperative plural second-person)
syllogizantō (active future imperative plural third-person)
syllogizāre (imperative passive present second-person singular)
syllogizāminī (imperative passive plural present second-person)
syllogizātor (future imperative passive second-person singular)
syllogizātor (future imperative passive singular third-person)
syllogizantor (future imperative passive plural third-person)
syllogizāre (active infinitive present)
syllogizārī (infinitive passive present)
syllogizāns (active participle present)
syllogizātūrum esse (active future infinitive)
syllogizātum īrī (future infinitive passive)
syllogizātūrus (active future participle)
syllogizandus (future participle passive)
syllogizāvisse (active infinitive perfect)
syllogizātum esse (infinitive passive perfect)
syllogizātus (participle passive perfect)
syllogizātum fore (future infinitive passive perfect)
syllogizātūrum fuisse (active infinitive perfect potential)
syllogizandī (genitive gerund noun-from-verb)
syllogizandō (dative gerund noun-from-verb)
syllogizandum (accusative gerund noun-from-verb)
syllogizandō (ablative gerund noun-from-verb)
syllogizātum (accusative noun-from-verb supine)
syllogizātū (ablative noun-from-verb supine)

Catalan: sil·logitzar

French: syllogiser

Italian: sillogizzare

Occitan: sillogizar

Portuguese: silogizar

Spanish: silogizar

[s̠ʏlːʲɔˈɡɪz̪ːoː]


supervaluationism

(logic) A semantics for dealing with irreferential singular terms and vagueness.


supertruth

LL-Q1860 (eng)-Flame, not lame-supertruth.wav

(logic) In supervaluationism, the quality of being supertrue.


supertrue

LL-Q1860 (eng)-Flame, not lame-supertrue.wav

"I am happy or I am not happy" is supertrue, because I must be one or the other.

(logic) In supervaluationism, necessarily true regardless of the values of variables.


superfalse

LL-Q1860 (eng)-Flame, not lame-superfalse.wav

"I am asleep and I am not asleep" is superfalse, because I can never be both.

(logic) In supervaluationism, necessarily false regardless of the values of variables.


mórthéarma

head

mórthéarma m (genitive singular mórthéarma, nominative plural mórthéarmaí)

mórthéarma (genitive singular)
mórthéarmaí (nominative plural)
mórthéarma (indefinite nominative singular)
mórthéarmaí (indefinite nominative plural)
a mhórthéarma (indefinite singular vocative)
a mhórthéarmaí (indefinite plural vocative)
mórthéarma (genitive indefinite singular)
mórthéarmaí (genitive indefinite plural)
mórthéarma (dative indefinite singular)
mórthéarmaí (dative indefinite plural)
an mórthéarma (definite nominative singular)
na mórthéarmaí (definite nominative plural)
an mhórthéarma (definite genitive singular)
na mórthéarmaí (definite genitive plural)
leis an mórthéarma (dative definite singular)
don mhórthéarma (dative definite singular)
leis na mórthéarmaí (dative definite plural)
mórthéarma
mhórthéarma


mórleagan

mórleagan m (genitive singular mórleagain, nominative plural mórleaganacha)

mórleagain (genitive singular)
mórleaganacha (nominative plural)
mórleagan (indefinite nominative singular)
mórleaganacha (indefinite nominative plural)
a mhórleagain (indefinite singular vocative)
a mhórleaganacha (indefinite plural vocative)
mórleagain (genitive indefinite singular)
mórleaganacha (genitive indefinite plural)
mórleagan (dative indefinite singular)
mórleaganacha (dative indefinite plural)
an mórleagan (definite nominative singular)
na mórleaganacha (definite nominative plural)
an mhórleagain (definite genitive singular)
na mórleaganacha (definite genitive plural)
leis an mórleagan (dative definite singular)
don mhórleagan (dative definite singular)
leis na mórleaganacha (dative definite plural)
mórleagan
mhórleagan


konjunksjon

konjunksjonen (definite singular)
konjunksjoner (indefinite plural)
konjunksjonene (definite plural)

(logic) conjunction (a proposition resulting from the combination of two or more propositions)


disjunksjon

disjunksjonen (definite singular)
disjunksjoner (indefinite plural)
disjunksjonene (definite plural)

(logic) disjunction (a proposition resulting from the combination of two or more propositions using the or operator)