Predicate (mathematical logic)
In mathematical logic, a predicate is the formalization of the mathematical concept of statement. A statement is commonly understood as an assertion that may be true or false, depending on the values of the variables that occur in it. A predicate is a well-formed formula that can be evaluated to true or false in function of the values of the variables that occur in it. It can thus be considered as a Boolean-valued function.
ATS (programming language)Abstract object theoryAll-pairs testingAnomalous monismArityAssertion (software development)Atomic formulaAtomic sentenceAveraging argumentAxiom of extensionalityAxiom schema of specificationBIT predicateBoolean-valued functionBoolean predicatesCheck constraintCircumscription (logic)Completeness (knowledge bases)Computational tools for artificial intelligenceContinuous predicateCultural universalCycDatalogDefinable real numberDefinite descriptionDependent typeDescription logicDrinker paradoxEarly Islamic philosophyEdward N. ZaltaEquality (mathematics)Ernst MallyEvent calculusExistenceExistential graphExtension (predicate logic)Filter (higher-order function)Finitary relationFirst-order inductive learnerFirst-order logicFirst-order predicate
Link from a Wikipage to another Wikipage
primaryTopic
Predicate (mathematical logic)
In mathematical logic, a predicate is the formalization of the mathematical concept of statement. A statement is commonly understood as an assertion that may be true or false, depending on the values of the variables that occur in it. A predicate is a well-formed formula that can be evaluated to true or false in function of the values of the variables that occur in it. It can thus be considered as a Boolean-valued function.
has abstract
Em matemática, um predicado é ...... tica corretas de um predicado.
@pt
En logique mathématique, un pr ...... épend des paramètres indiqués.
@fr
En lógica, existen muchas conc ...... ún el contexto y la tradición.
@es
In logica matematica, per pred ...... rono libere è funzionale in se
@it
In mathematical logic, a predi ...... alled a first-order predicate.
@en
Predikát je v logice takové ja ...... jící o subjektu nebo proměnné.
@cs
Predykat – wieloznaczny termin ...... dają osobowe formy czasownika.
@pl
Предика́т (від лат. praedicare ...... словлення, а інші два — хибні.
@uk
Предика́т (лат. praedicatum «з ...... ачении высказывательной формы.
@ru
المحمول (رمزه ب) هو الأمر في ا ...... الناطق محمول على ذات الإنسان.
@ar
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,011,147,365
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
type
comment
Em matemática, um predicado é ...... tica corretas de um predicado.
@pt
En logique mathématique, un pr ...... (0 et 1) en logique classique.
@fr
En lógica, existen muchas conc ...... ún el contexto y la tradición.
@es
In logica matematica, per pred ...... a) che verifica il predicato .
@it
In mathematical logic, a predi ...... as a Boolean-valued function.
@en
Predikát je v logice takové ja ...... jící o subjektu nebo proměnné.
@cs
Predykat – wieloznaczny termin ...... dają osobowe formy czasownika.
@pl
Предика́т (від лат. praedicare ...... чною інтерпретацією предиката.
@uk
Предика́т (лат. praedicatum «з ...... ачении высказывательной формы.
@ru
المحمول (رمزه ب) هو الأمر في ا ...... الناطق محمول على ذات الإنسان.
@ar
label
Predicado (lógica matemática)
@pt
Predicado (lógica)
@es
Predicate (mathematical logic)
@en
Predicato funzionale
@it
Predikato (logiko)
@eo
Predikát (logika)
@cs
Predykat
@pl
Prädikat (Logik)
@de
Prédicat (logique mathématique)
@fr
Предикат
@ru