Skip to content

Logical symbols

May 10, 2007 pm31 3:24 pm

I finally got to the math-y part of my logic elective. On the first day we symbolized simple English language statements, and learned about “not,” “or,” “and,” “if… then… ,” and logical equivalence. But there are so many symbols floating around for those five items! I could have stuck with those in my text book (Hurley). Or I could have used the “standard” New York State symbols (ideosyncratic and non-standard, I believe).  Are there best symbols for those 5?

Later today or tomorrow I will put up a (prettified) version of the table I put on the board:  it included multiple symbols, and the corresponding symbols from arithmetic or set theory, as appropriate.

(This table is actually an image that comes from a site promoting totally new notation (the far right column). It’s an interesting link to follow.)

7 Comments leave one →
  1. May 10, 2007 pm31 6:49 pm 6:49 pm

    So where is the link? I would like to follow it. My homeschool co-op has asked about having a logic class, so I’m looking for ideas and resources.

  2. May 10, 2007 pm31 8:44 pm 8:44 pm

    Oops, left it out. Now if you click the image, it brings you to their site.

  3. May 10, 2007 pm31 10:34 pm 10:34 pm

    Thanks!

  4. May 12, 2007 pm31 11:42 pm 11:42 pm

    Hey you wanna be a total pal and outline (as briefly as you need to) how you handle a logic unit? It’s the end of the year and I’ve been kind of bouncing around between argument and vocabulary without an exit strategy. Any help would be great.

  5. May 13, 2007 am31 12:57 am 12:57 am

    Sure,

    I posted a bit here. Feel free to ask me to expand on any part of it that interests you. For individual topics I might have worksheets or outlines ready. Again, feel free to ask.

Trackbacks

  1. An expanded high school logic unit « JD2718
  2. Proof I: Language and Logic « Home Schooled

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: