For those of you who like definitions and theorems more than homework
I dedicate this page to you. I intend to get them all with our math brick
- I mean book - as a guide before semester's end.
You see, I will not be able to use the copyrighted material exactly
from the book, so I (and you if you join me) will have to rewrite, and/or
go do research for other versions of this material in the public domain.
Most of this mathematics will have been extant for some time, so that
should not be overly difficult. Let us begin!
Chapter 1
DEF Truth values will be confined to true "T", and false "F".
DEF A proposition is a statement that can be assigned a single truth value.
DEF A proposition's negation is assigned whatever truth value the proposition was not.
