Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, push-subscription-manager, Suppressors, Administrators, translator, widgeteditor
17,894
edits
Changes
The logic of classical language/it (view source)
Revision as of 03:53, 27 October 2021
, 3 years agoCreated page with "e"
#A set of sentences <math>\Im</math>, e a number <math>n\geq1</math> of other phrases or statements <math>(\delta_1,\delta_2,.....\delta_n \ )</math> are logically compatible if, and only if, the union between them <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> is coherent.
#A set of sentences <math>\Im</math>, e a number <math>n\geq1</math> of other phrases or statements <math>(\delta_1,\delta_2,.....\delta_n \ )</math> are logically compatible if, and only if, the union between them <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> is coherent.
#A set of sentences <math>\Im</math>, and a number <math>n\geq1</math> of other phrases or statements <math>(\delta_1,\delta_2,.....\delta_n \ )</math> are logically incompatible if, and only if, the union between them <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> is incoherent.
#A set of sentences <math>\Im</math>, e a number <math>n\geq1</math> of other phrases or statements <math>(\delta_1,\delta_2,.....\delta_n \ )</math> are logically incompatible if, and only if, the union between them <math>\Im\cup\{\delta_1,\delta_2.....\delta_n\}</math> is incoherent.
Let us try to follow this reasoning with practical examples:
Let us try to follow this reasoning with practical examples: