| Line 23: | Line 23: | ||
DEF A letter is an object that is assigned a truth value. | DEF A letter is an object that is assigned a truth value. | ||
| + | |||
| + | DEF A logical connective stands between two letters, joining them into a statement. It can also join a letter with a statement, or two statements, into a compound statement. | ||
| + | |||
| + | DEF The logical connective "or", denoted "<math>\vee</math>", assigns the truth value T to the statement it creates whenever either of the objects it stands between has a truth value of T. | ||
DEF A [[proposition]] is a statement that can be assigned a single truth value. | DEF A [[proposition]] is a statement that can be assigned a single truth value. | ||
Revision as of 14:46, 5 February 2009
Adding pages
If you want to add a new page for a definition, remember to put it in double square brackets like this: [[Truth Values]] (it will look like this Truth Values). Then hit submit, and if it says the page doesn't exist, you can add text to explain the concept.
Note that you should still add the category (in this case [[Category:MA375Spring2009Walther]]) to the new page. If you think the page would apply to the class in general (for example, any MA375 class), add [[Category:MA375]] on the next line.
Introduction
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 are confined to true "T", and false "F".
DEF A letter is an object that is assigned a truth value.
DEF A logical connective stands between two letters, joining them into a statement. It can also join a letter with a statement, or two statements, into a compound statement.
DEF The logical connective "or", denoted "$ \vee $", assigns the truth value T to the statement it creates whenever either of the objects it stands between has a truth value of T.
DEF A proposition is a statement that can be assigned a single truth value.
DEF A proposition's negation is assigned the truth value the proposition is not.
(temporary note) I am stopping here for now, as the next operation involves learning a new skill: that of inserting math symbols into the text. I am already happy enough that this worked, as my previous experience with wikis stops at editing Wikipedia toward Standard American English. I have never before created a page (and actually I did not create this one from whole cloth, but started with a given template.)
