Philosophy Forums
Forums Links Articles Gallery Chat
Style:


Calendar Quick Links open HelpRegister
Philosophy Forums » Logic and Philosophy of Math » Logic Homework » 'Logic Homework' Forum Guidelines » 'Logic Homework' Forum Guidelines

'Logic Homework' Forum Guidelines

printPrint
locked


'Logic Homework' Forum Guidelines
AKG
Tenured Poster

Usergroup: Members
Joined: Jan 15, 2004
Location: Berkeley, CA
Total Topics: 87
Total Posts: 3327
Posted 01/05/06 - 11:37 PM:
Subject: 'Logic Homework' Forum Guidelines 		quote post
#1
Why this forum is here
Logic homework is generally the type of homework which you might expect to get in a philosophy class. This is why logic homework has a place on these boards, as opposed to math or science homework, for example. However, whereas most philosophy homework is the type of thing that you can have a philosophical discussion about (and you can get help on your homework simply through philosophical discussion), the same is not true for logic homework, so we've created a separate subforum for it. The "Logic and Philosophy of Math" forum is for philosophical discussion.

When posting homework
State the problem clearly, and explain things that may not be immediately obvious. It's easiest to get homework help when people aren't left to guess what you're asking. Also, make your own efforts to solve the problem, and show whatever work you have so far. Use "LaTeX".

Also, if you are particularly asking about how to do a proof in propositional or predicate logic, clearly state what rules of inference and axioms you are allowed to use. Chances are, the derivation system you are using resembles one of the derivation systems given here. Even if it doesn't, rather than explaining the derivation rules that you're allowed to use, you might be able to just pick the ones listed in that link that your particular derivation system uses.

When helping
Try to think about what will best help the person learn. Sometimes, people need to see examples, and this means working out an actual problem. Sometimes, this means looking at the person's work, looking at where he or she got stuck, and suggesting a hint to help the person proceed. Again, use "LaTeX".

Using "LaTeX"
I've put "LaTeX" in quotes because it's not really LaTeX. Anyways, here are a number of codes and symbols you'll commonly use here:

∀ (forall)
∃ (exists)
→ (rightarrow)
⇒ (Rightarrow)
↔ (leftrightarrow)
⇔ (Leftrightarrow)
≡ (equiv)
⊂ (subset)

So, if you want to write:

(∀X)(∃Y)(X⊂Y → Y⊂X) ≡ (∀X)(∃Y)(X=Y)

you would write:

(/forallX)(/existsY)(X/subsetY /rightarrow Y/subsetX) /equiv (/forallX)(/existsY)(X=Y)

replacing all the forward slashes with backslashes. For the full "LaTeX" guide, see this.



www.physicsforums.com
www.howwhatwhy.com">


Edited by AKG on 04/23/06 - 11:16 AM

_____________________
"The only reason we die... is because we accept it as an inevitability." -- Stewie

"To enslave nuance to dogma is folly." -- Lord Hillyer
Download thread as
locked


This thread is closed, so you cannot post a reply.

Contact the Administration

Powered by WSN Forum

16 total queries
This page was created in 0.78 seconds
Memory used: 6221656 bytes
Server Status: time since last reboot is 100 days, 2:21, load average: 0.60, 0.90, 0.93