theorem (redirected from Logical theorem)

the·o·rem (thr-m, thîrm)

n.

1. An idea that is demonstrably true or is assumed to be so.

2. A mathematical proposition that has been or is to be proved on the basis of explicit assumptions.

---

theorem (thē´rm),

n 1. a proposition to be proved by a chain of reasoning and analysis.
2. a proven proposition used in the solution of a more advanced problem.