This technique pretty much describes the rule of replacement in formal propositional logic called EXPORTATION.
i.e., [p --> (q --> r)] is logically equivalent to [(p AND q) --> r]
In other words, the "domain" is p. The given statement is, "if p, then q if r." In the "domain" of p, the statement can be simplified to "q if r." In other words, [p --> (q --> r)]. Re-stating this conditional statement WITHOUT "kicking it up to the domain" would yield: "if p AND q, then r," or, in other words, "[(p AND q) --> r]."
1
Topics
PT Questions
Select Preptest
You've discovered a premium feature!
Subscribe to unlock everything that 7Sage has to offer.
Hold on there, stranger! You need a free account for that.
We love that you want to get going. Just create a free account below—it only takes a minute—and then you can continue!
Hold on there, stranger! You need a free account for that.
We love that you came here to read all the amazing posts from our 300,000+ members. They all have accounts too! Just create a free account below—it only takes a minute—and then you’re free to discuss anything!
Hold on there, stranger! You need a free account for that.
We love that you want to give us feedback! Just create a free account below—it only takes a minute—and then you’re free to vote on this!
Hold on there, you need to slow down.
We love that you want post in our discussion forum! Just come back in a bit to post again!
Subscribers can learn all the LSAT secrets.
Happens all the time: now that you've had a taste of the lessons, you just can't stop -- and you don't have to! Click the button.
This technique pretty much describes the rule of replacement in formal propositional logic called EXPORTATION.
i.e., [p --> (q --> r)] is logically equivalent to [(p AND q) --> r]
In other words, the "domain" is p. The given statement is, "if p, then q if r." In the "domain" of p, the statement can be simplified to "q if r." In other words, [p --> (q --> r)]. Re-stating this conditional statement WITHOUT "kicking it up to the domain" would yield: "if p AND q, then r," or, in other words, "[(p AND q) --> r]."