**Here are 10 examples of using the word «predicate» in English:**
1. The **predicate** of a sentence is the part that expresses what is said about the subject. For example: «John is running». In this sentence, «is running» is the predicate.
2. In logic, a **predicate** is a statement that is either true or false about a subject. For example: «All dogs are mammals». Here, «are mammals» is the predicate.
3. In mathematics, a **predicate** can also be a function that returns a true or false value based on some criteria. For example: «IsEven(x)» is a predicate that returns true if x is an even number.
4. In computer programming, a **predicate** is often used to describe a condition that must be met in order for a certain action to occur. For example: «if x > 5 then do something». Here, «x > 5» is a predicate.
5. In philosophy, a **predicate** can refer to a property or attribute that is attributed to a subject. For example: «Socrates is wise». Here, «wise» is the predicate attributed to Socrates.
6. In linguistics, a **predicate** can be a verb or verb phrase that expresses an action or state of being. For example: «She sings». Here, «sings» is the predicate expressing the action.
7. In legal documents, a **predicate** can refer to the basis or justification for an action. For example: «The defendant's actions were based on a false premise». Here, «false premise» is the predicate explaining the basis for the defendant's actions.
8. In psychology, a **predicate** can describe a mental state or process. For example: «He has a fear of spiders». Here, «fear» is the predicate describing his mental state.
9. In rhetoric, a **predicate** can be used to emphasize a point or make a statement more emphatic. For example: «It is not just that he is smart, but also very talented». Here, «very talented» is the predicate adding emphasis to the statement.
10. In logic and mathematics, a **predicate calculus** is a formal system for expressing statements and reasoning about them. It uses predicates to represent relationships and conditions. For example, «∀x (x > 0 → x² > 0)» is a predicate calculus statement expressing that for all x, if x is greater than 0, then x squared is also greater than 0.