Multiple-conclusion logic
From The Art and Popular Culture Encyclopedia
|
Related e |
|
Featured: |
A multiple-conclusion logic is one in which logical consequence is a relation, <math>\vdash</math>, between two sets of sentences (or propositions). <math>\Gamma \vdash \Delta</math> is typically interpreted as meaning that whenever each element of <math>\Gamma</math> is true, some element of <math>\Delta</math> is true; and whenever each element of <math>\Delta</math> is false, some element of <math>\Gamma</math> is false.
[edit]
See also
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Multiple-conclusion logic" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.
