Multiple-conclusion logic
From Wikipedia, the free encyclopedia
A multiple-conclusion logic is one in which logical consequence is a relation, 
, between two sets of sentences (or propositions). 
is typically interpreted as meaning that whenever each element of Γ is true, some element of Δ is true; and whenever each element of Δ is false, some element of Γ is false.
Some logicians favor a multiple-conclusion consequence relation over the more traditional single-conclusion relation on the grounds that the latter is asymmetric (in the informal, non-mathematical sense) and favors truth over falsity (or assertion over denial).
[edit] See also
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
