Name (PRINTED):
Student ID #:
Section # (or TA's:
name and time)

CMSC 250	Quiz #5	Wed., Sept. 28, 2005
(0201 & 0202)

Write all answers legibly in the space provided. The number of points possible for each question is indicated in square brackets - the total number of points on the quiz is 30, and you will have exactly 15 minutes to complete this quiz. You may not use calculators, textbooks or any other aids during this quiz.

1. [6 pnts.] Use an Euler diagram to determine if each of the following represents a valid argument. Make sure to label the parts of the diagram.

   All dolphins swim in the ocean.	Some dolphins give kisses.
   Flipper swims in the ocean.	Some dolphins leap high in the air.
   -----	-----
   therefore: Flipper is a dolphin.	therefore: Some dolphins can do both tricks.
   Circle One: Valid Invalid	Circle One: Valid Invalid

2. [10 pnts.] For each of the following, translate the argument to symbolic notation using quantification. The quantification must indicate that the objects come from the domain ``U'' which includes all things. Then tell if the argument given matches the form: Universal Modus Ponens, Universal Modus Tollens, or NONE (if it matches neither). You must use a universal quantifier if at all possible since that is the only way it could directly match one of these argument forms.

   Premises:	Freddie (my dog) is wagging his tail.
   	All things that wag their tails are happy.
   	------------	---------
   Conclusion:	Freddie is happy.
   Argument Form:
   Premises:	No dogs like George.
   	Freddie likes George.
   	------------	---------
   Conclusion:	Freddie is not a dog.
   Argument Form:

   $\downarrow$ TURN OVER $\downarrow$
3. [14 pnts.] For each of the following prove that it is a Valid Argument by telling what rules would need to be applied. You may assume $a$ is an element in D.

   1. P1	$\forall x \in D, B(x) \vee A(x)$
      P2	$\forall x \in D, B(x) \rightarrow A(x)$
      P3	$\exists x \in D, \sim B(x) \vee \sim C(x)$
      	$--------------$
      	therefore $\forall x \in D, A(x)$

      Line #	Logical Statement	Name of Rule	Line Numbers Used
      1
      2
      3
      4
      5
      6
      7
      8

   2. P1	$\forall x \in D, B(x) \rightarrow \sim L(x)$
      P2	$\forall x \in D, C(x) \rightarrow \sim D(x)$
      P3	$\forall x \in D, \sim L(x) \rightarrow D(x)$
      	$--------------$
      	therefore $\forall x \in D, B(x) \rightarrow \sim C(x)$

      Line #	Logical Statement	Name of Rule	Line Numbers Used
      1
      2
      3
      4
      5
      6
      7
      8

Web Accessibility