A deduction from a set is a sequence of well-formed formulas with each element being justified as a tautology or the result of a rule of inference. A deduction from the empty set is a proof.
| Identifier (URI) | Rank |
|---|---|
| dbkwik:resource/fwTiFaBLOuVMjHrzYTxweA== | 5.88129e-14 |
| dbr:Natural_deduction | 5.88129e-14 |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
