| theorem |
A wff that is proved or provable. Axioms are special cases of theorems. Notation: A (A is a theorem); or S A (A is a theorem in system S). See antitheorem; proof.
출처: www.earlham.edu/~peters/courses/logsys/glossary.ht...
|
|---|---|
| theorem |
A theorem is a statement which has been proved to be true.
출처: ddi.cs.uni-potsdam.de/Lehre/TuringLectures/MathNot...
|
| theorem |
A proposition that can be deduced from the premises of a system.
출처: www.theology.edu/theology/glossary.htm
|
| theorem |
is a proposition deduced from an axiom. (Study 3)
출처: www2.sjsu.edu/logic/glossary.htm
|