e

Guinea-Bissau Creole: i, e

Indo-Portuguese: e

Kabuverdianu: y, i, e

Papiamentu: i, y

From Old Galician-Portuguese e (“and”), from Latin et (“and”), from Proto-Indo-European *éti.

Verdadeiro e falso dá falso.

(logic) and (indicates a conjunction operation)


xor

(logic) xor; exclusive or (logical operation that outputs true only when both inputs differ)


ou

From Old Galician-Portuguese ou, from Latin aut.

(logic) inclusive or (connective which yields true when at least one of the predicates is true)


formal

Learned borrowing from Latin fōrmālis. By surface analysis, forma + -al.

(logic) formal (involving mere manipulations of symbols)


a priori

Unadapted borrowing from Medieval Latin ā priōrī (“involving reasoning from cause to effect; from first principles”, literally “from the former”).


falso

pt-adj

falso (feminine falsa, masculine plural falsos, feminine plural falsas)

falsa (feminine)
falsos (masculine plural)
falsas (feminine plural)

desctree

→ Malay: palsu
Indonesian: palsu
Peranakan Indonesian: palsoe

From Old Galician-Portuguese falso, from Latin falsus (“deceived”), from fallō (“to deceive”), from Proto-Indo-European *gʰwel- (“to lie, deceive”).


sss

(mathematics, logic) if and only if; used to show that the predicate that follows it has the same truth value as the predicate that precedes it


válido

pt-adj

válido (feminine válida, masculine plural válidos, feminine plural válidas)

válida (feminine)
válidos (masculine plural)
válidas (feminine plural)

Borrowed from Latin validus (“healthy; valid”), from valeō (“to be healthy”).

(logic) valid (that evaluates to true regardless of the input values)


prova

From Old Galician-Portuguese prova, either regressively derived from the verb provar or from Late Latin proba (“proof”), from Latin probō (“to approve; to prove”), from probus (“good”).

(logic, mathematics) proof (sequence of statements which concludes with a statement that is the object of the proof)


predicar

pt-verb

predicar (first-person singular present predico, first-person singular preterite prediquei, past participle predicado)

predico (first-person present singular)
prediquei (first-person preterite singular)
predicado (participle past)
predicar (impersonal infinitive)
predicar (first-person infinitive singular)
predicares (infinitive second-person singular)
predicar (infinitive singular third-person)
predicarmos (first-person infinitive plural)
predicardes (infinitive plural second-person)
predicarem (infinitive plural third-person)
predicando (gerund)
predicado (masculine participle past singular)
predicados (masculine participle past plural)
predicada (feminine participle past singular)
predicadas (feminine participle past plural)
predico (first-person indicative present singular)
predicas (indicative present second-person singular)
predica (indicative present singular third-person)
predicamos (first-person indicative plural present)
predicais (indicative plural present second-person)
predicam (indicative plural present third-person)
predicava (first-person imperfect indicative singular)
predicavas (imperfect indicative second-person singular)
predicava (imperfect indicative singular third-person)
predicávamos (first-person imperfect indicative plural)
predicáveis (imperfect indicative plural second-person)
predicavam (imperfect indicative plural third-person)
prediquei (first-person indicative preterite singular)
predicaste (indicative preterite second-person singular)
predicou (indicative preterite singular third-person)
predicamos (Brazil first-person indicative plural preterite)
predicámos (first-person indicative plural preterite)
predicastes (indicative plural preterite second-person)
predicaram (indicative plural preterite third-person)
predicara (first-person indicative pluperfect singular)
predicaras (indicative pluperfect second-person singular)
predicara (indicative pluperfect singular third-person)
predicáramos (first-person indicative pluperfect plural)
predicáreis (indicative pluperfect plural second-person)
predicaram (indicative pluperfect plural third-person)
predicarei (first-person future indicative singular)
predicarás (future indicative second-person singular)
predicará (future indicative singular third-person)
predicaremos (first-person future indicative plural)
predicareis (future indicative plural second-person)
predicarão (future indicative plural third-person)
predicaria (conditional first-person singular)
predicarias (conditional second-person singular)
predicaria (conditional singular third-person)
predicaríamos (conditional first-person plural)
predicaríeis (conditional plural second-person)
predicariam (conditional plural third-person)
predique (first-person present singular subjunctive)
prediques (present second-person singular subjunctive)
predique (present singular subjunctive third-person)
prediquemos (first-person plural present subjunctive)
prediqueis (plural present second-person subjunctive)
prediquem (plural present subjunctive third-person)
predicasse (first-person imperfect singular subjunctive)
predicasses (imperfect second-person singular subjunctive)
predicasse (imperfect singular subjunctive third-person)
predicássemos (first-person imperfect plural subjunctive)
predicásseis (imperfect plural second-person subjunctive)
predicassem (imperfect plural subjunctive third-person)
predicar (first-person future singular subjunctive)
predicares (future second-person singular subjunctive)
predicar (future singular subjunctive third-person)
predicarmos (first-person future plural subjunctive)
predicardes (future plural second-person subjunctive)
predicarem (future plural subjunctive third-person)
predica (imperative second-person singular)
predique (imperative singular third-person)
prediquemos (first-person imperative plural)
predicai (imperative plural second-person)
prediquem (imperative plural third-person)
não prediques (imperative negative second-person singular)
não predique (imperative negative singular third-person)
não prediquemos (first-person imperative negative plural)
não prediqueis (imperative negative plural second-person)
não prediquem (imperative negative plural third-person)


tautologia

(logic) tautology (statement that is true for all values of its variables)


termo

From Old Galician-Portuguese termĩo, from Latin terminus (“boundary; end”), from Proto-Indo-European *ter- (“through”). Doublet of the borrowing término.


premissa

From Latin praemissa (“set before”), feminine past participle of praemitto (“to send or put before”), from prae- (“pre-”) + mittō (“to send”).

(logic) premise (any of the first propositions of a syllogism, from which the conclusion is deduced)


antinomia

Borrowed from Latin antinomia, from Ancient Greek ἀντινομία (antinomía).

(logic) antinomy (contradiction between valid conclusions)


silogismo

Learned borrowing from Latin syllogismus, from Ancient Greek συλλογισμός (sullogismós, “inference, conclusion”).

der

(logic) syllogism (inference from two or more premises)


booleano

pt-adj

booleano (feminine booleana, masculine plural booleanos, feminine plural booleanas, not comparable)

booleana (feminine)
booleanos (masculine plural)
booleanas (feminine plural)

(logic) Boolean (pertaining to data items that can be either “true” or “false”)


quantificador

pt-noun

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

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

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

suffix

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


apagoge

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

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

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


abdutivo

pt-adj

abdutivo (feminine abdutiva, masculine plural abdutivos, feminine plural abdutivas)

abdutiva (feminine)
abdutivos (masculine plural)
abdutivas (feminine plural)


conectivo

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


corolário

Learned borrowing from Latin corōllārium.

lbor

(mathematics, logic) corollary (proposition which follows easily)


predicamento

Borrowed from Medieval Latin praedicāmentum, derived from Latin praedicō (“to declare, proclame, predicate”).

der

(chiefly logic and philosophy) predicament (a definite class, state or condition)


indutivo

pt-adj

indutivo (feminine indutiva, masculine plural indutivos, feminine plural indutivas)

indutiva (feminine)
indutivos (masculine plural)
indutivas (feminine plural)

Borrowed from Late Latin inductīvus, from Latin indūcō.

(logic) inductive (relating to logical induction)


prova dos nove

pt-noun

prova dos nove f (plural provas dos nove)

O seguro está muito bem modelado e a prova dos nove é que a inadimplência é baixa.

(logic, rhetoric) a definitive proof of the point stated


tabela-verdade

tabela-verdade f (plural tabelas-verdade)

(logic) truth table (table showing all possible truth-values for an expression)


negação

[ne.ɡaˈsɐ̃ʊ̯̃]

/nɨ.ɡɐˈsɐ̃w̃/

[nɨ.ɣɐˈsɐ̃w̃]

(logic) negation (proposition which is the contradictory of another proposition)


se e somente se

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


aletiologia

(logic) alethiology (branch of logic dealing with truth and error)


alético

pt-adj

alético (feminine alética, masculine plural aléticos, feminine plural aléticas)

alética (feminine)
aléticos (masculine plural)
aléticas (feminine plural)

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


contradição em termos

pt-noun

contradição em termos f (plural contradições em termos)

contradiction in terms
contradiction in terms

(rhetoric, logic) contradiction in terms (expression in which the terms contradict one another)


antepredicamento

antepredicamento m (plural antepredicamentos)

(logic) antepredicament (prerequisite to a clear understanding of a predicament)


antilogismo

(logic) antilogism (false syllogism in which two premises contradict the third)


antinomicamente

(logic) antinomically (in an antinomic manner)


antinómico

pt-adj

antinómico (feminine antinómica, masculine plural antinómicos, feminine plural antinómicas)

antinómica (feminine)
antinómicos (masculine plural)
antinómicas (feminine plural)

(logic) antinomic (exhibiting or pertaining to antinomy)


ou exclusivo

(logic) xor; exclusive or (logical operation that outputs true only when both inputs differ)


apodicticamente

tlb

(Brazilian Portuguese spelling, European Portuguese spelling)

(logic) apodictically (in an apodictical manner)


apodicticidade

(logic) apodicticity (the state of being apodictic)


apodíctico

pt-adj

apodíctico (feminine apodíctica, masculine plural apodícticos, feminine plural apodícticas)

apodíctica (feminine)
apodícticos (masculine plural)
apodícticas (feminine plural)

Learned borrowing from Latin apodīcticus, from Ancient Greek ἀποδεικτικός (apodeiktikós).

der

ἀποδεικτικός

(logic) apodeictic (incontrovertibly true or false)


aridade

(logic, mathematics, computer science) arity (number of arguments a function takes)


valor de verdade

pt-noun

valor de verdade m (plural valores de verdade)

(logic) truth value (variable with two possible values: true or false)


valor-verdade

valor-verdade m (plural valores-verdade)


entimema

Borrowed from Latin enthȳmēma, from Ancient Greek ἐνθύμημα (enthúmēma).

(logic) enthymeme (syllogism in which a premise or conclusion is implied)


disjuntivo

pt-adj

disjuntivo (feminine disjuntiva, masculine plural disjuntivos, feminine plural disjuntivas)

disjuntiva (feminine)
disjuntivos (masculine plural)
disjuntivas (feminine plural)