Changes

  }}</ref>

  }}</ref>

===Predicates===

===Prédicats===

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' where ''<math>X</math>'' denotes a generic group (for example all volleyball players). In this case we speak of predicates.