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):