Exam 1: A: the Foundations: Logic and Proofs

arrow
  • Select Tags
search iconSearch Question
  • Select Tags

Write the contrapositive, converse, and inverse of the following: If you try hard, then you will win.

(Essay)
4.8/5
(27)

P(x, y) means "x + 2y = xy," where x and y are integers. Determine the truth value of the statement. - yP(3,y)\exists y P ( 3 , y )

(True/False)
4.8/5
(33)

Determine whether the following argument is valid. Rainy days make gardens grow. Gardens don't grow if it is not hot. It always rains on a day that is not hot. Therefore, if it is not hot, then it is hot.

(Short Answer)
4.9/5
(33)

What is the negation of the propositions -Abby has more than 300 friends on Facebook.

(Essay)
4.8/5
(28)

P(m, n) means "m ≤ n," where the universe of discourse for m and n is the set of nonnegative integers. What is the truth value of the statement? - nP(0,n)\forall n P ( 0 , n )

(True/False)
4.9/5
(28)

Consider the following theorem: If x is an odd integer, then x+2 is odd. Give a direct proof of this theorem

(Essay)
4.8/5
(32)

use the conditional-disjunction equivalence to find an equivalent compound proposition that does not involve conditions. - p(pq)p \rightarrow ( p \wedge q )

(Short Answer)
4.8/5
(31)

suppose the variable x represents students and y represents courses, and: F(x):x is a freshman A(x):x is a part-time student T(x,y):x is taking yF ( x ) : x \text { is a freshman } \quad A ( x ) : x \text { is a part-time student } T ( x , y ) : x \text { is taking } y \text {. } Write the statement in good English without using variables in your answers. - x(A(x)¬F(x))\exists x ( A ( x ) \wedge \neg F ( x ) )

(Short Answer)
4.9/5
(30)

Consider the following theorem: If n is an even integer, then n + 1 is odd. Give a proof by contradiction of this theorem.

(Essay)
4.9/5
(33)

Prove or disprove: For all real numbers XX and y,xy=xyy , \quad \lfloor x - y\rfloor = \lfloor x\rfloor - \lfloor y\rfloor

(Short Answer)
4.9/5
(30)

Consider the following theorem: If x is an odd integer, then x + 2 is odd. Give a proof by contraposition of this theorem.

(Essay)
4.9/5
(35)

Determine whether the following two propositions are logically equivalent: p(qr),(pq)(pr)p \vee ( q \wedge r ) , ( p \wedge q ) \vee ( p \wedge r ) .

(Short Answer)
4.9/5
(40)

Prove that the equation 2x2+y22 x ^ { 2 } + y ^ { 2 } =14 has no positive integer solutions.

(Essay)
4.8/5
(41)

use the conditional-disjunction equivalence to find an equivalent compound proposition that does not involve conditions. - ¬pq\neg p \rightarrow q

(Short Answer)
4.9/5
(25)

What is the negation of the propositions -A messaging package for a cell phone costs less than $20 per month.

(Essay)
4.9/5
(24)

Determine whether this proposition is a tautology: ((p¬q)q)¬p( ( p \rightarrow \neg q ) \wedge q ) \rightarrow \neg p

(Short Answer)
4.9/5
(43)

write the statement in the form "If . . . , then . . . ." -A implies B.

(Short Answer)
4.8/5
(42)

suppose the variable x represents students, F(x) means "x is a freshman," and M(x) means "x is a math major." Match the statement in symbols with one of the English statements in this list: 1. Some freshmen are math majors. 2. Every math major is a freshman. 3. No math major is a freshman. - x(F(x)¬M(x))\forall x ( F ( x ) \rightarrow \neg M ( x ) )

(Short Answer)
4.8/5
(35)

Write a proposition equivalent to pqp \rightarrow q using only p,q,¬p , q , \neg , and the connective VV .

(Short Answer)
4.9/5
(27)

P(x, y) means "x + 2y = xy," where x and y are integers. Determine the truth value of the statement. - xyP(x,y)\forall x \exists y P ( x , y )

(True/False)
4.7/5
(29)
Showing 161 - 180 of 201
close modal

Filters

  • Essay(0)
  • Multiple Choice(0)
  • Short Answer(0)
  • True False(0)
  • Matching(0)