Dans une perspective d'observation de ce type, la logique des prédicats ne peut que fortifier le raisonnement du dentiste et, en même temps, renforcer l'idée que le dentiste ne peut pas se contenter d'être le seul à avoir une idée. <u>principe du tiers exclu</u>: le principe est renforcé par la compatibilité des assertions supplémentaires <math>(\delta_1,\delta_2,.....\delta_n \ )</math> qui confèrent au dentiste une cohérence totale dans le diagnostic et dans la confirmation de la sentence. <math>\Im</math>: La pauvre Mary Poppins a un DTM, ou elle n'en a pas.. | Dans une perspective d'observation de ce type, la logique des prédicats ne peut que fortifier le raisonnement du dentiste et, en même temps, renforcer l'idée que le dentiste ne peut pas se contenter d'être le seul à avoir une idée. <u>principe du tiers exclu</u>: le principe est renforcé par la compatibilité des assertions supplémentaires <math>(\delta_1,\delta_2,.....\delta_n \ )</math> qui confèrent au dentiste une cohérence totale dans le diagnostic et dans la confirmation de la sentence. <math>\Im</math>: La pauvre Mary Poppins a un DTM, ou elle n'en a pas.. |