0% found this document useful (0 votes)
144 views2 pages

Practice Test 1 Revised

The document is about logic and arguments. It begins by asking the reader to consider an argument presented in the passage and determine if it is valid, sound, and to briefly explain. It then asks the reader to determine if several statements are in official notation or informal notation. It continues by asking the reader to briefly explain if a sound argument can become invalid or unsound by adding more premises. It concludes by asking the reader to symbolize several statements and provide an English sentence for a symbolic statement using the abbreviations provided.

Uploaded by

alicenuoli
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
144 views2 pages

Practice Test 1 Revised

The document is about logic and arguments. It begins by asking the reader to consider an argument presented in the passage and determine if it is valid, sound, and to briefly explain. It then asks the reader to determine if several statements are in official notation or informal notation. It continues by asking the reader to briefly explain if a sound argument can become invalid or unsound by adding more premises. It concludes by asking the reader to symbolize several statements and provide an English sentence for a symbolic statement using the abbreviations provided.

Uploaded by

alicenuoli
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

Page 1 of 2

1. Consider the following argument:



In my logic class, I learned that some deductively valid arguments are not sound.
This led me to see that its possible for deductively valid arguments to have false
conclusions, since any argument that is not sound will have a false conclusion.

a) Extract the argument from this passage and put it in standard form.

b) Is the argument valid?

c) Is it sound?

Briefly explain:



2. Are the following in official notation; informal notation or not well-formed (circle correct answer).
If well-formed, indicate the main connective (circle, use an arrow, etc.)
If not well-formed, indicate the problem (circle, use an arrow, etc.)

a) (P (R ~~~S Z)) P Q Official
Informal
Not well-formed

b) ~(~(~P Q) ~ ( ~(R S))) Official
Informal
Not well-formed


3. Can a deductively sound argument be made invalid by adding more premises? Can it be made
unsound by adding more premises? Briefly explain.



P: John wins the poker hand. S: Sara wins the poker hand. W: Sara gets a straight flush.
Q: John has two queens. T: Tom wins the poker hand. X: Tom gets a straight flush.
R: John gets a full house U: John has three tens. Y: John gets a straight flush.

4. Using the abbreviation scheme above, symbolize the following:

a ) Only provided that Tom doesnt get a straight flush, will John win the poker hand if he gets a full
house.


b) Neither Sara nor Tom wins the poker hand unless John fails to get a full house, in which case Sara
will win.

c) Johns having two queens and three tens is sufficient for him to get a full house, but in order for
him to win the poker hand it is necessary that he get a straight flush.

d) No more than two of them (John, Sara and Tom) get a straight flush.


5. Using the abbreviation scheme above, provide an idiomatic English sentence for the following:

(W X Y) ~((W X) (X Y) (Y W)) ((S T) ~(S T))






6. Show that the following argument is valid using ONLY the 10 basic rules:
MP, MT, DN, R, ADJ, S, ADD, MTP, BC, CB

(W V) (X P). T ~Q W. (VW) Z. P Q. Q ~ R. R T.
Z

7. Show that the following theorem is valid using ONLY the 10 basic rules:
MP, MT, DN, R, ADJ, S, ADD, MTP, BC, CB


(~P (Q T)) [((Q R) ~ (P R)) (S T)]

8. Provide a derivation to show that the following is a valid argument. Use any of the rules.

~(Z Q). ~(Z P) ~(W X). ~(R ~X). ~W ~R. ~(P Q) S

You might also like