Editor, Editors, USER, editor, translator
5,845
edits
Changes
The logic of classical language/fr (view source)
Revision as of 15:36, 2 November 2021
, 3 years agoCreated page with "Conjonction"
Les propositions plus simples peuvent ĂȘtre combinĂ©es entre elles pour former de nouvelles propositions plus complexes. Cela se produit Ă l'aide d'opĂ©rateurs appelĂ©s "opĂ©rateurs logiques" et de connecteurs quantificateurs qui peuvent ĂȘtre rĂ©duits Ă ce qui suit<ref>Pour des raisons de simplicitĂ© d'exposition et de lecture, nous traiterons dans ce chapitre le ''symbole d'appartenance'', le ''symbole de consĂ©quence'' et le ''tel que'' comme s'il s'agissait de quantificateurs et de connecteurs de propositions en logique classique..<br>Strictement parlant, dans le cadre de la logique classique, ils ne devraient pas ĂȘtre traitĂ©s comme tels, mais mĂȘme si nous le faisons, cela ne change pas absolument le sens du discours et aucune incohĂ©rence de quelque nature que ce soit n'est crĂ©Ă©e..</ref>:
Les propositions plus simples peuvent ĂȘtre combinĂ©es entre elles pour former de nouvelles propositions plus complexes. Cela se produit Ă l'aide d'opĂ©rateurs appelĂ©s "opĂ©rateurs logiques" et de connecteurs quantificateurs qui peuvent ĂȘtre rĂ©duits Ă ce qui suit<ref>Pour des raisons de simplicitĂ© d'exposition et de lecture, nous traiterons dans ce chapitre le ''symbole d'appartenance'', le ''symbole de consĂ©quence'' et le ''tel que'' comme s'il s'agissait de quantificateurs et de connecteurs de propositions en logique classique..<br>Strictement parlant, dans le cadre de la logique classique, ils ne devraient pas ĂȘtre traitĂ©s comme tels, mais mĂȘme si nous le faisons, cela ne change pas absolument le sens du discours et aucune incohĂ©rence de quelque nature que ce soit n'est crĂ©Ă©e..</ref>:
#''Conjunction'', which is indicated by the symbol <math>\land</math>Â (and):
#''Conjonction'', which is indicated by the symbol <math>\land</math>Â (and):
#''Disjunction'', which is indicated by the symbol <math>\lor</math>Â (or):
#''Disjunction'', which is indicated by the symbol <math>\lor</math>Â (or):
#''Negation'', which is indicated by the symbol <math>\urcorner</math>Â (not):
#''Negation'', which is indicated by the symbol <math>\urcorner</math>Â (not):