Changes

===Predicati===

===Predicati===

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.

Quella che abbiamo descritto brevemente finora è la logica delle proposizioni. Una proposizione afferma qualcosa su specifici oggetti matematici come: '2 è maggiore di 1, quindi 1 è minore di 2' o 'un quadrato non ha 5 lati quindi un quadrato non è un pentagono'.. 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.