Theorem Proof (SD) - Physics Forums: Physics, Astronomy, Math, & Philosophy Forums!

Physics, Astronomy, Math, and Philosophy Forums.
Ahoy! Sail on by The Jolly Roger Great Books and Kill Devil Hill Great Books Forums

		Physics Forums: Physics, Astronomy, Math, & Philosophy Forums! > Logic
Theorem Proof (SD)

Thread Tools

Display Modes

11-13-2008, 06:27 PM

thefuturism thefuturism is offline

Junior Member

Join Date: Nov 2008

Posts: 1

Theorem Proof (SD)

Hello, I just had a little question I needed clarification on.

I'm trying to prove a theorem, but I am stuck having to prove that " A " and " ~~A " are equivalent. Am I allowed to use " ~~~A " against " A " as a direct contradiction in my negation elimination ( ~E )? Or, is there a way (using only SD) to somehow convert " ~~A " into " A "?

Thanks!

« Previous Thread | Next Thread »

Thread Tools
Show Printable Version Email this Page
Display Modes
Switch to Linear Mode Switch to Hybrid Mode Threaded Mode

Posting Rules
You may not post new threads You may not post replies You may not post attachments You may not edit your posts vB code is On Smilies are On [IMG] code is On HTML code is Off

Forum Jump

All times are GMT. The time now is 08:46 AM.