Changes

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'.. Molte volte, però, le affermazioni matematiche non riguardano il singolo oggetto, ma oggetti generici di un insieme come: '''<math>X</math>'' sono più alti di 2 metri' dove ''<math>X</math>'' denota un gruppo generico (per esempio tutti i giocatori di pallavolo). In questo caso si parla di predicati.

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'.. Molte volte, però, le affermazioni matematiche non riguardano il singolo oggetto, ma oggetti generici di un insieme come: '''<math>X</math>'' sono più alti di 2 metri' dove ''<math>X</math>'' denota un gruppo generico (per esempio tutti i giocatori di pallavolo). In questo caso si parla di predicati.

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.

Intuitivamente, un predicato è una frase che riguarda un gruppo di elementi (che nel nostro caso medico saranno i pazienti) e che afferma qualcosa su di loro.

{{q4|Then poor Mary Poppins is a TMD patient or she is not!|let's see what Classical Language Logic tells us}}

{{q4|Then poor Mary Poppins is a TMD patient or she is not!|let's see what Classical Language Logic tells us}}