Question

(6) Use the laws of propositional logic to prove the following: p ? (¬p ? q) ? p (7) Use the laws of propositional logic to prove that the statement is a tautology. ¬r ? (r ? p) (8) Translate to our formal language. Say whether the original statement is true or false. The square of every real number is at least 0. (9) Write the negation. ?x?y P(x,y) ? ?x?y Q(x,y) (10) Translate to formal language: The reciprocal of every positive real number is positive.

          (6) Use the laws of propositional logic to prove the following:

    p ? (¬p ? q) ? p

(7) Use the laws of propositional logic to prove that the statement is a tautology.

    ¬r ? (r ? p)

(8) Translate to our formal language. Say whether the original statement is true or false.

    The square of every real number is at least 0.

(9) Write the negation.

    ?x?y P(x,y) ? ?x?y Q(x,y)

(10) Translate to formal language:

    The reciprocal of every positive real number is positive.

(6) Use the laws of propositional logic to prove the following:

p ? (¬p ? q) ? p

(7) Use the laws of propositional logic to prove that the statement is a tautology.

¬r ? (r ? p)

(8) Translate to our formal language. Say whether the original statement is true or false.

The square of every real number is at least 0.

(9) Write the negation.

?x?y P(x,y) ? ?x?y Q(x,y)

(10) Translate to formal language:

The reciprocal of every positive real number is positive.

Added by Matthew W.

Calculus: Early Transcendentals

James Stewart 8th Edition

Instant Answer

Solved by Expert Adi S

Step 1

p âˆ§ (-p + 9) = p This is a bit confusing as it seems to mix mathematical and logical notation. If we interpret "âˆ§" as logical AND, "-" as logical NOT, and "+" as logical OR, then the statement is equivalent to p AND (NOT p OR 9). However, 9 is not a logical Show more…

Show all steps