For each of the pairs of statements 1)-1v) below, do the appropriate one of the following: a) give an explanation why the two statements are logically equivalent; or b) give an explanation why one statement implies the other, and give a pair of predicates for p(x) and q(x) which shows that the two statements are not logically equivalent; or c) give two pairs of predicates for p(x) and g(x) which together show that neither state- ment implies the other. i) "-(p(x) and g(x))" and " p(x) and q(x)". ii) "(3x) (p(x) and g(x))" and "(3x) (p(x)) and (3 x) (g(x))". iii) (3x) (p(x) or q(x))" and "(Vx) (~p(x)) ⇒ (3x) (q(x))".

For each of the pairs of statements 1)-1v) below, do the appropriate one of the following: a) give an explanation why the two statements are logically equivalent; or b) give an explanation why one statement implies the other, and give a pair of predicates for p(x) and q(x) which shows that the two statements are not logically equivalent; or c) give two pairs of predicates for p(x) and g(x) which together show that neither state- ment implies the other. i) "-(p(x) and g(x))" and " p(x) and q(x)". ii) "(3x) (p(x) and g(x))" and "(3x) (p(x)) and (3 x) (g(x))". iii) (3x) (p(x) or q(x))" and "(Vx) (~p(x)) ⇒ (3x) (q(x))".

Database System Concepts

7th Edition

ISBN:9780078022159

Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Chapter1: Introduction

Section: Chapter Questions

Problem 1PE

See similar textbooks

Similar questions

The statement "Every yellow dog has fleas" together with the statement "Fido is a blue dog". Which of the following is TRUE about the given premises. a.)modus tollens b.)modus ponens c.)modus ponens does not apply d.)modus tollens does not apply
Problem 5 Consider the following three line argument: Some D are B. All C are D. Therefore, some D are A. Is the argument a categorical syllogism? (Q7) ? Is the argument in standard form for a categorical syllogism? (Q8) ?
c) Express each of these statements using quantifiers. Form the negation of each: (i) Some old dogs can learn new tricks. (ii) No rabbit knows calculus. (iii) Every bird can fly. (iv) There is no dog that can talk (v) There is no one in this class who knows French and Russian
5. We are given the statement "C3PO is a droid and Han is not a droid". (a) Using the following statement variables, write the corresponding statement form: Let p = "C3PO is a droid" and q = "Han is a droid" (b) Using De Morgan's Laws, develop the negation of the statement form of part (a) (c) What is the statement that corresponds to the statement form of part (b)?
. Write a negation for each of the following statements: (a) The variable S is undeclared and the data are out of order. (b) The variable S is undeclared or the data are out of order. (c) If Al was with Bob on the first, then Al is innocent. (d) −5 ≤ x < 2 (where x is a particular real number)
4. Write the negation of each of the following quantified statements. Hint: Use De Morgan's laws. a. At least one of the students submitted the homework assignment. b. Every student submitted the homework assignment or the lab assignment. c. Some student submitted the homework assignment but did not pass the exam.
1. Let p, q, and r be the statementsp: I finish my assignment before 2:00 pm todayq: I go to the gym todayr: It is raining today (a) Invent a compound statement that uses all three of the proposi-tions p, q, and r as well as whatever logical connectives you choose. (b) Write an English sentence that corresponds to the statement youconstructed in (a). (c) Make a truth table for the statement you constructed in (a).
Problem 3. Provide short answers to the following questions: a. Write an example of a valid argument. b. Write an example of a sound argument. c. What is the advantage of a sound argument compared with a valid argument? d. Using the truth table for implication, show when an argument is valid but not sound.
Compute the weakest precondition for each of the following sequencesof assignment statements and their postconditions:1. a = 2 * b + 1;b = a - 3{b < 0}2. a = 3 * (2 * b + a);b = 2 * a - 1{b > 5}
An application takes two inputs x and y where x<=y and -5<=y<=4. i) Write the test cases for equivalence class. ii) Write the test cases to perform boundary value analysis.
13. What is the difference between a formal parameter and an argument? Group of answer choices A function’s argument is referred to as the formal argument to distinguish it from the value that is passed in during the function call. The parameter is the passed value. They are identical but using different terms. A function’s parameter is used for passing by reference. The argument is used for passing by value. A function’s parameter is referred to as the formal parameter to distinguish it from the value that is passed in during the function call. The argument is the passed value. A function’s parameter is used for passing by value. The argument is used for passing by reference.
35 of 40 Consider R(A1,A2,A3,A4,A5, A6) with FDs: F = {A1 → A5, A2 → A1, A3A4 → A5, A5A6 → A2, A3 → A4, A5 → As} Which of the following statements is CORRECT? Note: "F = X → Y" means the FD X → Y follows from F. Select one: OFHA3 → A1 All of the four statements None of the four statements O F=A2 → A3 FEA1 → A4 O F= A5 → A4