Ingrese una palabra o frase en cualquier idioma 👆
Idioma:
Traducción y análisis de palabras por inteligencia artificial
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
two-valued predicate calculus - traducción al ruso
PREDICATE THAT TAKES ONLY INDIVIDUAL(S) CONSTANTS OR VARIABLES AS ARGUMENT(S)
One-place predicate; Two-place predicate
two-valued predicate calculus
общая лексика
двузначное (классическое) исчисление предикатов
two-valued predicate calculus
двузначное (классическое) исчисление предикатов
first-order sentence
COLLECTION OF FORMAL SYSTEMS USED IN MATHEMATICS, PHILOSOPHY, LINGUISTICS, AND COMPUTER SCIENCE
First-order predicate calculus; First-order predicate logic; Predicate logic; Predicate calculus; First order logic; Predicate Calculus; First Order Logic; First order language; First-order language; Quantification theory; First order predicate calculus; Predicate logic (Philosophy); First order logic with equality; 1st order logic; First Order Language; FOPL; First order predicate logic; Polyadic predicate calculus; Predicate logic (philosophy); First-order logic with equality; First-Order Logic; First-order sentence; Quantification calculus; Satisfaction relation; Predicate Logic; Many-sorted first-order logic; First-order Peano arithmetic; FOPC; Lower Predicate Calculus; Tarskian semantics; Classical predicate logic; First-order-logic; Equational first-order logic; Semantics of first-order logic; Deductive systems for first-order logic
математика
высказывание первого порядка
Wikipedia
First-order predicate
In mathematical logic, a first-order predicate is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and higher-order predicate.
This is not to be confused with a one-place predicate or monad, which is a predicate that takes only one argument. For example, the expression "is a planet" is a one-place predicate, while the expression "is father of" is a two-place predicate.
