From 3ebec662ae9a50259764ec5298d419e10ffa9a6a Mon Sep 17 00:00:00 2001 From: "Jeremy G. Siek" Date: Tue, 15 Oct 2024 10:05:50 -0400 Subject: [PATCH] update index too --- index.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/index.md b/index.md index b1e9595..3928f95 100644 --- a/index.md +++ b/index.md @@ -141,9 +141,9 @@ A Deduce file contains a list of **statements**. Each statement can be one of 6. [Print](./Reference.md#Print-Statement) In Deduce, one must give a reason for why a theorem is true, and the -reason is given by a **proof**. Proofs are typically formed of smaller -proofs that are put together using the many ways that Deduce provides -for combining proofs. +reason is given by a **proof**. Proofs are constructed using the rules +of logic together with ways to organize proofs by working backwards +from the goal, or forwards from the assumptions. Both logical formulas and program expressions are represented in Deduce by **terms**. For example, `if P then Q` is a logical formula