zweryfikować

pl-verb

zweryfikować pf (imperfective weryfikować)

weryfikować (imperfective)
zweryfikować (infinitive)
zweryfikuję (future singular)
zweryfikujemy (future plural)
zweryfikujesz (future singular)
zweryfikujecie (future plural)
zweryfikuje (future singular third-person)
zweryfikują (future plural third-person)
zweryfikuje się (future impersonal)
zweryfikowałem (masculine past singular)
-(e)m zweryfikował (masculine past singular)
zweryfikowałam (feminine past singular)
-(e)m zweryfikowała (feminine past singular)
zweryfikowałom (neuter past singular)
-(e)m zweryfikowało (neuter past singular)
zweryfikowaliśmy (past plural virile)
-(e)śmy zweryfikowali (past plural virile)
zweryfikowałyśmy (nonvirile past plural)
-(e)śmy zweryfikowały (nonvirile past plural)
zweryfikowałeś (masculine past singular)
-(e)ś zweryfikował (masculine past singular)
zweryfikowałaś (feminine past singular)
-(e)ś zweryfikowała (feminine past singular)
zweryfikowałoś (neuter past singular)
-(e)ś zweryfikowało (neuter past singular)
zweryfikowaliście (past plural virile)
-(e)ście zweryfikowali (past plural virile)
zweryfikowałyście (nonvirile past plural)
-(e)ście zweryfikowały (nonvirile past plural)
zweryfikował (masculine past singular third-person)
zweryfikowała (feminine past singular third-person)
zweryfikowało (neuter past singular third-person)
zweryfikowali (past plural third-person virile)
zweryfikowały (nonvirile past plural third-person)
zweryfikowano (impersonal past)
zweryfikowałbym (conditional masculine singular)
bym zweryfikował (conditional masculine singular)
zweryfikowałabym (conditional feminine singular)
bym zweryfikowała (conditional feminine singular)
zweryfikowałobym (conditional neuter singular)
bym zweryfikowało (conditional neuter singular)
zweryfikowalibyśmy (conditional plural virile)
byśmy zweryfikowali (conditional plural virile)
zweryfikowałybyśmy (conditional nonvirile plural)
byśmy zweryfikowały (conditional nonvirile plural)
zweryfikowałbyś (conditional masculine singular)
byś zweryfikował (conditional masculine singular)
zweryfikowałabyś (conditional feminine singular)
byś zweryfikowała (conditional feminine singular)
zweryfikowałobyś (conditional neuter singular)
byś zweryfikowało (conditional neuter singular)
zweryfikowalibyście (conditional plural virile)
byście zweryfikowali (conditional plural virile)
zweryfikowałybyście (conditional nonvirile plural)
byście zweryfikowały (conditional nonvirile plural)
zweryfikowałby (conditional masculine singular third-person)
by zweryfikował (conditional masculine singular third-person)
zweryfikowałaby (conditional feminine singular third-person)
by zweryfikowała (conditional feminine singular third-person)
zweryfikowałoby (conditional neuter singular third-person)
by zweryfikowało (conditional neuter singular third-person)
zweryfikowaliby (conditional plural third-person virile)
by zweryfikowali (conditional plural third-person virile)
zweryfikowałyby (conditional nonvirile plural third-person)
by zweryfikowały (conditional nonvirile plural third-person)
zweryfikowano by (conditional impersonal)
niech zweryfikuję (imperative singular)
zweryfikujmy (imperative plural)
zweryfikuj (imperative singular)
zweryfikujcie (imperative plural)
niech zweryfikuje (imperative singular third-person)
niech zweryfikują (imperative plural third-person)
zweryfikowany (adjectival masculine participle passive singular)
zweryfikowana (adjectival feminine participle passive singular)
zweryfikowane (adjectival neuter participle passive singular)
zweryfikowani (adjectival participle passive plural virile)
zweryfikowane (adjectival nonvirile participle passive plural)
zweryfikowawszy (adverbial anterior participle)
zweryfikowanie (noun-from-verb)

(transitive, logic) to check, to verify (to substantiate or prove the truth of something)


rökhenda

is-noun

rökhenda f (genitive singular rökhendu, nominative plural rökhendur)

rökhendu (genitive singular)
rökhendur (nominative plural)
rökhenda (indefinite nominative singular)
rökhendan (definite nominative singular)
rökhendur (indefinite nominative plural)
rökhendurnar (definite nominative plural)
rökhendu (accusative indefinite singular)
rökhenduna (accusative definite singular)
rökhendur (accusative indefinite plural)
rökhendurnar (accusative definite plural)
rökhendu (dative indefinite singular)
rökhendunni (dative definite singular)
rökhendum (dative indefinite plural)
rökhendunum (dative definite plural)
rökhendu (genitive indefinite singular)
rökhendunnar (definite genitive singular)
rökhendna (genitive indefinite plural)
rökhenda (genitive indefinite plural)
rökhendnanna (definite genitive plural)
rökhendanna (definite genitive plural)

From rök (“logic”) + -henda (“for terms pertaining to meter or line of poetry”).


Sheffer stroke

Sheffer strokes (plural)
Sheffer's stroke (alternative)

(logic) The vertical bar symbol ( | ), denoting the NAND operation.


SLD

selective linear definite
w:SLD resolution

(logic) Initialism of selective linear definite.


konsekwencja

konsekwencja (nominative singular)
konsekwencje (nominative plural)
konsekwencji (genitive singular)
konsekwencji (genitive plural)
konsekwencyj (archaic genitive plural)
konsekwencji (dative singular)
konsekwencjom (dative plural)
konsekwencję (accusative singular)
konsekwencje (accusative plural)
konsekwencją (instrumental singular)
konsekwencjami (instrumental plural)
konsekwencji (locative singular)
konsekwencjach (locative plural)
konsekwencjo (singular vocative)
konsekwencje (plural vocative)

Borrowed from French conséquence, from Old French consequence, from Late Latin cōnsequentia.


abstract model

(engineering, logic, mathematics) A model that contains an abstraction or abstractions of the reality.


definite clause

en-noun

definite clause (plural definite clauses)

The clauses #92;negp#92;veeq, #92;negp#92;vee#92;negq#92;veer, and #92;negp#92;vee#92;negq#92;vee#92;negr#92;vees are examples of definite clauses. At least in classical logic these would be equivalent to the formulae p#92;rightarrowq, (p#92;wedgeq)#92;rightarrowr, and (p#92;wedgeq#92;wedger)#92;rightarrows, respectively.

(logic) A Horn clause with exactly one positive literal.


Horn clause

Named after American logician Alfred Horn (1918–2001).

named-after

(logic) A clause (disjunction of literals) with at most one positive literal.


constructive logic

en-noun

constructive logic (countable and uncountable, plural constructive logics)

(logic) Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist.


fałsz

fałsz (nominative singular)
fałsze (nominative plural)
fałszu (genitive singular)
fałszy (genitive plural)
fałszowi (dative singular)
fałszom (dative plural)
fałsz (accusative singular)
fałsze (accusative plural)
fałszem (instrumental singular)
fałszami (instrumental plural)
fałszu (locative singular)
fałszach (locative plural)
fałszu (singular vocative)
fałsze (plural vocative)

Borrowed from Middle High German valsch.


prime formula

prime formula (plural prime formulas or prime formulae)

prime formulas (plural)
prime formulae (plural)

(logic) A well-formed formula which has not been made by combining simpler well-formed formulas by means of logical connectives.

peruslause

well-formed formula that is not combined from other, simpler formulas


logical connective

logical connective (plural logical connectives)

material implication
material implication

(logic) A truth-valued function such as (the usual suspects): conjunction, disjunction, negation, and material implication.


formation rule

(logic) Any of a set of rules used to construct well-formed formulas of a formal language.


inference rule

(logic, proof theory) A rule for combining (or modifying) well-formed formulas of a formal language in a truth-preserving manner (to yield new well-formed formulas).


praeclarum theorema

So named by G.W. Leibniz in his unpublished papers of 1690 (later published as Leibniz: Logical Papers in 1966), meaning "splendid theorem" in Latin.

The praeclarum theorema can be seen to correspond with the rule R⊗ of linear logic; given two sequents A⊢B and C⊢D one may infer (through the said rule) that A,C⊢B⊗D. Then one may further infer, through the rule L⊗, that A⊗C⊢B⊗D.

propositional calculus
propositional calculus

(logic) The following theorem of propositional calculus: (A → B) ∧ (C → D) → (A ∧ C → B ∧ D).


existential instantiation

existential instantiation (plural existential instantiations)

(logic) In predicate logic, an inference rule of the form ∃x P(x) ⊢ P(c), where c is a new symbol (not part of the original domain of discourse, but which can stand for an element of it (as in Skolemization)).


conditional proof

conditional proof (plural conditional proofs)

A conditional proof corresponds to the application of what Douglas Hofstadter calls the "Fantasy Rule" in his masterwork "GEB:EGB". Surprisingly, the theory of propositional calculus which he develops in GEB:EGB employs several inference rules but no axioms: the need for any axioms is done away with through application of the Fantasy Rule.

(logic) A proof showing that if an assumption A is true then a consequent statement or conclusion B must also be true, i.e. B is true on the condition that A is true.


deduction theorem

deduction theorem (plural deduction theorems)

The deduction theorem reveals the relationship between logical entailment and material implication: it allows to one to "pack" or "record" an inference into a tautology, and conversely, to "unpack" or "play back" a tautology as an inference process.

(logic) A procedure for "discharging" assumptions from an inference, causing them to become antecedents of the conclusion; or vice versa. Symbolically, the conversion of an inference of the form P,A⊢C to an inference of the form P⊢A→C or vice versa, where ⊢ is the turnstile symbol. The validity of the procedure is a metatheorem of the given logical theory.


operasyon

tl-noun

operasyón (Baybayin spelling ᜂᜉᜒᜇᜐ᜔ᜌᜓᜈ᜔)

operasyón (canonical)
ᜂᜉᜒᜇᜐ᜔ᜌᜓᜈ᜔ (Baybayin)

Borrowed from Spanish operación, from Latin operātiō.

(computing, logic, mathematics) operation (generating a value from one or more other values)


consensus theorem

(logic) The following theorem of Boolean algebra: XY+X'Z+YZ=XY+X'Z where YZ, the algebraically redundant term, is called the "consensus term", or its dual form (X+Y)(X'+Z)(Y+Z)=(X+Y)(X'+Z), in which case Y+Z is the consensus term. (Note: X+Y,X'+Z⊢Y+Z is an example of the resolution inference rule (replacing the + with ∨ and the prime with prefix ¬ might make this more evident).)


boolesch

de-adj

boolesch (strong nominative masculine singular boolescher, not comparable)

boolescher (masculine nominative singular strong)
boolesch (masculine predicative singular)
boolesch (feminine predicative singular)
boolesch (neuter predicative singular)
boolesch (plural predicative)
boolescher (masculine nominative singular strong without-article)
boolesche (feminine nominative singular strong without-article)
boolesches (neuter nominative singular strong without-article)
boolesche (nominative plural strong without-article)
booleschen (genitive masculine singular strong without-article)
boolescher (feminine genitive singular strong without-article)
booleschen (genitive neuter singular strong without-article)
boolescher (genitive plural strong without-article)
booleschem (dative masculine singular strong without-article)
boolescher (dative feminine singular strong without-article)
booleschem (dative neuter singular strong without-article)
booleschen (dative plural strong without-article)
booleschen (accusative masculine singular strong without-article)
boolesche (accusative feminine singular strong without-article)
boolesches (accusative neuter singular strong without-article)
boolesche (accusative plural strong without-article)
der boolesche (definite includes-article masculine nominative singular weak)
die boolesche (definite feminine includes-article nominative singular weak)
das boolesche (definite includes-article neuter nominative singular weak)
die booleschen (definite includes-article nominative plural weak)
des booleschen (definite genitive includes-article masculine singular weak)
der booleschen (definite feminine genitive includes-article singular weak)
des booleschen (definite genitive includes-article neuter singular weak)
der booleschen (definite genitive includes-article plural weak)
dem booleschen (dative definite includes-article masculine singular weak)
der booleschen (dative definite feminine includes-article singular weak)
dem booleschen (dative definite includes-article neuter singular weak)
den booleschen (dative definite includes-article plural weak)
den booleschen (accusative definite includes-article masculine singular weak)
die boolesche (accusative definite feminine includes-article singular weak)
das boolesche (accusative definite includes-article neuter singular weak)
die booleschen (accusative definite includes-article plural weak)
ein boolescher (includes-article indefinite masculine mixed nominative singular)
eine boolesche (feminine includes-article indefinite mixed nominative singular)
ein boolesches (includes-article indefinite mixed neuter nominative singular)
booleschen (indefinite mixed nominative plural)
keine booleschen (includes-article indefinite mixed negative nominative plural)
eines booleschen (genitive includes-article indefinite masculine mixed singular)
einer booleschen (feminine genitive includes-article indefinite mixed singular)
eines booleschen (genitive includes-article indefinite mixed neuter singular)
booleschen (genitive indefinite mixed plural)
keiner booleschen (genitive includes-article indefinite mixed negative plural)
einem booleschen (dative includes-article indefinite masculine mixed singular)
einer booleschen (dative feminine includes-article indefinite mixed singular)
einem booleschen (dative includes-article indefinite mixed neuter singular)
booleschen (dative indefinite mixed plural)
keinen booleschen (dative includes-article indefinite mixed negative plural)
einen booleschen (accusative includes-article indefinite masculine mixed singular)
eine boolesche (accusative feminine includes-article indefinite mixed singular)
ein boolesches (accusative includes-article indefinite mixed neuter singular)
booleschen (accusative indefinite mixed plural)
keine booleschen (accusative includes-article indefinite mixed negative plural)
Boolesch (alternative)
Boole'sch (alternative)


collectional

Such quantifiers are characterized as dispensive(or distributive), and are distinguished from collective reference (e.g. "All S, taken together, are P") and collectional reference (e.g. "All S, separately but simultaneously, are P").

The aggregation relationship appears like a family of four different kinds of relationships. We note Aₑ the set relationship, Aₛ the segmentational one, A_f the functional one, and A_c, the collectional one.

1996, John E.E. Sharpe, AI System Support for Conceptual Design, page 324:

For an infinite of finite order multiplied into itself gives a higher order. That is not the case with collectional infinities. On the contrary, each is the exponential of the preceding.

2022, Stetson J. Robinson, The Correspondence of Charles S. Peirce and the Open Court Publishing Company, 1890–1913, page 493:

(logic) Pertaining to all elements of a collection simultaneously, rather than to the individual elements of the collection or to the collection as a whole.


epichirema

en-noun

epichirema (plural epichiremas or epichiremata)

epichiremas (plural)
epichiremata (plural)
epicheirema (alternative)

Borrowed from Latin, itself a borrowing from Ancient Greek ἐπιχείρημα (epikheírēma).

(rhetoric, logic) A syllogism in which the proof of the major or minor premise, or both, is introduced with the premises themselves, and the conclusion is derived in the ordinary manner.


prosyllogism

(logic) A syllogism that is preliminary or logically essential to another syllogism.

(logic) The conclusion of such a syllogism, which becomes a premise of the following syllogism.


obversion

obversion (countable and uncountable, plural obversions)

All men are mortal, so, by obversion, no men are immortal.

From 'warmth is agreeable' we can affirm, by formal obversion, 'warmth is not disagreeable, and not indifferent.' We cannot affirm, without an examination of the subject matter, 'cold is disagreeable.'

(logic) An immediate inference that denies the opposite of something previously affirmed.


inconcludent

en-adj

inconcludent (comparative more inconcludent, superlative most inconcludent)

more inconcludent (comparative)
most inconcludent (superlative)

But it is wrong to say that these propositions can be deduced from, or proved by, the premisses associated with them, and that the "clearest sign" that the pair is inconcludent is the fact that "the conclusions deduced from them destroy one another": the conclusion simply cannot be 'inferred' from the given propositions —and in any case they do not contradict one another since they are about different terms.

2013, G. Patzig, Aristotle’s Theory of the Syllogism, page 175:


ܥܠܝܬܐ

head

ܥܠܝܬܐ • (transliteration needed) f (plural ܥܠܝܬܐ)

ܥܠܝܬܐ (plural)
ܥܠܝܐ (absolute singular)
ܥܠܝܬܝ (feminine first-person masculine possessed-form singular)
ܥܠܝܬܢ (feminine first-person masculine plural possessed-form)
ܥܠܝܬ (construct singular)
ܥܠܝܬܟ (masculine possessed-form second-person singular)
ܥܠܝܬܟܝ (feminine possessed-form second-person singular)
ܥܠܝܬܟܘܢ (masculine plural possessed-form second-person)
ܥܠܝܬܟܝܢ (feminine plural possessed-form second-person)
ܥܠܝܬܐ (emphatic singular)
ܥܠܝܬܗ (masculine possessed-form singular third-person)
ܥܠܝܬܗ (feminine possessed-form singular third-person)
ܥܠܝܬܗܘܢ (masculine plural possessed-form third-person)
ܥܠܝܬܗܝܢ (feminine plural possessed-form third-person)

From the root ܥ ܠ ܐ related to raising up.


trivialism

en-noun

trivialism (countable and uncountable, plural trivialisms)

If it is possible for trivialism to be true, it may be false as well as true that all humans are mammals […]

2004, Graham Priest, J. C. Beall, Bradley Armour-Garb, The Law of Non-contradiction: New Philosophical Essays, page 252:

This charge of trivialism is also called the principle of explosion […]

2008, Peter Baofu, The future of post-human mathematical logic, page 97:

Trivialism is pretty hopeless as a philosophy, although it is very easy to defend/maintain verbally!

2012, Koji Tanaka, Francesco Berto, Edwin Mares, Paraconsistency: Logic and Applications, page 296:

(logic) The theory that every proposition and its negation is true.


myöntäminen

myöntäminen (nominative singular)
myöntämiset (nominative plural)
myöntäminen (accusative nominative singular)
myöntämiset (accusative nominative plural)
myöntämisen (accusative genitive singular)
myöntämiset (accusative genitive plural)
myöntämisen (genitive singular)
myöntämisten (genitive plural)
myöntämisien (genitive plural)
myöntämistä (partitive singular)
myöntämisiä (partitive plural)
myöntämisessä (inessive singular)
myöntämisissä (inessive plural)
myöntämisestä (elative singular)
myöntämisistä (elative plural)
myöntämiseen (illative singular)
myöntämisiin (illative plural)
myöntämisellä (adessive singular)
myöntämisillä (adessive plural)
myöntämiseltä (ablative singular)
myöntämisiltä (ablative plural)
myöntämiselle (allative singular)
myöntämisille (allative plural)
myöntämisenä (essive singular)
myöntämisinä (essive plural)
myöntämiseksi (singular translative)
myöntämisiksi (plural translative)
myöntämisettä (abessive singular)
myöntämisittä (abessive plural)
myöntämisin (instructive plural)
See the possessive forms below. (comitative)
myöntämiseni (nominative singular)
myöntämiseni (nominative plural)
myöntämiseni (accusative nominative singular)
myöntämiseni (accusative nominative plural)
myöntämiseni (accusative genitive singular)
myöntämiseni (accusative genitive plural)
myöntämiseni (genitive singular)
myöntämisteni (genitive plural)
myöntämisieni (genitive plural)
myöntämistäni (partitive singular)
myöntämisiäni (partitive plural)
myöntämisessäni (inessive singular)
myöntämisissäni (inessive plural)
myöntämisestäni (elative singular)
myöntämisistäni (elative plural)
myöntämiseeni (illative singular)
myöntämisiini (illative plural)
myöntämiselläni (adessive singular)
myöntämisilläni (adessive plural)
myöntämiseltäni (ablative singular)
myöntämisiltäni (ablative plural)
myöntämiselleni (allative singular)
myöntämisilleni (allative plural)
myöntämisenäni (essive singular)
myöntämisinäni (essive plural)
myöntämisekseni (singular translative)
myöntämisikseni (plural translative)
myöntämisettäni (abessive singular)
myöntämisittäni (abessive plural)
myöntämisineni (comitative plural)
myöntämisesi (nominative singular)
myöntämisesi (nominative plural)
myöntämisesi (accusative nominative singular)
myöntämisesi (accusative nominative plural)
myöntämisesi (accusative genitive singular)
myöntämisesi (accusative genitive plural)
myöntämisesi (genitive singular)
myöntämistesi (genitive plural)
myöntämisiesi (genitive plural)
myöntämistäsi (partitive singular)
myöntämisiäsi (partitive plural)
myöntämisessäsi (inessive singular)
myöntämisissäsi (inessive plural)
myöntämisestäsi (elative singular)
myöntämisistäsi (elative plural)
myöntämiseesi (illative singular)
myöntämisiisi (illative plural)
myöntämiselläsi (adessive singular)
myöntämisilläsi (adessive plural)
myöntämiseltäsi (ablative singular)
myöntämisiltäsi (ablative plural)
myöntämisellesi (allative singular)
myöntämisillesi (allative plural)
myöntämisenäsi (essive singular)
myöntämisinäsi (essive plural)
myöntämiseksesi (singular translative)
myöntämisiksesi (plural translative)
myöntämisettäsi (abessive singular)
myöntämisittäsi (abessive plural)
myöntämisinesi (comitative plural)
myöntämisemme (nominative singular)
myöntämisemme (nominative plural)
myöntämisemme (accusative nominative singular)
myöntämisemme (accusative nominative plural)
myöntämisemme (accusative genitive singular)
myöntämisemme (accusative genitive plural)
myöntämisemme (genitive singular)
myöntämistemme (genitive plural)
myöntämisiemme (genitive plural)
myöntämistämme (partitive singular)
myöntämisiämme (partitive plural)
myöntämisessämme (inessive singular)
myöntämisissämme (inessive plural)
myöntämisestämme (elative singular)
myöntämisistämme (elative plural)
myöntämiseemme (illative singular)
myöntämisiimme (illative plural)
myöntämisellämme (adessive singular)
myöntämisillämme (adessive plural)
myöntämiseltämme (ablative singular)
myöntämisiltämme (ablative plural)
myöntämisellemme (allative singular)
myöntämisillemme (allative plural)
myöntämisenämme (essive singular)
myöntämisinämme (essive plural)
myöntämiseksemme (singular translative)
myöntämisiksemme (plural translative)
myöntämisettämme (abessive singular)
myöntämisittämme (abessive plural)
myöntämisinemme (comitative plural)
myöntämisenne (nominative singular)
myöntämisenne (nominative plural)
myöntämisenne (accusative nominative singular)
myöntämisenne (accusative nominative plural)
myöntämisenne (accusative genitive singular)
myöntämisenne (accusative genitive plural)
myöntämisenne (genitive singular)
myöntämistenne (genitive plural)
myöntämisienne (genitive plural)
myöntämistänne (partitive singular)
myöntämisiänne (partitive plural)
myöntämisessänne (inessive singular)
myöntämisissänne (inessive plural)
myöntämisestänne (elative singular)
myöntämisistänne (elative plural)
myöntämiseenne (illative singular)
myöntämisiinne (illative plural)
myöntämisellänne (adessive singular)
myöntämisillänne (adessive plural)
myöntämiseltänne (ablative singular)
myöntämisiltänne (ablative plural)
myöntämisellenne (allative singular)
myöntämisillenne (allative plural)
myöntämisenänne (essive singular)
myöntämisinänne (essive plural)
myöntämiseksenne (singular translative)
myöntämisiksenne (plural translative)
myöntämisettänne (abessive singular)
myöntämisittänne (abessive plural)
myöntämisinenne (comitative plural)
myöntämisensä (nominative singular)
myöntämisensä (nominative plural)
myöntämisensä (accusative nominative singular)
myöntämisensä (accusative nominative plural)
myöntämisensä (accusative genitive singular)
myöntämisensä (accusative genitive plural)
myöntämisensä (genitive singular)
myöntämistensä (genitive plural)
myöntämisiensä (genitive plural)
myöntämistään (partitive singular)
myöntämistänsä (partitive singular)
myöntämisiään (partitive plural)
myöntämisiänsä (partitive plural)
myöntämisessään (inessive singular)
myöntämisessänsä (inessive singular)
myöntämisissään (inessive plural)
myöntämisissänsä (inessive plural)
myöntämisestään (elative singular)
myöntämisestänsä (elative singular)
myöntämisistään (elative plural)
myöntämisistänsä (elative plural)
myöntämiseensä (illative singular)
myöntämisiinsä (illative plural)
myöntämisellään (adessive singular)
myöntämisellänsä (adessive singular)
myöntämisillään (adessive plural)
myöntämisillänsä (adessive plural)
myöntämiseltään (ablative singular)
myöntämiseltänsä (ablative singular)
myöntämisiltään (ablative plural)
myöntämisiltänsä (ablative plural)
myöntämiselleen (allative singular)
myöntämisellensä (allative singular)
myöntämisilleen (allative plural)
myöntämisillensä (allative plural)
myöntämisenään (essive singular)
myöntämisenänsä (essive singular)
myöntämisinään (essive plural)
myöntämisinänsä (essive plural)
myöntämisekseen (singular translative)
myöntämiseksensä (singular translative)
myöntämisikseen (plural translative)
myöntämisiksensä (plural translative)
myöntämisettään (abessive singular)
myöntämisettänsä (abessive singular)
myöntämisittään (abessive plural)
myöntämisittänsä (abessive plural)
myöntämisineen (comitative plural)
myöntämisinensä (comitative plural)

verbal noun of myöntää
(logic) affirming


pätevyys

pätevyys (nominative singular)
pätevyydet (nominative plural)
pätevyys (accusative nominative singular)
pätevyydet (accusative nominative plural)
pätevyyden (accusative genitive singular)
pätevyydet (accusative genitive plural)
pätevyyden (genitive singular)
pätevyyksien (genitive plural)
pätevyyttä (partitive singular)
pätevyyksiä (partitive plural)
pätevyydessä (inessive singular)
pätevyyksissä (inessive plural)
pätevyydestä (elative singular)
pätevyyksistä (elative plural)
pätevyyteen (illative singular)
pätevyyksiin (illative plural)
pätevyydellä (adessive singular)
pätevyyksillä (adessive plural)
pätevyydeltä (ablative singular)
pätevyyksiltä (ablative plural)
pätevyydelle (allative singular)
pätevyyksille (allative plural)
pätevyytenä (essive singular)
pätevyyksinä (essive plural)
pätevyydeksi (singular translative)
pätevyyksiksi (plural translative)
pätevyydettä (abessive singular)
pätevyyksittä (abessive plural)
pätevyyksin (instructive plural)
See the possessive forms below. (comitative)
pätevyyteni (nominative singular)
pätevyyteni (nominative plural)
pätevyyteni (accusative nominative singular)
pätevyyteni (accusative nominative plural)
pätevyyteni (accusative genitive singular)
pätevyyteni (accusative genitive plural)
pätevyyteni (genitive singular)
pätevyyksieni (genitive plural)
pätevyyttäni (partitive singular)
pätevyyksiäni (partitive plural)
pätevyydessäni (inessive singular)
pätevyyksissäni (inessive plural)
pätevyydestäni (elative singular)
pätevyyksistäni (elative plural)
pätevyyteeni (illative singular)
pätevyyksiini (illative plural)
pätevyydelläni (adessive singular)
pätevyyksilläni (adessive plural)
pätevyydeltäni (ablative singular)
pätevyyksiltäni (ablative plural)
pätevyydelleni (allative singular)
pätevyyksilleni (allative plural)
pätevyytenäni (essive singular)
pätevyyksinäni (essive plural)
pätevyydekseni (singular translative)
pätevyyksikseni (plural translative)
pätevyydettäni (abessive singular)
pätevyyksittäni (abessive plural)
pätevyyksineni (comitative plural)
pätevyytesi (nominative singular)
pätevyytesi (nominative plural)
pätevyytesi (accusative nominative singular)
pätevyytesi (accusative nominative plural)
pätevyytesi (accusative genitive singular)
pätevyytesi (accusative genitive plural)
pätevyytesi (genitive singular)
pätevyyksiesi (genitive plural)
pätevyyttäsi (partitive singular)
pätevyyksiäsi (partitive plural)
pätevyydessäsi (inessive singular)
pätevyyksissäsi (inessive plural)
pätevyydestäsi (elative singular)
pätevyyksistäsi (elative plural)
pätevyyteesi (illative singular)
pätevyyksiisi (illative plural)
pätevyydelläsi (adessive singular)
pätevyyksilläsi (adessive plural)
pätevyydeltäsi (ablative singular)
pätevyyksiltäsi (ablative plural)
pätevyydellesi (allative singular)
pätevyyksillesi (allative plural)
pätevyytenäsi (essive singular)
pätevyyksinäsi (essive plural)
pätevyydeksesi (singular translative)
pätevyyksiksesi (plural translative)
pätevyydettäsi (abessive singular)
pätevyyksittäsi (abessive plural)
pätevyyksinesi (comitative plural)
pätevyytemme (nominative singular)
pätevyytemme (nominative plural)
pätevyytemme (accusative nominative singular)
pätevyytemme (accusative nominative plural)
pätevyytemme (accusative genitive singular)
pätevyytemme (accusative genitive plural)
pätevyytemme (genitive singular)
pätevyyksiemme (genitive plural)
pätevyyttämme (partitive singular)
pätevyyksiämme (partitive plural)
pätevyydessämme (inessive singular)
pätevyyksissämme (inessive plural)
pätevyydestämme (elative singular)
pätevyyksistämme (elative plural)
pätevyyteemme (illative singular)
pätevyyksiimme (illative plural)
pätevyydellämme (adessive singular)
pätevyyksillämme (adessive plural)
pätevyydeltämme (ablative singular)
pätevyyksiltämme (ablative plural)
pätevyydellemme (allative singular)
pätevyyksillemme (allative plural)
pätevyytenämme (essive singular)
pätevyyksinämme (essive plural)
pätevyydeksemme (singular translative)
pätevyyksiksemme (plural translative)
pätevyydettämme (abessive singular)
pätevyyksittämme (abessive plural)
pätevyyksinemme (comitative plural)
pätevyytenne (nominative singular)
pätevyytenne (nominative plural)
pätevyytenne (accusative nominative singular)
pätevyytenne (accusative nominative plural)
pätevyytenne (accusative genitive singular)
pätevyytenne (accusative genitive plural)
pätevyytenne (genitive singular)
pätevyyksienne (genitive plural)
pätevyyttänne (partitive singular)
pätevyyksiänne (partitive plural)
pätevyydessänne (inessive singular)
pätevyyksissänne (inessive plural)
pätevyydestänne (elative singular)
pätevyyksistänne (elative plural)
pätevyyteenne (illative singular)
pätevyyksiinne (illative plural)
pätevyydellänne (adessive singular)
pätevyyksillänne (adessive plural)
pätevyydeltänne (ablative singular)
pätevyyksiltänne (ablative plural)
pätevyydellenne (allative singular)
pätevyyksillenne (allative plural)
pätevyytenänne (essive singular)
pätevyyksinänne (essive plural)
pätevyydeksenne (singular translative)
pätevyyksiksenne (plural translative)
pätevyydettänne (abessive singular)
pätevyyksittänne (abessive plural)
pätevyyksinenne (comitative plural)
pätevyytensä (nominative singular)
pätevyytensä (nominative plural)
pätevyytensä (accusative nominative singular)
pätevyytensä (accusative nominative plural)
pätevyytensä (accusative genitive singular)
pätevyytensä (accusative genitive plural)
pätevyytensä (genitive singular)
pätevyyksiensä (genitive plural)
pätevyyttään (partitive singular)
pätevyyttänsä (partitive singular)
pätevyyksiään (partitive plural)
pätevyyksiänsä (partitive plural)
pätevyydessään (inessive singular)
pätevyydessänsä (inessive singular)
pätevyyksissään (inessive plural)
pätevyyksissänsä (inessive plural)
pätevyydestään (elative singular)
pätevyydestänsä (elative singular)
pätevyyksistään (elative plural)
pätevyyksistänsä (elative plural)
pätevyyteensä (illative singular)
pätevyyksiinsä (illative plural)
pätevyydellään (adessive singular)
pätevyydellänsä (adessive singular)
pätevyyksillään (adessive plural)
pätevyyksillänsä (adessive plural)
pätevyydeltään (ablative singular)
pätevyydeltänsä (ablative singular)
pätevyyksiltään (ablative plural)
pätevyyksiltänsä (ablative plural)
pätevyydelleen (allative singular)
pätevyydellensä (allative singular)
pätevyyksilleen (allative plural)
pätevyyksillensä (allative plural)
pätevyytenään (essive singular)
pätevyytenänsä (essive singular)
pätevyyksinään (essive plural)
pätevyyksinänsä (essive plural)
pätevyydekseen (singular translative)
pätevyydeksensä (singular translative)
pätevyyksikseen (plural translative)
pätevyyksiksensä (plural translative)
pätevyydettään (abessive singular)
pätevyydettänsä (abessive singular)
pätevyyksittään (abessive plural)
pätevyyksittänsä (abessive plural)
pätevyyksineen (comitative plural)
pätevyyksinensä (comitative plural)

[ˈpæt̪e̞ʋyːs̠]

(logic) validity (state of being valid, or evaluating to true regardless of input values)


retroduction

retroduction (countable and uncountable, plural retroductions)

From Latin retroducere, retroductum (“to lead or bring back”), from retro (“backward”) + ducere (“to lead”).

Whereas retroduction involves one step, and deduction involves two, induction, as the third stage, involves three: classification, probationary argument, and appraisal of the probations.

1995, Douglas R. Anderson, Strands of System: The Philosophy of Charles Peirce, page 161:

Note that deduction and retroduction employ the same form of logical statement to determine either the post- or precondition, respectively.

2008, Michael L. Morrison, William M. Block, M. Dale Strickland, Wildlife Study Design, page 11:

What distinguishes retroduction from the other two main forms of inference employed in inquiry into nature, deduction and induction (inductive generalization), is its reliance on explanatory quality for its epistemic force (McMullin 1992).

2010, Janet Broughton, John Carriero, A Companion to Descartes, page 86:


episyllogism

(logic) A syllogism which assumes as one of its premises a proposition which was the conclusion of a preceding syllogism (the prosyllogism).


apagoge

apagoge (countable and uncountable, plural apagoges)

/ˈæ.pə.ɡəʊ.d͡ʒi/

Borrowed from Ancient Greek ἀπαγωγή (apagōgḗ).

(logic) An indirect argument which proves a thing by showing the impossibility or absurdity of the contrary.

apagogie

an indirect argument which proves a thing by showing the impossibility or absurdity of the contrary


apagoge

apagoges (plural)
apagogia (alternative)

/ɐ.pɐˈɡɔ.ʒɨ/

[ɐ.pɐˈɣɔ.ʒɨ]

(logic) apagoge (an indirect argument which proves a thing by showing the impossibility or absurdity of the contrary)


crocodility

(logic, archaic) A sophistical mode of arguing.


discretive

«But» is a particle, none more familiar in our language: and he that says it is a discretive conjunction, and that it answers to sed Latin, or mais in French, thinks he has sufficiently explained it.

1689 (indicated as 1690), [John Locke], An Essay Concerning Humane Understanding. […], London: […] Eliz[abeth] Holt, for Thomas Basset, […], →OCLC:

Δαì has generally a discretive or distinctive, often and adversative power.

1829, Hendrik Hoogeveen, Hoogeveen's Greek Particles, page 40:

The coherencey of a discretive proposition depends on the connecton of both parts and their relevancy to one another.

1837, S. E. Parker, Logic, Or, The Art of Reasoning Simplified, page 92:

(grammar, logic) Disjunctive with the additional characteristic that the conjoined clauses, while exhibiting a disjunct, are both asserted as true.


discretive

discretive proposition
discretive proposition


дилемма

ru-noun+

диле́мма • (dilémma) f inan (genitive диле́ммы, nominative plural диле́ммы, genitive plural диле́мм)

диле́мма (canonical)
dilémma (romanization)
диле́ммы (genitive)
диле́ммы (nominative plural)
диле́мм (genitive plural)
диле́мма (nominative singular)
диле́ммы (nominative plural)
диле́ммы (genitive singular)
диле́мм (genitive plural)
диле́мме (dative singular)
диле́ммам (dative plural)
диле́мму (accusative singular)
диле́ммы (accusative plural)
диле́ммой (instrumental singular)
диле́ммою (instrumental singular)
диле́ммами (instrumental plural)
диле́мме (prepositional singular)
диле́ммах (plural prepositional)

Ru-дилемма.ogg

Borrowed from Late Latin dilemma, from Ancient Greek δίλημμα (dílēmma, “double proposition”), from δι- (di-) + λῆμμα (lêmma, “premise, proposition”).


háttarökfræði

is-noun

háttarökfræði f (genitive singular háttarökfræði, no plural)

háttarökfræði (genitive singular)
háttarökfræði (indefinite nominative singular)
háttarökfræðin (definite nominative singular)
háttarökfræði (accusative indefinite singular)
háttarökfræðina (accusative definite singular)
háttarökfræði (dative indefinite singular)
háttarökfræðinni (dative definite singular)
háttarökfræði (genitive indefinite singular)
háttarökfræðinnar (definite genitive singular)

From háttur (“modality, mode”) + rökfræði (“logic”).

af

(logic) modal logic; (any formal system that attempts to deal with modalities such as possibility and necessity, but also obligation and permission)


antepredicament

(logic) A prerequisite to a clear understanding of the predicaments and categories, such as definitions of common terms.

antepredicamento

prerequisite to a clear understanding of a predicament


consecution

en-noun

consecution (countable and uncountable, plural consecutions)

From Middle English consecucioun (“attainment”), from Latin cōnsecūtiō (“effect, proper sequence, attainment”), from past participle of cōnsequor (“to follow, result, reach”).

der

(logic) The relation of consequent to antecedent.

consécution

(logic) relation of consequent to antecedent


subjunction

The primary form of subjunction is 'If P, then Q', which tells us that '{P and nonQ} is logically impossible'.

In the case of subjunction, the reading of →as 'if ... then' is actually strongly misleading.

2013, Sebastian Loebner, Understanding Semantics:

Since supervaluationists, as we have seen, do accept some disjunctions (e.g. A V ~A) while rejecting each disjunct, they must, as we have also seen, fail subjunction.

2016, Dominic Hyde, Vagueness, Logic and Ontology, page 92:

The subjunction ' A B ' corresponds to a proposition of the form ' not A , unless B ' rather than a proposition of the form ' if A , then B ' .

2023, Michael Wolff, Essay on the Principles of Logic: A Defense of Logical Monism:

(logic) An implication or entailment; A proposition that links two states such that one is a logical consequence of the other.


ὑπόκειμαι

head

ῠ̔πόκειμαι • (hŭpókeimai)

ῠ̔πόκειμαι (canonical)
hŭpókeimai (romanization)
ὑπόκειμαι (first-person indicative middle singular)
ὑπόκεισαι (indicative middle second-person singular)
ὑπόκειται (indicative middle singular third-person)
ὑπόκεινται (indicative middle plural third-person)
ὑποκέηται (middle singular subjunctive third-person)
ὑποκεοίμην (first-person middle optative singular)
ὑποκέοιτο (middle optative singular third-person)
ὑποκέοιντο (middle optative plural third-person)
ὑπόκεισο (imperative middle second-person singular)
ὑποκείσθω (imperative middle singular third-person)
ὑπόκεισθαι (infinitive plural)
ὑποκείμενος (masculine participle plural)
ὑποκειμένη (feminine participle plural)
ὑποκείμενον (neuter participle plural)
ὑπεκείμην (first-person indicative middle singular)
ὑπέκειτο (indicative middle singular third-person)
ὑποκείσομαι (first-person indicative middle singular)
ὑποκείσῃ (indicative middle second-person singular)
ὑποκείσει (indicative middle second-person singular)
ὑποκείσεται (indicative middle singular third-person)
ὑποκείσεσθον (dual indicative middle second-person)
ὑποκείσεσθον (dual indicative middle third-person)
ὑποκεισόμεθᾰ (first-person indicative middle plural)
ὑποκείσεσθε (indicative middle plural second-person)
ὑποκείσονται (indicative middle plural third-person)
ὑποκεισοίμην (first-person middle optative singular)
ὑποκείσοιο (middle optative second-person singular)
ὑποκείσοιτο (middle optative singular third-person)
ὑποκείσοισθον (dual middle optative second-person)
ὑποκεισοίσθην (dual middle optative third-person)
ὑποκεισοίμεθᾰ (first-person middle optative plural)
ὑποκείσοισθε (middle optative plural second-person)
ὑποκείσοιντο (middle optative plural third-person)
ὑποκείσεσθαι (dual infinitive middle second-person third-person)
ὑποκεισόμενος (dual masculine middle participle second-person third-person)
ὑποκεισομένη (dual feminine middle participle second-person third-person)
ὑποκεισόμενον (dual middle neuter participle second-person third-person)

From ῠ̔πο- (hŭpo-, “under”) + κεῖμαι (keîmai, “lie”).

affix

(various metaphoric senses)
(logic) to be subject or subordinate to
(adjectival use) the subject matter

various metaphoric senses; adjectival use; adjectival use

to be subject or subordinate to
the subject matter

(participle, τὸ ὑποκείμενον) the subject or a proposition (the predicate being τὸ κατηγορούμενον (tò katēgoroúmenon))

τὸ κατηγορούμενον

κατηγορούμενον#Ancient_Greek


subalternant

Of these [oppositions], the Universal is the Subalternant , and the Particular the Subalternate

1826, Richard Whately, Elements of Logic:


Kripke frame

(logic) A set, whose elements are called nodes or worlds, together with a preordering relation for that set, called its accessibility relation.


Kripke model

A formula is intuitionistically valid iff it is forced true by every world of every Kripke model.

A terminal world of a Kripke model (for intuitionistic logic) has a forcing relation equivalent to a classical model/interpretation.

If a given world (in a Kripke model (for intuitionistic logic)) forces neither A nor ¬A then there is some possible "future" world (accessible from the "present" one) in which A is forced true. In particular, if A eventually becomes forced somewhere along any possible time thread (towards the "future"), then the present world would force ¬¬A to be true, but if this does not happen there there exists some possible future world in which ¬A becomes true.

intuitionistic logic
intuitionistic logic

(logic) A Kripke frame together with any one of the following: (1) a function associating each of the frame's worlds to a set of prime formulae which are "true" for the given world, (2) a function associating each prime formula to a set of worlds for which the prime formula is "true", (3) a forcing relation between worlds and prime formulae. Additionally, there is a set of rules for deducing (from the given function or relation) what formulae are forced to be true by a given world. (The set of rules depends on which logic the Kripke model is being applied to, whether one of several modal logics or intuitionistic logic). For intuitionistic logic the forcing relation satisfies a persistence relation, namely, if world w forces proposition p, then all worlds accessible from w also force p.


convertend

From Latin convertendus (“to be converted”). Compare subtrahend.

(logic) Any proposition which is subject to the process of conversion; so called in its relation to itself as converted, after which process it is termed the converse.


preindesignate

(archaic, logic) Having no sign expressing quantity; indefinite.


superordination

en-noun

superordination (countable and uncountable, plural superordinations)

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

From super- + ordination: compare Latin superordinatio.

(logic) The relation of a universal proposition to a particular proposition in the same terms.


dicotomía

Borrowed from Ancient Greek διχοτομία (dikhotomía, “a cutting in half”), from διχῆ (dikhê, “in two, asunder”) + τέμνω (témnō, “to cut”).

bor+

(logic, philosophy) dichotomy (a division of a class into two disjoint subclasses)


argument-form

(logic) Alternative form of argument form.


formal validity

en-noun

formal validity (countable and uncountable, plural formal validities)

(logic) An argument's property of being valid due to being an instance of an argument form.


logical constant

logical constant (plural logical constants)

The logical connective OR can be seen to correspond to the logical constant "unless".

(logic) A word or phrase which has an invariant logical meaning and which is useful for forming argument forms.


sentence connective

sentence connective (plural sentence connectives)

Standard ("classical") propositional logic deals with sentence connectives having a special property: they are truth functional. The terminology derives from the mathematical notion of a function, and one can use this to give a mathematically precise definition of truth functionality.

2001, Mark Sainsbury, chapter 2, in Logical Forms — An Introduction to Philosophical Logic, 2nd edition, Blackwell Publishing, →ISBN, §2, page 60:


elench

LL-Q1860 (eng)-Naomi Persephone Amethyst (NaomiAmethyst)-elench.wav

Latin elenchus, from Ancient Greek ἔλεγχος (élenkhos, “refutation, scrutiny”); compare Old French elenche. Doublet of elenchus.

der

Reprehension or Elench […] is a Syllogisme, which gathereth a conclusion contrary to the assertion of the respondent, as if a man would defend Medea not to love her childe, because she killed it, another might reason against him in this manner: every Mother loveth her child: but Medea is a Mother: Ergo, Medea loveth her child: the Conclusion of this Syllogisme is contrarie to the first Assertion […]

1599, Thomas Blundeville, The Art of Logicke, London: Matthew Lownes, published 1619, Book 6, Chapter 2, p. 186:

(logic) That part of an argument on which its conclusiveness depends; that which convinces or refutes an antagonist; a refutation.


subalternate

(logic) A particular proposition, as opposed to a universal one.


bağlama

head

bağlama (definite accusative bağlamayı, plural bağlamalar)

bağlamayı (accusative definite)
bağlamalar (plural)
bağlama (nominative singular)
bağlamalar (nominative plural)
bağlamayı (accusative definite singular)
bağlamaları (accusative definite plural)
bağlamaya (dative singular)
bağlamalara (dative plural)
bağlamada (locative singular)
bağlamalarda (locative plural)
bağlamadan (ablative singular)
bağlamalardan (ablative plural)
bağlamanın (genitive singular)
bağlamaların (genitive plural)
bağlamam (first-person nominative singular)
bağlamalarım (first-person nominative singular)
bağlaman (nominative second-person singular)
bağlamaların (nominative second-person singular)
bağlaması (nominative singular third-person)
bağlamaları (nominative singular third-person)
bağlamamız (first-person nominative plural)
bağlamalarımız (first-person nominative plural)
bağlamanız (nominative plural second-person)
bağlamalarınız (nominative plural second-person)
bağlamaları (nominative plural third-person)
bağlamamı (accusative definite first-person singular)
bağlamalarımı (accusative definite first-person singular)
bağlamanı (accusative definite second-person singular)
bağlamalarını (accusative definite second-person singular)
bağlamasını (accusative definite singular third-person)
bağlamalarını (accusative definite singular third-person)
bağlamamızı (accusative definite first-person plural)
bağlamalarımızı (accusative definite first-person plural)
bağlamanızı (accusative definite plural second-person)
bağlamalarınızı (accusative definite plural second-person)
bağlamalarını (accusative definite plural third-person)
bağlamama (dative first-person singular)
bağlamalarıma (dative first-person singular)
bağlamana (dative second-person singular)
bağlamalarına (dative second-person singular)
bağlamasına (dative singular third-person)
bağlamalarına (dative singular third-person)
bağlamamıza (dative first-person plural)
bağlamalarımıza (dative first-person plural)
bağlamanıza (dative plural second-person)
bağlamalarınıza (dative plural second-person)
bağlamalarına (dative plural third-person)
bağlamamda (first-person locative singular)
bağlamalarımda (first-person locative singular)
bağlamanda (locative second-person singular)
bağlamalarında (locative second-person singular)
bağlamasında (locative singular third-person)
bağlamalarında (locative singular third-person)
bağlamamızda (first-person locative plural)
bağlamalarımızda (first-person locative plural)
bağlamanızda (locative plural second-person)
bağlamalarınızda (locative plural second-person)
bağlamalarında (locative plural third-person)
bağlamamdan (ablative first-person singular)
bağlamalarımdan (ablative first-person singular)
bağlamandan (ablative second-person singular)
bağlamalarından (ablative second-person singular)
bağlamasından (ablative singular third-person)
bağlamalarından (ablative singular third-person)
bağlamamızdan (ablative first-person plural)
bağlamalarımızdan (ablative first-person plural)
bağlamanızdan (ablative plural second-person)
bağlamalarınızdan (ablative plural second-person)
bağlamalarından (ablative plural third-person)
bağlamamın (first-person genitive singular)
bağlamalarımın (first-person genitive singular)
bağlamanın (genitive second-person singular)
bağlamalarının (genitive second-person singular)
bağlamasının (genitive singular third-person)
bağlamalarının (genitive singular third-person)
bağlamamızın (first-person genitive plural)
bağlamalarımızın (first-person genitive plural)
bağlamanızın (genitive plural second-person)
bağlamalarınızın (genitive plural second-person)
bağlamalarının (genitive plural third-person)

From the verb bağlamak (“to bind, tie”).

Chomsky’nin yönetme ve bağlama kuramı

(computing, logic, linguistics) binding, coupling


प्रतिज्ञा

प्रतिज्ञा • (pratidnyā) f

mr-noun

प्रतिज्ञा • (pratidnyā) f

Learned borrowing from Sanskrit प्रतिज्ञा (pratijñā). Doublet of पैज (paij).

lbor

(logic) a proposition, the assertion or proposition to be proved


प्रतिज्ञा

pratijñā (romanization)
प्रतिज्ञा (nominative singular)
प्रतिज्ञे (dual nominative)
प्रतिज्ञाः (nominative plural)
प्रतिज्ञाम् (accusative singular)
प्रतिज्ञे (accusative dual)
प्रतिज्ञाः (accusative plural)
प्रतिज्ञया (instrumental singular)
प्रतिज्ञा1 (instrumental singular)
प्रतिज्ञाभ्याम् (dual instrumental)
प्रतिज्ञाभिः (instrumental plural)
प्रतिज्ञायै (dative singular)
प्रतिज्ञाभ्याम् (dative dual)
प्रतिज्ञाभ्यः (dative plural)
प्रतिज्ञायाः (ablative singular)
प्रतिज्ञायै2 (ablative singular)
प्रतिज्ञाभ्याम् (ablative dual)
प्रतिज्ञाभ्यः (ablative plural)
प्रतिज्ञायाः (genitive singular)
प्रतिज्ञायै2 (genitive singular)
प्रतिज्ञयोः (dual genitive)
प्रतिज्ञानाम् (genitive plural)
प्रतिज्ञायाम् (locative singular)
प्रतिज्ञयोः (dual locative)
प्रतिज्ञासु (locative plural)
प्रतिज्ञे (singular vocative)
प्रतिज्ञे (dual vocative)
प्रतिज्ञाः (plural vocative)

Pali: paṭiññā

Ashokan Prakrit:

Maharastri Prakrit: 𑀧𑀇𑀚𑁆𑀚𑀸 (païjjā)

Old Marathi: 𑘢𑘺𑘕 (paija), 𑘢𑘺𑘕𑘰 (paijā)

Marathi: पैज (paij)

Sauraseni Prakrit: 𑀧𑀇𑀚𑁆𑀚𑀸 (païjjā)

Hindustani:

Hindi: पैज (paij)

Urdu: پیج (paij)

Paisaci Prakrit: 𑀧𑀇𑀚𑁆𑀚𑀸 (païjjā)

Punjabi:

Gurmukhi: [script needed] (paij)

Shahmukhi: [script needed] (paij)

→ Hindustani: (learned)

Hindi: प्रतिज्ञा (pratijñā)

Urdu: پرتِگّیا (pratigyā)

desc

→ Marathi: प्रतिज्ञा (pratidnyā) (learned)

Derived from the root प्रतिज्ञा (pratijñā) (see above) + -आ (-ā).

/pɾɐ.t̪id͡ʑ.ɲɑː/


epagoge

/ɛpəˈɡəʊɡiː/

From Latin epagōgē, from Ancient Greek ἐπᾰγωγή (epăgōgḗ, “a bringing in”). See epact.

uder

(logic) The adducing of particular examples so as to lead to a universal conclusion; the argument by induction.


epagoge

la-noun

epagōgē f (genitive epagōgēs); first declension

epagōgē (canonical feminine)
epagōgēs (genitive)
epagōgē (nominative singular)
epagōgae (nominative plural)
epagōgēs (genitive singular)
epagōgārum (genitive plural)
epagōgae (dative singular)
epagōgīs (dative plural)
epagōgēn (accusative singular)
epagōgās (accusative plural)
epagōgē (ablative singular)
epagōgīs (ablative plural)
epagōgē (singular vocative)
epagōgae (plural vocative)

English: epagoge

Borrowed from Ancient Greek ἐπᾰγωγή (epăgōgḗ).


exclusive disjunction

en-noun

exclusive disjunction (plural exclusive disjunctions)

(logic) A disjunction which is true if only one, but not both, of its disjuncts is true.


inclusive disjunction

inclusive disjunction (plural inclusive disjunctions)

(logic) A disjunction which is true if at least one of its disjuncts is true.


дисјункција

disjunkcija (romanization)
дисјункција (indefinite singular)
дисјункции (indefinite plural)
дисјункцијата (definite singular unspecified)
дисјункциите (definite plural unspecified)
дисјункцијава (definite proximal singular)
дисјункцииве (definite plural proximal)
дисјункцијана (definite distal singular)
дисјункциине (definite distal plural)
дисјункцијо (singular vocative)
дисјункции (plural vocative)

mk-decl-noun-table

дисјункцијата

дисјункцијава

дисјункцијана

дисјункциите

дисјункцииве

дисјункциине


glacan

head

glacan f (genitive singular glacana, nominative plural glacana)

glacana (genitive singular)
glacana (nominative plural)
glacan (indefinite nominative singular)
glacana (indefinite nominative plural)
a ghlacan (indefinite singular vocative)
a ghlacana (indefinite plural vocative)
glacana (genitive indefinite singular)
glacana (genitive indefinite plural)
glacan (dative indefinite singular)
glacana (dative indefinite plural)
an ghlacan (definite nominative singular)
na glacana (definite nominative plural)
na glacana (definite genitive singular)
na nglacana (definite genitive plural)
leis an nglacan (dative definite singular)
don ghlacan (dative definite singular)
leis na glacana (dative definite plural)
glacan
ghlacan
nglacan


analogism

en-noun

analogism (countable and uncountable, plural analogisms)

From Ancient Greek ἀναλογία (analogía) (from ἀνά (aná) + λόγος (lógos, “speech, reckoning”)) + -ism.

all Judications and Analogisms may faile

1657, Henry Pinnell, Oswald Croll, Philosophy Reformed & Improved in Four Profound Tractates:

Epilogism as opposed to analogism proceeds from what is seen.

2012, P. Nicolacopoulos, Greek Studies in the Philosophy and History of Science, page 106:

The inclination toward simplified and/or distorted (but often useful) reasoning in the form of analogism and a propensity to organise events into teleological narratives to which causality is attributed, is of particular interest to this discussion.

2017, Jacqueline Hill, Mary Ann Lyons, Representing Irish Religious Histories, page 105:

(logic) An argument from cause to effect; an a priori argument.


nonimplication

nonimplication (countable and uncountable, plural nonimplications)

Material nonimplication
w:Material nonimplication

(chiefly logic) That which is not implied; the opposite of an implication.


δεικτικός

δεικτῐκός • (deiktĭkós) m (feminine δεικτῐκή, neuter δεικτῐκόν); first/second declension

δεικτῐκός (canonical)
deiktĭ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)

Greek: δεικτικός (deiktikós)

→ English: deictic

From δεικ- (deik-), the root of δείκνῡμι (deíknūmi, “show”), -τῐκός (-tĭkós, verbal adjective suffix): literally “able to show”.

affix

(logic, of a syllogism) able to be reduced (to a simpler or clearer form)


induktar

head

induktar (present tense induktas, past tense induktis, future tense induktos, imperative induktez, conditional induktus)

induktas (present)
induktis (past)
tense induktos (future)
induktez (imperative)
induktus (conditional)
induktar (infinitive present)
induktir (infinitive past)
induktor (future infinitive)
induktas (present)
induktis (past)
induktos (future)
induktus (conditional present)
induktez (imperative present)
induktanta (active adjective participle present)
induktinta (active adjective participle past)
induktonta (active adjective future participle)
induktante (active adverbial participle present)
induktinte (active adverbial participle past)
induktonte (active adverbial future participle)
induktanto (active noun-from-verb participle present singular)
induktinto (active noun-from-verb participle past singular)
induktonto (active future noun-from-verb participle singular)
induktanti (active noun-from-verb participle plural present)
induktinti (active noun-from-verb participle past plural)
induktonti (active future noun-from-verb participle plural)
induktata (adjectival participle passive present)
induktita (adjectival participle passive past)
induktota (adjectival future participle passive)
induktate (adverbial participle passive present)
induktite (adverbial participle passive past)
induktote (adverbial future participle passive)
induktato (noun-from-verb participle passive present singular)
induktito (noun-from-verb participle passive past singular)
induktoto (future noun-from-verb participle passive singular)
induktati (noun-from-verb participle passive plural present)
induktiti (noun-from-verb participle passive past plural)
induktoti (future noun-from-verb participle passive plural)

Borrowing from English induction, French induction, German Induktion, Italian induzione, Russian инду́кция (indúkcija) and Spanish inducción.

(transitive, logic) to induce, to reach (a general conclusion) by inference from a number of individual cases


Kennzeichnung

de-noun

Kennzeichnung f (genitive Kennzeichnung, plural Kennzeichnungen)

Kennzeichnung (genitive)
Kennzeichnungen (plural)
Kennzeichnung (nominative singular)
Kennzeichnungen (definite nominative plural)
Kennzeichnung (genitive singular)
Kennzeichnungen (definite genitive plural)
Kennzeichnung (dative singular)
Kennzeichnungen (dative definite plural)
Kennzeichnung (accusative singular)
Kennzeichnungen (accusative definite plural)

/ˈkɛnˌt͡saɪ̯çnʊŋ/

definite description
definite description


réasúnacht

head

réasúnacht f (genitive singular réasúnachta)

réasúnachta (genitive singular)
réasúnacht (indefinite nominative singular)
a réasúnacht (indefinite singular vocative)
réasúnachta (genitive indefinite singular)
réasúnacht (dative indefinite singular)
an réasúnacht (definite nominative singular)
na réasúnachta (definite genitive singular)
leis an réasúnacht (dative definite singular)
don réasúnacht (dative definite singular)

From réasún (“reason”) + -acht (abstract nominal suffix).


nárthacht

head

nárthacht f (genitive singular nárthachta)

nárthachta (genitive singular)
nárthacht (indefinite nominative singular)
a nárthacht (indefinite singular vocative)
nárthachta (genitive indefinite singular)
nárthacht (dative indefinite singular)
an nárthacht (definite nominative singular)
na nárthachta (definite genitive singular)
leis an nárthacht (dative definite singular)
don nárthacht (dative definite singular)

(logic, mathematics, computer science) arity


équipollence

Learned borrowing from Latin aequipollentia.

lbor

(logic, mathematics) equipollence (condition of having equal power or force)


meitifisic

head

meitifisic f (genitive singular meitifisice)

meitifisice (genitive singular)
meitifisic (indefinite nominative singular)
a mheitifisic (indefinite singular vocative)
meitifisice (genitive indefinite singular)
meitifisic (dative indefinite singular)
an mheitifisic (definite nominative singular)
na meitifisice (definite genitive singular)
leis an meitifisic (dative definite singular)
don mheitifisic (dative definite singular)
meitifisic
mheitifisic


elenctical

en-adj

elenctical (comparative more elenctical, superlative most elenctical)

more elenctical (comparative)
most elenctical (superlative)


convers

fr-adj

convers (feminine converse, masculine plural convers, feminine plural converses)

converse (feminine)
convers (masculine plural)
converses (feminine plural)


prémisse

Learned borrowing from Medieval Latin praemissa (prōpositiō) (“proposition set before”).


ܫܩܠܐ

head

ܫܩܠܐ • (šəqālā) m (plural ܫܩܠܐ (šəqālē))

šəqālā (romanization)
ܫܩܠܐ (plural)
ܫܩܠ (absolute singular)
ܫܩܠܝ (feminine first-person masculine possessed-form singular)
ܫܩܠܢ (feminine first-person masculine plural possessed-form)
ܫܩܠ (construct singular)
ܫܩܠܟ (masculine possessed-form second-person singular)
ܫܩܠܟܝ (feminine possessed-form second-person singular)
ܫܩܠܟܘܢ (masculine plural possessed-form second-person)
ܫܩܠܟܝܢ (feminine plural possessed-form second-person)
ܫܩܠܐ (emphatic singular)
ܫܩܠܗ (masculine possessed-form singular third-person)
ܫܩܠܗ (feminine possessed-form singular third-person)
ܫܩܠܗܘܢ (masculine plural possessed-form third-person)
ܫܩܠܗܝܢ (feminine plural possessed-form third-person)

From the root ܫ ܩ ܠ related to taking. The sense of "syllable" is a calque of Ancient Greek συλλαβή (sullabḗ) and the sense of "paradigm" is a calque of Arabic وَزْن (wazn).


The use of this notation in modal logic was developed by C.I. Lewis.

∀𝑥□𝐹𝑥 → □∀𝑥𝐹𝑥 ⇔ ◊∃𝑥𝐹𝑥 → ∃𝑥◊𝐹𝑥

(logic, unfilled) possibility, possible, possibly


Baroko

The moods Baroko and Bokardo do not admit of reduction to the first figure, by any fair use of the phrase[…]

1847, Augustus De Morgan, Formal logic: or, The Calculus of inference, necessary and probable, page 132:

But this Conclusion is false, consequently the Minor Premise of the first Syllogism, Baroko, its contradictory, is true.

1870, William Dexter Wilson, An elementary treatise on logic, page 129:

The foregoing list of moods in the imperfect Figures II and III does not contain Baroko or Bokardo.

2005, Charles Gray Shaw, Logic in Theory and Practice, page 161:

(logic, obsolete) A form or mode of syllogism in which the first proposition is a universal affirmative and the other two are particular negative.


Bokardo

Bokardo is converted in a similar manner, only that in this case we substitute the contradictory of the conclusion for the major premiss[…]

1870, H. Coleman, Notes on logic, page 81:

(logic, obsolete) A form or mode of syllogism in which the first and third propositions are particular negatives and the second a universal affirmative.


próiseas

head

próiseas m (genitive singular próisis, nominative plural próisis)

próisis (genitive singular)
próisis (nominative plural)
próiseas (indefinite nominative singular)
próisis (indefinite nominative plural)
a phróisis (indefinite singular vocative)
a phróiseasa (indefinite plural vocative)
próisis (genitive indefinite singular)
próiseas (genitive indefinite plural)
próiseas (dative indefinite singular)
próisis (dative indefinite plural)
an próiseas (definite nominative singular)
na próisis (definite nominative plural)
an phróisis (definite genitive singular)
na bpróiseas (definite genitive plural)
leis an bpróiseas (dative definite singular)
don phróiseas (dative definite singular)
leis na próisis (dative definite plural)
próiseas
phróiseas
bpróiseas


rachunek zdań

rachunek zdań (nominative singular)
rachunku zdań (genitive singular)
rachunkowi zdań (dative singular)
rachunek zdań (accusative singular)
rachunkiem zdań (instrumental singular)
rachunku zdań (locative singular)
rachunku zdań (singular vocative)


alternatywa

alternatywa (nominative singular)
alternatywy (nominative plural)
alternatywy (genitive singular)
alternatyw (genitive plural)
alternatywie (dative singular)
alternatywom (dative plural)
alternatywę (accusative singular)
alternatywy (accusative plural)
alternatywą (instrumental singular)
alternatywami (instrumental plural)
alternatywie (locative singular)
alternatywach (locative plural)
alternatywo (singular vocative)
alternatywy (plural vocative)

Borrowed from French alternatif (feminine alternative), from Medieval Latin alternātīvus. First attested in 1733.

ref

Barbara Rykiel-Kempf (02.07.2009) “ALTERNATYWA”, in Elektroniczny Słownik Języka Polskiego XVII i XVIII Wieku [Electronic Dictionary of the Polish Language of the XVII and XVIII Century]

funktor alternatywy

alternatywa rozłączna

negacja/zaprzeczenie alternatywy

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


następnik

następnik (nominative singular)
następniki (nominative plural)
następnika (genitive singular)
następników (genitive plural)
następnikowi (dative singular)
następnikom (dative plural)
następnik (accusative singular)
następniki (accusative plural)
następnikiem (instrumental singular)
następnikami (instrumental plural)
następniku (locative singular)
następnikach (locative plural)
następniku (singular vocative)
następniki (plural vocative)


tautologiczny

pl-adj

tautologiczny (not comparable, derived adverb tautologicznie)

tautologiczny (masculine nominative singular)
tautologiczna (feminine nominative singular)
tautologiczne (neuter nominative singular)
tautologiczni (nominative plural virile)
tautologiczne (nominative plural)
tautologicznego (genitive masculine singular)
tautologicznej (feminine genitive singular)
tautologicznego (genitive neuter singular)
tautologicznych (genitive plural)
tautologicznych (genitive plural virile)
tautologicznemu (dative masculine singular)
tautologicznej (dative feminine singular)
tautologicznemu (dative neuter singular)
tautologicznym (dative plural)
tautologicznym (dative plural virile)
tautologicznego (accusative animate masculine singular)
tautologiczny (accusative inanimate masculine singular)
tautologiczną (accusative feminine singular)
tautologiczne (accusative neuter singular)
tautologicznych (accusative plural virile)
tautologiczne (accusative plural)
tautologicznym (instrumental masculine singular)
tautologiczną (feminine instrumental singular)
tautologicznym (instrumental neuter singular)
tautologicznymi (instrumental plural)
tautologicznymi (instrumental plural virile)
tautologicznym (locative masculine singular)
tautologicznej (feminine locative singular)
tautologicznym (locative neuter singular)
tautologicznych (locative plural)
tautologicznych (locative plural virile)


αξίωμα

head

αξίωμα • (axíoma) n (plural αξιώματα)

el-noun

αξίωμα • (axíoma) n (plural αξιώματα)

axíoma (romanization)
αξιώματα (plural)
αξίωμα (nominative singular)
αξιώματα (nominative plural)
αξιώματος (genitive singular)
αξιωμάτων (genitive plural)
αξίωμα (accusative singular)
αξιώματα (accusative plural)
αξίωμα (singular vocative)
αξιώματα (plural vocative)

(philosophy, mathematics, logic) maxim, axiom, tenet


sentential logic

en-noun

sentential logic (plural sentential logics)

The Leibniz operator and the study of various of its properties that may or may not be satisfied for particular sentential logics have given rise to what is now known as the abstract algebraic hierarchy or Leibniz hierarchy of sentential logics.ᵂᴾ


Skolemization

Named after Thoralf Skolem (1887–1963), Norwegian mathematician.

existential quantifier
existential quantifier

universal quantifier
universal quantifier

(logic) The conversion of a formula of first-order logic which involves the following steps: (1) replace free variables with constants, (2) replace any variable bound by an existential quantifier which lies in the scope of an even number of logical negations with a Skolem function, and (3) replace any variable bound by a universal quantifier which lies in the scope of an odd number of negations with a Skolem function.


Herbrandization

From Herbrand + -ization, after Jacques Herbrand (1908–1931), French mathematician.

(logic) The conversion of a formula of first-order logic which involves the following steps: (1) replace free variables with constants, (2) replace any variable bound by a universal quantifier which lies in the scope of an even number of logical negations with a Herbrand function, and (3) replace any variable bound by an existential quantifier which lies in the scope of an odd number of negations with a Herbrand function.


double turnstile

double turnstile (plural double turnstiles)

(logic, model theory) The ⊨ symbol used to denote semantic consequence, or the ⊧ symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.


stoichiology

Ancient Greek στοιχεῖον (stoikheîon, “first element, fundamental principle”) + -logy.

uder

(logic) The doctrine of the elementary requisites of mere thought .


aitreabúid

head

aitreabúid f (genitive singular aitreabúide, nominative plural aitreabúidí)

aitreabúide (genitive singular)
aitreabúidí (nominative plural)
aitreabúid (indefinite nominative singular)
aitreabúidí (indefinite nominative plural)
a aitreabúid (indefinite singular vocative)
a aitreabúidí (indefinite plural vocative)
aitreabúide (genitive indefinite singular)
aitreabúidí (genitive indefinite plural)
aitreabúid (dative indefinite singular)
aitreabúidí (dative indefinite plural)
an aitreabúid (definite nominative singular)
na haitreabúidí (definite nominative plural)
na haitreabúide (definite genitive singular)
na n-aitreabúidí (definite genitive plural)
leis an aitreabúid (dative definite singular)
don aitreabúid (dative definite singular)
leis na haitreabúidí (dative definite plural)
aitreabúid
n-aitreabúid
haitreabúid

From Medieval Latin attribūtum, from Latin attribūtus, perfect passive participle of attribuō (“associate; add or join to; annex; assign, bestow or give; allot; appoint”).


quantum logic

(logic, quantum mechanics) A form of non-classical logic which has been abstracted out of quantum mechanics.

The representation theorem (for quantum logic) shows that these quantum logics form a lattice which is isomorphic to the lattice of subspaces of a vector space with a scalar product.ᵂᴾ

(logic, quantum mechanics) A set of events that is closed under a countable disjunction of countably many mutually exclusive events.ᵂᴾ


boolesk

boolesk (comparative booleskare, superlative booleskast)

booleskare (comparative)
booleskast (superlative)
boolesk (indefinite positive)
booleskt (indefinite neuter positive singular)
booleska (indefinite plural positive)
booleske (archaic indefinite masculine plural positive)
booleske (definite masculine positive singular)
booleska (definite positive)


Boole'sal

(logic, computing) alternative form of Boole'ca (Boolean)


apodeictical

en-adj

apodeictical (comparative more apodeictical, superlative most apodeictical)

more apodeictical (comparative)
most apodeictical (superlative)


completory

completory (comparative more completory, superlative most completory)

more completory (comparative)
most completory (superlative)

completory of ancient presignifications

a. 1678 (date written), Isaac Barrow, “(please specify the chapter name or sermon number). Suffered under Pontius Pilate”, in The Works of Dr. Isaac Barrow. […], volume (please specify |volume=I to VII), London: A[braham] J[ohn] Valpy, […], published 1830–1831, →OCLC:


悖論

/peɪ̯⁵¹⁻⁵³ lu̯ən⁵¹/

/puːi̯²² lɵn²²/

/peɪ̯⁵¹⁻⁵³ lu̯ən⁵¹/

/puːi̯²² lɵn²²/

(logic, philosophy, mathematics) paradox; antinomy


نتيجة

ar-noun

نَتِيجَة • (natīja) f (plural نَتَائِج (natāʔij))

نَتِيجَة (canonical)
natīja (romanization)
نَتَائِج (plural)
نَتِيجَة (ar-infl-a indefinite informal singular triptote)
النَّتِيجَة (ar-infl-a definite informal singular triptote)
نَتِيجَة (ar-infl-a construct informal singular triptote)
نَتِيجَةٌ (ar-infl-a indefinite nominative singular triptote)
النَّتِيجَةُ (ar-infl-a definite nominative singular triptote)
نَتِيجَةُ (ar-infl-a construct nominative singular triptote)
نَتِيجَةً (accusative ar-infl-a indefinite singular triptote)
النَّتِيجَةَ (accusative ar-infl-a definite singular triptote)
نَتِيجَةَ (accusative ar-infl-a construct singular triptote)
نَتِيجَةٍ (ar-infl-a genitive indefinite singular triptote)
النَّتِيجَةِ (ar-infl-a definite genitive singular triptote)
نَتِيجَةِ (ar-infl-a construct genitive singular triptote)
نَتِيجَتَيْن (ar-infl-a dual indefinite informal singular triptote)
النَّتِيجَتَيْن (ar-infl-a definite dual informal singular triptote)
نَتِيجَتَيْ (ar-infl-a construct dual informal singular triptote)
نَتِيجَتَانِ (ar-infl-a dual indefinite nominative singular triptote)
النَّتِيجَتَانِ (ar-infl-a definite dual nominative singular triptote)
نَتِيجَتَا (ar-infl-a construct dual nominative singular triptote)
نَتِيجَتَيْنِ (accusative ar-infl-a dual indefinite singular triptote)
النَّتِيجَتَيْنِ (accusative ar-infl-a definite dual singular triptote)
نَتِيجَتَيْ (accusative ar-infl-a construct dual singular triptote)
نَتِيجَتَيْنِ (ar-infl-a dual genitive indefinite singular triptote)
النَّتِيجَتَيْنِ (ar-infl-a definite dual genitive singular triptote)
نَتِيجَتَيْ (ar-infl-a construct dual genitive singular triptote)
نَتَائِج (broken-form diptote indefinite informal plural)
النَّتَائِج (broken-form definite diptote informal plural)
نَتَائِج (broken-form construct diptote informal plural)
نَتَائِجُ (broken-form diptote indefinite nominative plural)
النَّتَائِجُ (broken-form definite diptote nominative plural)
نَتَائِجُ (broken-form construct diptote nominative plural)
نَتَائِجَ (accusative broken-form diptote indefinite plural)
النَّتَائِجَ (accusative broken-form definite diptote plural)
نَتَائِجَ (accusative broken-form construct diptote plural)
نَتَائِجَ (broken-form diptote genitive indefinite plural)
النَّتَائِجِ (broken-form definite diptote genitive plural)
نَتَائِجِ (broken-form construct diptote genitive plural)

→ Azerbaijani: nəticə

→ Bashkir: нәтижә (nətijə)

→ Bengali: নতীজা (notija)

→ Chagatai: نتیجه

Uyghur: نەتىجە (netije)

Uzbek: natija

→ Hindustani:

Hindi: नतीजा (natījā)

Urdu: نتیجہ

→ Kazakh: нәтиже (nätije)

→ Khalaj: nətîcə

→ Northern Kurdish: netîce

→ Ottoman Turkish: نتیجه (netîce)

Turkish: netice

→ Crimean Tatar: netice

→ Pashto: نتيجه

→ Persian: نتیجه (natije)

→ Punjabi:

Gurmukhi script: ਨਤੀਜਾ (natījā)

Shahmukhi script: نتیجہ (natījah)

→ Punjabi: نَتِیجَہ (natījah)

→ Sindhi: نتيجو

→ Swahili: natija

→ Tatar: нәтиҗә (näticä)

→ Turkmen: netije


measúnaitheach

head

measúnaitheach (genitive singular masculine measúnaithigh, genitive singular feminine measúnaithí, plural measúnaitheacha, comparative measúnaithí)

measúnaithigh (genitive masculine singular)
measúnaithí (feminine genitive singular)
measúnaitheacha (plural)
measúnaithí (comparative)
measúnaitheach (masculine nominative singular)
mheasúnaitheach (feminine nominative singular)
measúnaitheacha (nominative plural)
mheasúnaitheacha (nominative plural)
mheasúnaithigh (masculine singular vocative)
mheasúnaitheach (feminine singular vocative)
measúnaitheacha (plural vocative)
mheasúnaithigh (genitive masculine singular)
measúnaithí (feminine genitive singular)
measúnaitheacha (genitive plural)
measúnaitheach (genitive plural)
measúnaitheach (dative masculine singular)
mheasúnaitheach (dative masculine singular)
mheasúnaitheach (dative feminine singular)
mheasúnaithigh (archaic dative feminine singular)
measúnaitheacha (dative plural)
mheasúnaitheacha (dative plural)
níos measúnaithí (comparative)
is measúnaithí (superlative)
measúnaitheach
mheasúnaitheach

From measúnaigh (“to assess, assay”) + -ach.


measúnaitheacht

measúnaitheacht f (genitive singular measúnaitheachta)

measúnaitheachta (genitive singular)
measúnaitheacht (indefinite nominative singular)
a mheasúnaitheacht (indefinite singular vocative)
measúnaitheachta (genitive indefinite singular)
measúnaitheacht (dative indefinite singular)
an mheasúnaitheacht (definite nominative singular)
na measúnaitheachta (definite genitive singular)
leis an measúnaitheacht (dative definite singular)
don mheasúnaitheacht (dative definite singular)
measúnaitheacht
mheasúnaitheacht

From measúnaigh (“to assess, assay”) + -acht.


eigenvariable

(mathematics, logic) A kind of term in natural deduction.


wtw

Twierdzenie. Dla dowolnej formuły A, Grz ⊢ A wtw GL ⊢ tA.

1994, Jacek Hawranek, Aspekty algebraiczne systemu modalnego Gödla-Löba, →ISBN:

For any given formala A, grz ⊢ a iff GL ⊢ tA.

W obrębie nauki i ontologii twierdzenie jest prawdziwe wtw gdy jest tak, jak ono głosi, […]

2004, Alina Motycka, Seweryn Blandzi, potkania platońskie: w dobie rozumu rozproszonego wracamy do korzeni, →ISBN:

In the field of science and ontology the statement is true iff it is how it reads, […]

wtedy i tylko wtedy
wtedy i tylko wtedy#Polish

(mathematics, logic) abbreviation of wtedy i tylko wtedy; iff (if and only if)


ἀνασκευαστικός

ᾰ̓νᾰσκευᾰστῐκός

ᾰ̓νᾰσκευᾰστῐκή

ᾰ̓νᾰσκευᾰστῐκόν

ᾰ̓νᾰσκευᾰστῐκός • (ănăskeuăstĭkós) m (feminine ᾰ̓νᾰσκευᾰστῐκή, neuter ᾰ̓νᾰσκευᾰστῐκόν); first/second declension

ᾰ̓νᾰσκευᾰστῐκός (canonical)
ănăskeuăstĭ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)

grc-adecl

ᾰ̓νᾰσκευᾰστῐκός

From ᾰ̓νᾰσκευᾰ́ζω (ănăskeuắzō, “to dismantle, remove”) + -τῐκός (-tĭkós).

af

ᾰ̓νᾰσκευᾰ́ζω


κατασκευαστικός

κᾰτασκευαστῐκή

κᾰτασκευαστῐκόν

κᾰτασκευαστῐκός

κᾰτασκευαστῐκός • (kătaskeuastĭkós) m (feminine κᾰτασκευαστῐκή, neuter κᾰτασκευαστῐκόν); first/second declension

κᾰτασκευαστῐκός (canonical)
kătaskeuastĭ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)

grc-adecl

κατασκευαστικός

From κατασκευάζω (kataskeuázō, “to equip, furnish”) + -ικός (-ikós).


neutrosophic

In a neutrosophic triplet set, there is a neutral element and antielement for each element.

2018, Memet Şahin, Abdullah Kargın, Mehmet Ali Çoban, Fixed Point Theorem for Neutrosophic Triplet Partial Metric Space:

(logic) Of or relating to a general form of logic in which each proposition has separate values for truth, falsehood, and indeterminacy.


fo-ghlac

head

fo-ghlac (present analytic fo-ghlacann, future analytic fo-ghlacfaidh, verbal noun fo-ghlacadh, past participle fo-ghlactha)

fo-ghlacann (analytic present)
fo-ghlacfaidh (analytic future)
fo-ghlacadh (noun-from-verb)
fo-ghlactha (participle past)
fo-ghlacadh (noun-from-verb)
fo-ghlactha (participle past)
fo-ghlacaim (first-person indicative present singular)
fo-ghlacann tú (indicative present second-person singular)
fo-ghlacair (indicative present second-person singular)
fo-ghlacann sé (indicative present singular third-person)
sí (indicative present singular third-person)
fo-ghlacaimid (first-person indicative plural present)
fo-ghlacann sibh (indicative plural present second-person)
fo-ghlacann siad (indicative plural present third-person)
fo-ghlacaid (indicative plural present third-person)
a fho-ghlacann (indicative present relative)
a fho-ghlacas (indicative present relative)
a bhfo-ghlacann (indicative present relative)
fo-ghlactar (autonomous indicative present)
d'fho-ghlac mé (first-person indicative past singular)
d'fho-ghlacas (first-person indicative past singular)
fho-ghlac mé‡ (first-person indicative past singular)
fho-ghlacas‡ (first-person indicative past singular)
d'fho-ghlac tú (indicative past second-person singular)
d'fho-ghlacais (indicative past second-person singular)
fho-ghlac tú (indicative past second-person singular)
fho-ghlacais‡ (indicative past second-person singular)
d'fho-ghlac sé (indicative past singular third-person)
sí (indicative past singular third-person)
fho-ghlac sé (indicative past singular third-person)
sí‡ (indicative past singular third-person)
d'fho-ghlacamar (first-person indicative past plural)
d'fho-ghlac muid (first-person indicative past plural)
fho-ghlacamar (first-person indicative past plural)
fho-ghlac muid‡ (first-person indicative past plural)
d'fho-ghlac sibh (indicative past plural second-person)
d'fho-ghlacabhair (indicative past plural second-person)
fho-ghlac sibh (indicative past plural second-person)
fho-ghlacabhair‡ (indicative past plural second-person)
d'fho-ghlac siad (indicative past plural third-person)
d'fho-ghlacadar (indicative past plural third-person)
fho-ghlac siad (indicative past plural third-person)
fho-ghlacadar‡ (indicative past plural third-person)
a d'fho-ghlac (indicative past relative)
ar fho-ghlac (indicative past relative)
fo-ghlacadh (autonomous indicative past)
d'fho-ghlacainn (first-person habitual indicative past singular)
fho-ghlacainn‡ (first-person habitual indicative past singular)
bhfo-ghlacainn‡‡ (first-person habitual indicative past singular)
d'fho-ghlactá (habitual indicative past second-person singular)
fho-ghlactá‡ (habitual indicative past second-person singular)
bhfo-ghlactá‡‡ (habitual indicative past second-person singular)
d'fho-ghlacadh sé (habitual indicative past singular third-person)
sí (habitual indicative past singular third-person)
fho-ghlacadh sé (habitual indicative past singular third-person)
sí‡ (habitual indicative past singular third-person)
bhfo-ghlacadh sé (habitual indicative past singular third-person)
sí‡‡ (habitual indicative past singular third-person)
d'fho-ghlacaimis (first-person habitual indicative past plural)
d'fho-ghlacadh muid (first-person habitual indicative past plural)
fho-ghlacaimis (first-person habitual indicative past plural)
fho-ghlacadh muid‡ (first-person habitual indicative past plural)
bhfo-ghlacaimis‡‡ (first-person habitual indicative past plural)
bhfo-ghlacadh muid‡‡ (first-person habitual indicative past plural)
d'fho-ghlacadh sibh (habitual indicative past plural second-person)
fho-ghlacadh sibh‡ (habitual indicative past plural second-person)
bhfo-ghlacadh sibh‡‡ (habitual indicative past plural second-person)
d'fho-ghlacaidís (habitual indicative past plural third-person)
d'fho-ghlacadh siad (habitual indicative past plural third-person)
fho-ghlacaidís (habitual indicative past plural third-person)
fho-ghlacadh siad‡ (habitual indicative past plural third-person)
bhfo-ghlacaidís‡‡ (habitual indicative past plural third-person)
bhfo-ghlacadh siad‡‡ (habitual indicative past plural third-person)
a d'fho-ghlacadh (habitual indicative past relative)
a bhfo-ghlacadh (habitual indicative past relative)
d'fho-ghlactaí (autonomous habitual indicative past)
fho-ghlactaí‡ (autonomous habitual indicative past)
bhfo-ghlactaí‡‡ (autonomous habitual indicative past)
fo-ghlacfaidh mé (first-person future indicative singular)
fo-ghlacfad (first-person future indicative singular)
fo-ghlacfaidh tú (future indicative second-person singular)
fo-ghlacfair (future indicative second-person singular)
fo-ghlacfaidh sé (future indicative singular third-person)
sí (future indicative singular third-person)
fo-ghlacfaimid (first-person future indicative plural)
fo-ghlacfaidh muid (first-person future indicative plural)
fo-ghlacfaidh sibh (future indicative plural second-person)
fo-ghlacfaidh siad (future indicative plural third-person)
fo-ghlacfaid (future indicative plural third-person)
a fho-ghlacfaidh (future indicative relative)
a fho-ghlacfas (future indicative relative)
a bhfo-ghlacfaidh (future indicative relative)
fo-ghlacfar (autonomous future indicative)
d'fho-ghlacfainn (conditional first-person singular)
fho-ghlacfainn‡ (conditional first-person singular)
bhfo-ghlacfainn‡‡ (conditional first-person singular)
d'fho-ghlacfá (conditional second-person singular)
fho-ghlacfá‡ (conditional second-person singular)
bhfo-ghlacfá‡‡ (conditional second-person singular)
d'fho-ghlacfadh sé (conditional singular third-person)
sí (conditional singular third-person)
fho-ghlacfadh sé (conditional singular third-person)
sí‡ (conditional singular third-person)
bhfo-ghlacfadh sé (conditional singular third-person)
sí‡‡ (conditional singular third-person)
d'fho-ghlacfaimis (conditional first-person plural)
d'fho-ghlacfadh muid (conditional first-person plural)
fho-ghlacfaimis‡ (conditional first-person plural)
fho-ghlacfadh muid‡ (conditional first-person plural)
bhfo-ghlacfaimis‡‡ (conditional first-person plural)
bhfo-ghlacfadh muid‡‡ (conditional first-person plural)
d'fho-ghlacfadh sibh (conditional plural second-person)
fho-ghlacfadh sibh‡ (conditional plural second-person)
bhfo-ghlacfadh sibh‡‡ (conditional plural second-person)
d'fho-ghlacfaidís (conditional plural third-person)
d'fho-ghlacfadh siad (conditional plural third-person)
fho-ghlacfaidís‡ (conditional plural third-person)
fho-ghlacfadh siad‡ (conditional plural third-person)
bhfo-ghlacfaidís‡‡ (conditional plural third-person)
bhfo-ghlacfadh siad‡‡ (conditional plural third-person)
a d'fho-ghlacfadh (conditional relative)
a bhfo-ghlacfadh (conditional relative)
d'fho-ghlacfaí (autonomous conditional)
fho-ghlacfaí‡ (autonomous conditional)
bhfo-ghlacfaí‡‡ (autonomous conditional)
go bhfo-ghlaca mé (first-person present singular subjunctive)
go bhfo-ghlacad (first-person present singular subjunctive)
go bhfo-ghlaca tú (present second-person singular subjunctive)
go bhfo-ghlacair (present second-person singular subjunctive)
go bhfo-ghlaca sé (present singular subjunctive third-person)
sí (present singular subjunctive third-person)
go bhfo-ghlacaimid (first-person plural present subjunctive)
go bhfo-ghlaca muid (first-person plural present subjunctive)
go bhfo-ghlaca sibh (plural present second-person subjunctive)
go bhfo-ghlaca siad (plural present subjunctive third-person)
go bhfo-ghlacaid (plural present subjunctive third-person)
go bhfo-ghlactar (autonomous present subjunctive)
dá bhfo-ghlacainn (first-person past singular subjunctive)
dá bhfo-ghlactá (past second-person singular subjunctive)
dá bhfo-ghlacadh sé (past singular subjunctive third-person)
sí (past singular subjunctive third-person)
dá bhfo-ghlacaimis (first-person past plural subjunctive)
dá bhfo-ghlacadh muid (first-person past plural subjunctive)
dá bhfo-ghlacadh sibh (past plural second-person subjunctive)
dá bhfo-ghlacaidís (past plural subjunctive third-person)
dá bhfo-ghlacadh siad (past plural subjunctive third-person)
dá bhfo-ghlactaí (autonomous past subjunctive)
fo-ghlacaim (first-person imperative singular)
fo-ghlac (imperative second-person singular)
fo-ghlacadh sé (imperative singular third-person)
sí (imperative singular third-person)
fo-ghlacaimis (first-person imperative plural)
fo-ghlacaigí (imperative plural second-person)
fo-ghlacaidh (imperative plural second-person)
fo-ghlacaidís (imperative plural third-person)
fo-ghlactar (autonomous imperative)
fo-ghlac
fho-ghlac
bhfo-ghlac

From fo- (“sub”) + glac (“take, accept”).


sujeito

Inherited from Old Galician-Portuguese sogeito, probably a semi-learned borrowing from Latin subiectus. Compare Spanish sujeto (definitely a borrowing) and Galician suxeito.

inh+

(logic) subject (that of which something is stated)


ܐܠܨܬܐ

head

ܐܠܨܬܐ • (transliteration needed) f (plural ܐܠܨܬܐ)

ܐܠܨܬܐ (plural)
ܐܠܨܐ (absolute singular)
ܐܠܨܬܝ (feminine first-person masculine possessed-form singular)
ܐܠܨܬܢ (feminine first-person masculine plural possessed-form)
ܐܠܨܬ (construct singular)
ܐܠܨܬܟ (masculine possessed-form second-person singular)
ܐܠܨܬܟܝ (feminine possessed-form second-person singular)
ܐܠܨܬܟܘܢ (masculine plural possessed-form second-person)
ܐܠܨܬܟܝܢ (feminine plural possessed-form second-person)
ܐܠܨܬܐ (emphatic singular)
ܐܠܨܬܗ (masculine possessed-form singular third-person)
ܐܠܨܬܗ (feminine possessed-form singular third-person)
ܐܠܨܬܗܘܢ (masculine plural possessed-form third-person)
ܐܠܨܬܗܝܢ (feminine plural possessed-form third-person)

From the root ܐ ܠ ܨ related to pressing.


infima species

Every infima species of the adaptation can be related unambiguously to a[n] infima species of the standard.

1993, Willem Hirs, “XV: The Use of Terminological Principles and Methods in Medicine”, in Helmi B. Sonneveld, Kurt Loening, editors, Terminology: Applications in Interdisciplinary Communication, page 239:

Combining Leibniz's view about species differentiation with his view that completed individuals constitute infima species, [DM 9; N 326] yields a promising speculation as to why he might hold that any change in property of our Adam would be a different person.

1998, R. O. Savage, Real Alternatives, Leibniz's Metaphysics of Choice, page 95:

So two things are pivotal in the Categories account of primary ousiai: the idea that the things that are ontologically fundamental are basic subjects, and the idea that the ontologically basic entities are instances or members of their infimae species.

2008, Michael J. Loux, Primary Ousia: An Essay on Aristotle's Metaphysics Z and H, page 4:

But when Pratt gives illustrations of his claim, he selects different infimae species under the genus 'material substance'.

2009, James Porter Moreland, The Recalcitrant Imago Dei, page 124:

(logic, philosophy, semantics) The narrowest of species; one that that is not a genus to anything else.


foshuíomh

foshuíomh m (genitive singular foshuímh, nominative plural foshuíomhanna)

foshuímh (genitive singular)
foshuíomhanna (nominative plural)
foshuíomh (indefinite nominative singular)
foshuíomhanna (indefinite nominative plural)
a fhoshuímh (indefinite singular vocative)
a fhoshuíomhanna (indefinite plural vocative)
foshuímh (genitive indefinite singular)
foshuíomhanna (genitive indefinite plural)
foshuíomh (dative indefinite singular)
foshuíomhanna (dative indefinite plural)
an foshuíomh (definite nominative singular)
na foshuíomhanna (definite nominative plural)
an fhoshuímh (definite genitive singular)
na bhfoshuíomhanna (definite genitive plural)
leis an bhfoshuíomh (dative definite singular)
don fhoshuíomh (dative definite singular)
leis na foshuíomhanna (dative definite plural)
foshuíomh
fhoshuíomh
bhfoshuíomh
fo-shuíomh (alternative)

(philosophy, logic) postulate, assumption


precisification

en-noun

precisification (countable and uncountable, plural precisifications)

(logic) The process of making a statement more precise.


кырдьык

head

кырдьык • (kırjık)

sah-noun

кырдьык • (kırjık)

From Proto-Turkic *kẹrtü (“true, truth”). Compare Turkish gerçek (“true, truth”).

кырдьык w:sah:кырдьык


сымыйа

head

сымыйа • (sımıya)

Compare to Kazakh шұбұрт (şūbūrt), Chuvash соя (soja), etc.


लिङ्ग

liṅga (romanization)
लिङ्गम् (nominative singular)
लिङ्गे (dual nominative)
लिङ्गानि (nominative plural)
लिङ्गा1 (nominative plural)
लिङ्गम् (accusative singular)
लिङ्गे (accusative dual)
लिङ्गानि (accusative plural)
लिङ्गा1 (accusative plural)
लिङ्गेन (instrumental singular)
लिङ्गाभ्याम् (dual instrumental)
लिङ्गैः (instrumental plural)
लिङ्गेभिः1 (instrumental plural)
लिङ्गाय (dative singular)
लिङ्गाभ्याम् (dative dual)
लिङ्गेभ्यः (dative plural)
लिङ्गात् (ablative singular)
लिङ्गाभ्याम् (ablative dual)
लिङ्गेभ्यः (ablative plural)
लिङ्गस्य (genitive singular)
लिङ्गयोः (dual genitive)
लिङ्गानाम् (genitive plural)
लिङ्गे (locative singular)
लिङ्गयोः (dual locative)
लिङ्गेषु (locative plural)
लिङ्ग (singular vocative)
लिङ्गे (dual vocative)
लिङ्गानि (plural vocative)
लिङ्गा1 (plural vocative)

Pali: liṅga

→ Thai: ลึงค์ (lʉng), ลิงค์ (ling) (or borrowed directly from Sanskrit)

Prakrit: 𑀮𑀺𑀁𑀕 (liṃga) (see there for further descendants)

→ English: lingam

→ Kannada: ಲಿಂಗ (liṅga)

→ Khmer: លិង្គ (lɨng)

From Proto-Indo-Iranian *lingás ~ *ringás (“mark, sign, token”). Cognate with Avestan -𐬌𐬭𐬌𐬧𐬔𐬀 (-iriṇga) (attested in 𐬵𐬀𐬞𐬙𐬋𐬌𐬭𐬌𐬧𐬔𐬀 (haptōⁱriṇga, “the constellation Ursa Major”, literally “having seven signs”)), Sogdian [script needed] (pryng /paring/, “damask textile with markings on it”) (< *upa-ringa-).

cog

(logic) the invariable mark which proves the existence of anything in an object (as in the proposition ‘there is fire because there is smoke’, smoke is the liṅga)


fochontráir

head

fochontráir f (genitive singular fochontráire, nominative plural fochontráirí)

fochontráire (genitive singular)
fochontráirí (nominative plural)
fochontráir (indefinite nominative singular)
fochontráirí (indefinite nominative plural)
a fhochontráir (indefinite singular vocative)
a fhochontráirí (indefinite plural vocative)
fochontráire (genitive indefinite singular)
fochontráirí (genitive indefinite plural)
fochontráir (dative indefinite singular)
fochontráirí (dative indefinite plural)
an fhochontráir (definite nominative singular)
na fochontráirí (definite nominative plural)
na fochontráire (definite genitive singular)
na bhfochontráirí (definite genitive plural)
leis an bhfochontráir (dative definite singular)
don fhochontráir (dative definite singular)
leis na fochontráirí (dative definite plural)
fochontráir
fhochontráir
bhfochontráir

Compare fo- (“sub-”) and contrártha (“contrary”, adjective).


antitheorem

(logic) A syntactically correct expression whose negation is a theorem.


contractionless

a contractionless logic


law of noncontradiction

The statement "this piece of chalk is not a piece of chalk" violates the law of noncontradiction.

(logic) The principle that no statement may be simultaneously true and false at the same time and in the same sense.


principle of explosion

(logic) The principle or axiom of classical logic and some other logical systems stating that if a contradiction or a false proposition is proven to be true, then it proves that everything is true. In symbols: ⊥→P


vacuous truth

(logic) A proposition which is true only because it is a conditional statement with a necessarily false premise, or which asserts a property of all elements of an empty domain of discourse.


論域

/lu̯ən⁵¹⁻⁵³ y⁵¹/

/lu̯ən⁵¹⁻⁵³ y⁵¹/


doxastic logic

en-noun

doxastic logic (countable and uncountable, plural doxastic logics)

(logic) A type of modal logic which deals with statements involving beliefs.

doksastinen logiikka

a logic involving statements about beliefs


paraconsistent logic

paraconsistent logic (plural paraconsistent logics)

principle of explosion
principle of explosion

(logic, countable) A particular formal logical system which allows some contradictions to be true without all contradictions or all statements becoming true; i.e. in which the principle of explosion does not hold.

parakonsistentti logiikka

formal logical system without principle of explosion

parakonsistentti logiikka

study of logical systems without principle of explosion

(logic, uncountable) The study of such systems.


disjunctive syllogism

disjunctive syllogism (plural disjunctive syllogisms)

(logic) A logical argument of the form that if there are only two possibilities, and one of them is ruled out, then the other must take place. In symbols: P∨Q,¬P⊢Q