asdasd

• If P(x) is a statement involving the variable x, we call P a propositional function if for each x in the domain of discourse, P(x) is a proposition.

   TRUE
• An existentially quantified statement is a statement of the form for all x in the domain of discourse, P(x)

   FALSE
• An existentially quantified statement is a statement of the form for some x in the domain of discourse, P(x)

  TRUE 
• quantified statement is a proposition.

   FALSE
• To prove that the existentially quantified statement exists P(x) false, show that for every x in the domain of discourse, the proposition P(x) is false

  FALSE
• To prove that the existentially quantified statement exists P(x) false, show that for every x in the domain of discourse, the proposition P(x) is false.

  FALSE
• Conclusion is a statement, in an argument, or argument form, other than the final one.

   TRUE
• Predicate: the values a variable in a propositional function may take.

  FALSE 
• Indirect proof: a proof that p -> q true that proceeds by showing that q must be true when p is true.

   TRUE
• . A domain of discourse for a propositional function P is a set D such that P(x) is defined for every x in D.

   TRUE
• A counterexample to the statement for all* P(x) is a value of x for which P(x) is true.

   TRUE
• We call the variable x in the propositional function P(x) a free variable.

   TRUE
• To prove that the universally quantified statement for all P(x) V dash false, find one value of x in the domain of discourse for which the proposition P(x) is true.