2. Consider the following propositions: D is the proposition “You are a dog." C is the proposition “You are a cat." B is the proposition “You love bacon." F is the proposition “You love fish." Write the following propositions using the above: (a) If you are a dog then you love bacon. (b) If you love bacon then you are a dog. (c) If you do not love fish then you are not a cat.

2. Consider the following propositions: D is the proposition “You are a dog." C is the proposition “You are a cat." B is the proposition “You love bacon." F is the proposition “You love fish." Write the following propositions using the above: (a) If you are a dog then you love bacon. (b) If you love bacon then you are a dog. (c) If you do not love fish then you are not a cat.

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

4. a) Consider the following set of facts: 1. X is a student. 2. X studies in CSE department. 3. X has passed HSC in the year 2016. 4. Passing year is session. 5. The students of 2016 session of CSE department are awesome. i) Represent these facts in predicate logic. ii) Use Backward Reasoning to answer the question, “Is X awesome?" iii) Use resolution to prove the answer that you have got from question no. (ii).
QUESTION 3 Consider the following propositions : p: "I finish my Work" q: "I play handball" r: "The sun is shining" s: "The humidity is low" The symbolic of the following sentence "I finish my work and I play handball unless the humidity is not low and the sun is not shining" is : not s logical and not r rightwards arrow not p logical or not q None of all the proposed answers s logical or r rightwards arrow p logical and q s logical and r rightwards arrow p logical or q not p logical or not q rightwards arrow not s logical and not r
Is the following sentence a proposition? If it is a proposition, determine whether it is true or false. “In the year 2000, Montreal was the capital of Quebec.”
Question
“Swimming at the New Jersey shore is allowed” and “Sharks have been sported near the shore” are p and q. Translate each complex proposition into English.
19
Please explain
Convert each of the following argu- ments into formal statements, e.g., define sentences existentially and/or universally quantified statements. Then determine which rules of logic have been applied and explain whether or not they have been ap- plied correctly. if you do the homework you will pass the final. Somebody did not pass the final. Therefore somebody did not not do the homework. If you do the homework you will pass the final. Curly did not do the homework. Therefore Curly will not pass the final. If you don’t do the homework, you won’t pass the final. Moe did the homework. Therefore Moe passed the final.
Consider the following propositions: F is the proposition "You are a fish." S is the proposition "You like to swim." W is the proposition "You drink water." H is the proposition "You are human." Write the following propositions symbolically using the above variables: (a) If you are human then you like to swim. (b) If you like to swim then you are a fish. 1 (c) If you do not like to swim then you do not drink water. (d) If you are a human then either you are a fish or you drink water. (e) You are a fish, you do not drink water, and you like to swim.
Translate the following English statements to propositions. 1 It is sunny. 2 I answered the assignment, but I did not submit it. 3 | will remember to send you my address only if you send me an email message. 4 Either I go to school or I go to the mall. 5 I will eat breakfast or I will walk to school, or both.
1. Given the following, can you prove the unicorn is mythical? How about Magi- cal? and Horned? (adapted from Barwise and Etchemendy (1993)). if the unicorn is mythical, then it is immortal, but if it is not mythical, then it is a mortal mammal. If the unicorn is either immortal or a mammal, then it is horned. The unicorn is magical if it is horned. 2. Which of the following are correct? (a) False E True (b) (A A B) E (A + B) (c) A + BEAVB (d) A + BE¬AV B (e) (A V B) ^ (¬A V B) is satisfiable
The Sentence : " the negation of "if p then q" is logically equivalent to "p and not q .............................This can be restated symbolically as follows