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
(66)

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
(69)

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
(65)

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

(Essay)
4.8/5
(77)

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)
5.0/5
(67)

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

(Essay)
4.7/5
(74)

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

(Short Answer)
4.7/5
(77)

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 y. F ( 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
(66)

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

(Essay)
5.0/5
(82)

Prove or disprove: For all real numbers XX and y,⌊x−y⌋=⌊x⌋−⌊y⌋y , \quad \lfloor x - y\rfloor = \lfloor x\rfloor - \lfloor y\rfloor

(Short Answer)
4.9/5
(84)

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
(82)

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

(Short Answer)
4.9/5
(78)

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

(Essay)
4.9/5
(91)

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

(Short Answer)
4.9/5
(68)

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

(Essay)
4.9/5
(56)

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
(78)

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

(Short Answer)
4.9/5
(72)

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
(86)

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

(Short Answer)
4.8/5
(66)

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

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

Filters

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