Symbolic logic, SD rules, sub-derivation question

cag805 · November 25th, 2013, 10:11 AM

Say you are working in sub-derivation A and have created another sub-derivation within it called B.

Is it valid, when working within sub-derivation B, to cite items from sub-derivation A?

Here is the problem in question (from my homework, lines 11 and 13):

http://i3.minus.com/jbuXxroZfpARj3.jpg

Evgeny.Makarov · December 22nd, 2013, 02:09 PM

Quote:

Originally Posted by cag805

Say you are working in sub-derivation A and have created another sub-derivation within it called B.

Is it valid, when working within sub-derivation B, to cite items from sub-derivation A?

Yes, this is allowed.

November 25th, 2013, 10:11 AM	#1
cag805 Newbie Joined: Nov 2013 Posts: 1 Thanks: 0	Symbolic logic, SD rules, sub-derivation question Say you are working in sub-derivation A and have created another sub-derivation within it called B. Is it valid, when working within sub-derivation B, to cite items from sub-derivation A? Here is the problem in question (from my homework, lines 11 and 13): http://i3.minus.com/jbuXxroZfpARj3.jpg
$cag805 is offline$

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

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
Symbolic logic	jojoluvsu2	Applied Math	4	August 8th, 2012 03:57 AM
basic logic rules	gbux	Applied Math	0	February 28th, 2012 06:45 PM
derivation trees question	lamhmh	Applied Math	1	July 28th, 2011 02:12 AM
Propositional/Symbolic Logic help please	ElMarsh	Applied Math	27	April 9th, 2009 05:46 AM
TRIG DERIVATION QUESTION!!	dagitt	Algebra	1	June 2nd, 2008 02:31 PM

symbolic logic derivations help please

logic sub derivation problem

rules of sd lo

symbolic logic sd

logical derivation questions

logic derivetion questions

derivation question in logic