Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, push-subscription-manager, Suppressors, Administrators, translator, widgeteditor
17,894
edits
Changes
The logic of classical language/it (view source)
Revision as of 03:45, 27 October 2021
, 3 years agoCreated page with "dove"
===Predicates===
===Predicates===
What we have briefly described so far is the logic of propositions. A proposition asserts something about specific mathematical objects such as: '2 is greater than 1, so 1 is less than 2' or 'a square has no 5 sides then a square is not a pentagon'. Many times, however, the mathematical statements concern not the single object, but generic objects of a set such as: '''<math>X</math>'' are taller than 2 meters' where ''<math>X</math>'' denotes a generic group (for example all volleyball players). In this case we speak of predicates.
What we have briefly described so far is the logic of propositions. A proposition asserts something about specific mathematical objects such as: '2 is greater than 1, so 1 is less than 2' or 'a square has no 5 sides then a square is not a pentagon'. Many times, however, the mathematical statements concern not the single object, but generic objects of a set such as: '''<math>X</math>'' are taller than 2 meters' dove ''<math>X</math>'' denotes a generic group (for example all volleyball players). In this case we speak of predicates.
Intuitively, a predicate is a sentence concerning a group of elements (which in our medical case will be the patients) and which states something about them.
Intuitively, a predicate is a sentence concerning a group of elements (which in our medical case will be the patients) and which states something about them.