Sequent
Conditional assertion that if all of the antecedent conditions are true, then at least one of the consequent formulas is true
In mathematical logic, a sequent is a very general kind of conditional assertion. A 1 , … , A m ⊢ B 1 , … , B n . {\displaystyle A_{1},\,\dots ,A_{m}\,\vdash \,B_{1},\,\dots ,B_{n}.} A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents").
Nº Q843632 ★
Common · Knowledge
Sequent
Conditional assertion that if all of the antecedent conditions are true, then at least one of the consequent formulas is true
In mathematical logic, a sequent is a very general kind of conditional assertion. A 1 , … , A m ⊢ B 1 , … , B n . {\displaystyle A_{1},\,\dots ,A_{m}\,\vdash \,B_{1},\,\dots ,B_{n}.} A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents").
Last price
—
Floor price
—
7-day median
—
30-day sales
0
30-day range
—
In circulation
0
Price history
median
low – high
sales
No sales in this period
Show table
| Date | median | Low | High | sales |
|---|
Sales history
- Last sale
- —
- 30-day average
- —
- 30-day low
- —
- 30-day high
- —
- Sales 7d
- 0
- Sales 30d
- 0
No sales yet.
Anonymous sales: no buyer or seller shown. Figures count player-to-player sales only.
From Wikipedia
In mathematical logic, a sequent is a very general kind of conditional assertion. A 1 , … , A m ⊢ B 1 , … , B n . {\displaystyle A_{1},\,\dots ,A_{m}\,\vdash \,B_{1},\,\dots ,B_{n}.} A sequent may have any number m of condition formulas Ai (called "antecedents") and any number n of asserted formulas Bj (called "succedents" or "consequents"). A sequent is understood to mean that if all of the antecedent conditions are true, then at least one of the consequent formulas is true. This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
Material conditional
Logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
Nº Q7881229 ★★★
Not listed
-
C
Consequent
Second component of a hypothetical proposition
Nº Q261155 ★
Not listed
-
Appeal to consequences
Argument
Nº Q777000 ★★
Not listed
-
N
Necessary condition
Condition that has to be fulfilled for another statement to hold
Nº Q23691284 ★
Not listed
-
S
Sufficient condition
Condition that guarantees that another statement holds
Nº Q18192682 ★★★
Not listed
-
W
Well-defined expression
(of an expression) whose definition assigns it a unique interpretation or value
Nº Q371730 ★★
Not listed