@cooper phil,
cooper wrote:Can someone help me with this? I am to derive the conclusions of the following arguments, using any of the 19 rules:
1. (A & U) < > ~R
2. ~(~R v ~A) / ~U
3.--R & --A ( 2) De M
4.R & A (3) DN
5.R (4) Simp.
And I am stuck from here... can't get to -U
So you need the conclusion -U right?
Well, it seems like looking at 1 and 5 gives ~U: ~(A&U) (1,5 i think thats by M.T.) thus (~Av~U) by De M. But A is true by (4) so you have a false proposition with another one, thus the other is true by disjunctive syllogism thus ~U.
cooper wrote:
And the second one:
[INDENT]1. (B > G) & (F > N)
2. ~(G & N) / ~(B & F)
[/INDENT]
Ill leave this one up to you, I hope the above helps by example.
Stumble It!
Tweet This
Bookmark on Delicious
Share on Facebook
Share on MySpace