abduction

Learned borrowing from Latin abductiō(n) (“robbing; abduction”), from abdūcō (“take or lead away”) + -tiō(n) (suffix forming nouns relating to actions or their results).

lbor

(logic, computing) abductive reasoning; abduction


injection

→ Romanian: injecție

→ Turkish: enjeksiyon

(mathematics, logic, set theory) injection


conséquence

la conséquence logique

la conséquence matérielle

la conséquence syntaxique et la conséquence sémantique

syntactic consequence and semantic consequence


réciproque

Learned borrowing from Latin reciprocus.


réciproque

La réciproque de A#92;RightarrowB est B#92;RightarrowA.


contraposition

fr-noun

contraposition f (plural contrapositions)


induire

induire (infinitive)
avoir + past participle (infinitive multiword-construction)
induisant (gerund participle present)
ayant + past participle (gerund multiword-construction participle present)
induit (participle past)
induis (first-person indicative present singular)
induis (indicative present second-person singular)
induit (indicative present singular third-person)
induisons (first-person indicative plural present)
induisez (indicative plural present second-person)
induisent (indicative plural present third-person)
induisais (first-person imperfect indicative singular)
induisais (imperfect indicative second-person singular)
induisait (imperfect indicative singular third-person)
induisions (first-person imperfect indicative plural)
induisiez (imperfect indicative plural second-person)
induisaient (imperfect indicative plural third-person)
induisis (first-person historic indicative past singular)
induisis (historic indicative past second-person singular)
induisit (historic indicative past singular third-person)
induisîmes (first-person historic indicative past plural)
induisîtes (historic indicative past plural second-person)
induisirent (historic indicative past plural third-person)
induirai (first-person future indicative singular)
induiras (future indicative second-person singular)
induira (future indicative singular third-person)
induirons (first-person future indicative plural)
induirez (future indicative plural second-person)
induiront (future indicative plural third-person)
induirais (conditional first-person singular)
induirais (conditional second-person singular)
induirait (conditional singular third-person)
induirions (conditional first-person plural)
induiriez (conditional plural second-person)
induiraient (conditional plural third-person)
future of avoir + past participle (future indicative multiword-construction perfect)
conditional of avoir + past participle (conditional multiword-construction perfect)
induise (first-person present singular subjunctive)
induises (present second-person singular subjunctive)
induise (present singular subjunctive third-person)
induisions (first-person plural present subjunctive)
induisiez (plural present second-person subjunctive)
induisent (plural present subjunctive third-person)
induisisse (first-person imperfect singular subjunctive)
induisisses (imperfect second-person singular subjunctive)
induisît (imperfect singular subjunctive third-person)
induisissions (first-person imperfect plural subjunctive)
induisissiez (imperfect plural second-person subjunctive)
induisissent (imperfect plural subjunctive third-person)
induis (imperative second-person singular)
induisons (first-person imperative plural)
induisez (imperative plural second-person)

Borrowed from Latin indūcere (or altered from the Old French form enduire). Compare the inherited doublet enduire.


abductif

fr-adj

abductif (feminine abductive, masculine plural abductifs, feminine plural abductives)

abductive (feminine)
abductifs (masculine plural)
abductives (feminine plural)


compréhensif

compréhensif (feminine compréhensive, masculine plural compréhensifs, feminine plural compréhensives)

compréhensive (feminine)
compréhensifs (masculine plural)
compréhensives (feminine plural)

Borrowed from Late Latin comprehēnsīvus, from Latin comprehendō.

(rare or logic) Encompassing a certain number of elements or characteristics


subsumer

subsumer (infinitive)
avoir + past participle (infinitive multiword-construction)
subsumant (gerund participle present)
ayant + past participle (gerund multiword-construction participle present)
subsumé (participle past)
subsume (first-person indicative present singular)
subsumes (indicative present second-person singular)
subsume (indicative present singular third-person)
subsumons (first-person indicative plural present)
subsumez (indicative plural present second-person)
subsument (indicative plural present third-person)
subsumais (first-person imperfect indicative singular)
subsumais (imperfect indicative second-person singular)
subsumait (imperfect indicative singular third-person)
subsumions (first-person imperfect indicative plural)
subsumiez (imperfect indicative plural second-person)
subsumaient (imperfect indicative plural third-person)
subsumai (first-person historic indicative past singular)
subsumas (historic indicative past second-person singular)
subsuma (historic indicative past singular third-person)
subsumâmes (first-person historic indicative past plural)
subsumâtes (historic indicative past plural second-person)
subsumèrent (historic indicative past plural third-person)
subsumerai (first-person future indicative singular)
subsumeras (future indicative second-person singular)
subsumera (future indicative singular third-person)
subsumerons (first-person future indicative plural)
subsumerez (future indicative plural second-person)
subsumeront (future indicative plural third-person)
subsumerais (conditional first-person singular)
subsumerais (conditional second-person singular)
subsumerait (conditional singular third-person)
subsumerions (conditional first-person plural)
subsumeriez (conditional plural second-person)
subsumeraient (conditional plural third-person)
future of avoir + past participle (future indicative multiword-construction perfect)
conditional of avoir + past participle (conditional multiword-construction perfect)
subsume (first-person present singular subjunctive)
subsumes (present second-person singular subjunctive)
subsume (present singular subjunctive third-person)
subsumions (first-person plural present subjunctive)
subsumiez (plural present second-person subjunctive)
subsument (plural present subjunctive third-person)
subsumasse (first-person imperfect singular subjunctive)
subsumasses (imperfect second-person singular subjunctive)
subsumât (imperfect singular subjunctive third-person)
subsumassions (first-person imperfect plural subjunctive)
subsumassiez (imperfect plural second-person subjunctive)
subsumassent (imperfect plural subjunctive third-person)
subsume (imperative second-person singular)
subsumons (first-person imperative plural)
subsumez (imperative plural second-person)

Learned borrowing from Medieval Latin subsūmere, from sub- + sūmō (“take”).

lbor

(formal, logic, philosophy) to subsume (to place under another as belonging to it)


antithèse

Learned borrowing from Ancient Greek ἀντίθεσις (antíthesis).


aléthique

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


si et seulement si

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

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


commutatif

fr-adj

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

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

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


équipollence

Learned borrowing from Latin aequipollentia.

lbor

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


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”).


injectif

fr-adj

injectif (feminine injective, masculine plural injectifs, feminine plural injectives)

injective (feminine)
injectifs (masculine plural)
injectives (feminine plural)

From inject(ion) + -if, formed analogously to projectif. Coined by a group of French mathematicians writing under the pseudonym Nicolas Bourbaki in or shortly after 1939


bijectif

fr-adj

bijectif (feminine bijective, masculine plural bijectifs, feminine plural bijectives)

bijective (feminine)
bijectifs (masculine plural)
bijectives (feminine plural)


intuitionnisme

fr-noun

intuitionnisme m (plural intuitionnismes)


stœchiologie

desc

στοιχειολογία

Greek: στοιχειολογία (stoicheiología)

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


biunivoque

une correspondance biunivoque

(mathematics, logic) biunivocal, bijective, one-to-one


autocontradiction

fr-noun

autocontradiction f (plural autocontradictions)


colligance

(logic) connection (especially a chain of connections)


connotatif

fr-adj

connotatif (feminine connotative, masculine plural connotatifs, feminine plural connotatives)

connotative (feminine)
connotatifs (masculine plural)
connotatives (feminine plural)


surjectif

surjectif (feminine surjective, masculine plural surjectifs, feminine plural surjectives)

surjective (feminine)
surjectifs (masculine plural)
surjectives (feminine plural)


syncatégorème

(mathematics, logic) syncategorema (syncategorematic term)


épichérème

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


équipollent

fr-adj

équipollent (feminine équipollente, masculine plural équipollents, feminine plural équipollentes)

équipollente (feminine)
équipollents (masculine plural)
équipollentes (feminine plural)

Learned borrowing from Latin aequipollēns.

lbor

Near-synonym: équivalent


condition nécessaire

fr-noun

condition nécessaire f (plural conditions nécessaires)


condition suffisante

condition suffisante f (plural conditions suffisantes)

sufficient condition
sufficient condition


assertoire

From assertion + -oire, modeled after the term German assertorisch coined by Immanuel Kant.


valeur de vérité

valeur de vérité f (plural valeurs de vérité)

LL-Q150 (fra)-Lepticed7-valeur de vérité.wav

LL-Q150 (fra)-WikiLucas00-valeur de vérité.wav

(logic) truth value (value indicating to what extent a statement is true; in classical logic, these are the values "true" and "false")


preuve par l'absurde

preuve par l'absurde f (plural preuves par l'absurde)

proof by contradiction
proof by contradiction

reductio ad absurdum
reductio ad absurdum

(mathematics, logic) proof by contradiction, reductio ad absurdum


raisonnement par l'absurde

raisonnement par l'absurde m (plural raisonnements par l'absurde)


table de vérité

table de vérité f (plural tables de vérité)

LL-Q150 (fra)-Lepticed7-table de vérité.wav

LL-Q150 (fra)-WikiLucas00-table de vérité.wav

(logic) truth table (table showing all possible truth values for an expression, derived from the truth values of its components)


fausse analogie

fausse analogie f (plural fausses analogies)


principe du tiers exclu

law of excluded middle
law of excluded middle