Logic test

Provide a brief statement about the Venn
Diagram that indicates what in the diagram shows invalidity or validity. If the categorical syllogism is
invalid explain which of our text’s rules of validity the categorical syllogism violates.

  1. No red kings are red queens, for no red queens are knaves, and no red kings are knaves.
  2. Since no red kings are queens of hearts, and some queens of hearts are playing cards, it follows that
    some playing cards are red kings.
  3. Since some coins desired by coin collectors are circulating coins, and no coin coveted by a coin
    collector is common, we may conclude that a few rare coins are found is circulation.
  4. Anyone who should be invited to a pun festival enjoys playing with language, but no one who writes
    logic problems should be invited to a pun festival, so no one who enjoys playing with language writes
    logic problems.
  5. Since every argument of the mood and figure AAA-1 is valid, this argument is valid.
    Propositional Logic Translation Questions 6-9: (5 marks each) Translate the following statements into
    symbolic form using the text symbols for truth functional connectives, and upper case letters to represent
    affirmative ordinary language statements. Clearly indicate the simple statements you are symbolizing and
    the symbol you are using to symbolize them.
  6. The bank will not be robbed unless security is lax.
  7. Two and two equal four.
  8. Wilma will finish her book and make her publisher happy only if she is allowed time to work.
  9. Time has neither a beginning nor an end if time is not finite and not circular.
  10. Construct a truth table for the following statement. Indicate whether the statement is a tautology, a
    contradiction, or a contingent statement. Do not use any shortcuts in the table. After completing your truth
    table explain how it indicates your answer. (10 marks)
    [A v (A º ~B)] º ( ~B É A)
  11. Construct a truth table to determine whether the following pair of statements are logically equivalent.
    Do not use any shortcuts in the table. After completing your truth table explain how it indicates your
    answer. (10 marks)
    ~ (A • B) v ~ (B v C)
    (~ A v ~ B) v (~ B • ~ C)
  12. Construct a truth table to determine whether the following argument is valid or invalid. Do not use
    any shortcuts in your truth table. After completing your truth table explain how it indicates your answer.
    (10 marks)
    1) ~ (A • B)
    2) ~ ( ~ B v C)
    ~ A
    Propositional Logic Proof Questions 13-15: (10 marks each) Provide a formal proof of validity of the
    following arguments. You may use CP, or IP, in addition to any of the 18 rules of inference.
    13.
    1) ~ (A É B)
    2) C É B
    3) ~ A v D / D • ~ C
    14.
    1) [ (G • E) • B] v ( ~ G É ~ B)
    2) G É E
    3) E É B / G º B
    15.
    1) B º [ (L • P) v W]
    2) ~L É W
    3) ~ (P • B) • ~ ( ~ P • ~ B) / ~P
  13. Symbolize the following argument, using symbolized statements and the relevant truth–functional
    connectives. Indicate the upper case letters you use to symbolize ordinary language simple statements.
    Determine whether the argument is valid or invalid. In order to do that, you may construct a complete
    truth table, use the indirect method, or construct a formal proof of validity. (10 marks)
    Taylor is lonely, and she will either find a mate or remain single.
    If Taylor does not remain single, then she will become a mother.
    If Taylor is lonely if and only if she remains single, then Taylor will not remain single.
    Therefore, Taylor will become a mother.
    Predicate Logic Translation Questions 17 – 20: (5 marks each 20 marks total) Translate the
    following ordinary language statements into predicate logic symbolic form. You can use the predicate
    letters that are provided. Questions #19 – #20 are more advanced, please note the extra instructions for
    them.
  14. No coconuts are pink fruit. (C, P)
  15. Used cars are good if and only if they were well maintained and have low mileage. (U, G, M, L)
    Questions #19 – #20 are translations involving relational predicates, overlapping quantifiers, and
    identity. You can use the predicate letters provided.
  16. Every grandparent is the parent of a parent of someone. (Gx: x is a grandparent; Pxy: x is a parent
    of y)
  17. There is at least one famous custodian. (Fx: x is famous; Cx: x is a custodian)
    Predicate Logic Proof of Validity Questions 21-23: (10 marks each) The following 3 arguments are
    valid. Provide a proof of validity for each argument. You can use the 18 rules of inference, CP, IP, the
    rules for introducing and removing quantifiers and the Change of Quantifier rules. Questions #22 and #23
    are more challenging. They involve relational predicates, overlapping quantifiers, and identity.
    21.
  18. (x) [Wx É (Xx É Yx)]
  19. ($x) [Xx • (Zx • ~ Ax)]
  20. (x) [(Wx É Yx) É (Bx É Ax)] / ($x) ( Zx • ~Bx)
    22.
  21. (x) (y) (Fxy É ~Fyx)
  22. Fba / Fba
    23.
  23. (Fb • Gab) • (x) [(Fx • Gax) É x=b]
  24. ($ x) [(Fx • Gax) • Hx] / Hb
    Proving Invalidity Question 24: (10 marks) The following argument is invalid. Show it to be invalid
    using the finite universe method.
    24.
  25. (x) (Hx É Mx)
  26. ($x) (Mx• Bx) / ($x) (Hx • Bx)

This question has been answered.

Get Answer