My Math Forum  

Go Back   My Math Forum > College Math Forum > Applied Math

Applied Math Applied Math Forum


Reply
 
LinkBack Thread Tools Display Modes
November 25th, 2013, 10:11 AM   #1
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  
 
December 22nd, 2013, 02:09 PM   #2
Senior Member
 
Joined: Dec 2013
From: Russia

Posts: 327
Thanks: 108

Re: Symbolic logic, SD rules, sub-derivation question

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.
Evgeny.Makarov is offline  
Reply

  My Math Forum > College Math Forum > Applied Math

Tags
logic, question, rules, subderivation, symbolic



Search tags for this page
Click on a term to search for related topics.
Thread Tools
Display Modes


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





Copyright © 2017 My Math Forum. All rights reserved.