predicate calculus

/ˈprɛdɪkət ˈkælkjʊləs/

1 entry

phrase

C2formalcommonscientific/ˈprɛdɪkət ˈkælkjʊləs/

A formal system in mathematical logic that extends propositional calculus by dealing with predicates, quantifiers (such as 'for all' and 'there exists'), and variables, used to express statements about objects and their relationships.

🇷🇺Формальная система в математической логике, расширяющая исчисление высказываний за счет работы с предикатами, кванторами (такими как 'для всех' и 'существует') и переменными, используемая для выражения утверждений об объектах и их отношениях.
🇪🇸Sistema formal en lógica matemática que extiende el cálculo proposicional al trabajar con predicados, cuantificadores (como 'para todo' y 'existe') y variables, usado para expresar afirmaciones sobre objetos y sus relaciones.
🇫🇷Système formel en logique mathématique qui étend le calcul des propositions en traitant les prédicats, les quantificateurs (tels que 'pour tout' et 'il existe') et les variables, utilisé pour exprimer des énoncés sur des objets et leurs relations.
🇩🇪Formales System der mathematischen Logik, das die Aussagenlogik um Prädikate, Quantoren (wie 'für alle' und 'es existiert') und Variablen erweitert und zur Formulierung von Aussagen über Objekte und deren Beziehungen dient.
🇵🇹Sistema formal da lógica matemática que amplia o cálculo proposicional ao trabalhar com predicados, quantificadores (como 'para todo' e 'existe') e variáveis, usado para expressar afirmações sobre objetos e suas relações.
🇨🇳数理逻辑中的形式系统，在命题演算的基础上引入谓词、量词（如“所有”和“存在”）以及变量，用于表达关于对象及其关系的命题。
🌐نظام صوري في المنطق الرياضي يوسع حساب القضايا ليشمل التعامل مع المحمولات والمكممات مثل 'لكل' و'يوجد' والمتغيرات، ويُستخدم للتعبير عن قضايا حول الكائنات وعلاقاتها.

Formal logic system C2 formal
A branch of symbolic logic that extends propositional logic by including quantifiers and variables, allowing the analysis of statements about objects and their properties.
- Predicate calculus is used to formalize mathematical proofs.
- The statement 'All humans are mortal' can be expressed in predicate calculus.
- Students of logic learn predicate calculus to analyze complex arguments.
🇷🇺Исчисление предикатов