| Line 35: | Line 35: | ||
is not. | is not. | ||
| − | + | DEF A truth table is a list of all possible combinations of truth values for a collection of objects. | |
| + | |||
| + | DEF | ||
| + | |||
| + | '''Contributors notes''' | ||
| + | |||
| + | 20090122? 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.) | ||
| + | |||
| + | 20090205 Well I can insert math symbols, though displaying insecure items on my machine is not so easy. Now I need to veer away from propositional calculus and move on to set theory I mean graph theory I mean latices..., did I tell you I went to school (and the occasional math contest?) with Arthur Rubin? He wasn't there much, but it seems he didn't need to be. He could type 90 wpm (but probably not when inserting LaTex symbols :) I do know he was admitted directly to Cal Tech graduate school after his high school graduation. And after looking at Wikipedia I guess he took five years to get his Ph.D.. | ||
Revision as of 15:01, 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 The logical connective "and", denoted "$ \wedge $", 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.
DEF A truth table is a list of all possible combinations of truth values for a collection of objects.
DEF
Contributors notes
20090122? 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.)
20090205 Well I can insert math symbols, though displaying insecure items on my machine is not so easy. Now I need to veer away from propositional calculus and move on to set theory I mean graph theory I mean latices..., did I tell you I went to school (and the occasional math contest?) with Arthur Rubin? He wasn't there much, but it seems he didn't need to be. He could type 90 wpm (but probably not when inserting LaTex symbols :) I do know he was admitted directly to Cal Tech graduate school after his high school graduation. And after looking at Wikipedia I guess he took five years to get his Ph.D..
