If \(F \vdash_K G\) in a calculus \(K\), one could extend the calculus by the new derivation \(F \rightarrow G\).
Note 1: ETH::DiskMat
Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID:
modified
Note Type: Horvath Cloze
GUID:
Ey9Sz2Kp7Q
Before
Front
Back
If \(F \vdash_K G\) in a calculus \(K\), one could extend the calculus by the new derivation \(F \rightarrow G\).
After
Front
If \(F \vdash_K G\) in a calculus \(K\), one could extend the calculus by the new derivation \(\emptyset \vdash F \rightarrow G\).
Back
If \(F \vdash_K G\) in a calculus \(K\), one could extend the calculus by the new derivation \(\emptyset \vdash F \rightarrow G\).
Field-by-field Comparison
| Field | Before | After |
|---|---|---|
| Text | If \(F \vdash_K G\) in a calculus \(K\), one could {{c1::<i>extend the calculus</i> by the new derivation \(F \rightarrow G\)}}. | If \(F \vdash_K G\) in a calculus \(K\), one could {{c1::<i>extend the calculus</i> by the new derivation \(\emptyset \vdash F \rightarrow G\)}}. |