Merge branch 'pryor'
[lambda.git] / damn.mdwn
index 6913c28..9896c58 100644 (file)
--- a/damn.mdwn
+++ b/damn.mdwn
@@ -1,10 +1,10 @@
-1. Sentences have truth conditions.
+1.     Sentences have truth conditions.
 
-2. If "John read the book" is true, then
-   John read something,
-   Someone read the book,
-   John did something to the book, 
-   etc.
+2.     If "John read the book" is true, then it follows that:
+       John read something,  
+       Someone read the book,  
+       John did something to the book,  
+       etc.
 
 3. If "John read the damn book",
    all the same entailments follow.