Question: Exercise 1 : [3 marks] Let the proposition p be it is sunny and q be I go to park. Write the following propositions using

Exercise 1 : [3 marks] Let the proposition p be it

Exercise 1 : [3 marks] Let the proposition p be it is sunny" and q be I go to park. Write the following propositions using p and q: 1. If it is sunny, I go to park. 2. If I do not go to park, it is not sunny. 3. I go to park if and only if it is sunny. Exercise 2: [2 marks] We want to show that p ^ ( p V q) =p ^ q. Using the laws for the left side of this equivalence yields. Exercise 3: [3 marks] Prove that (p ^ q) p is a tautology without using a truth table. Exercise 4: [2 marks] Prove the following using laws of logic: a. p 1 (p V 9) =p. b. (p 19) V p=p. c. 7(1219) (p V q) = p. d. (p1q) = (p 79)

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!

Assignment (100 marks) 1) Which of the following sentences are propositions? What are the truth values of those that are propositions? (5 marks) (a) Open the door. (b) I like mathematics. (c) 2 + 4 =...

bits to make them easier to read.) Solurion: The bitwise OR, bitwise AND, and bitwise XOR of these strings are obteinnely the OR, AND, and XOR of the corresponding bits, respectively. This gives us...

Determine which of the following are propositions and their truth values: a) New York is the United States Capital. b) Where is Central Park? c) 5x y 22 d) 48-21 14 e) Open the door 2. Let p and q be...

Proof 321 1. Which of these sentences are propositions? a) Boston is the capital of Massachusetts. b) Miami is the capital of Florida. c)2+3-5. d)5+7-10. e)x+2 11 f)Answer this question 2. What is...

Propositional Logic 1) (1.1.2 in the book) Which of these are propositions? What are the truth values of those that are proposi- tions? a) Do not pass go. b) What time is it? c) There are no black...

(a) In SystemVerilog, what is the difference between: (i) The ternary operator ? and if...then...else statements? [2 marks] (ii) always_ff and always_comb? [2 marks] (iii) Blocking, non-blocking and...

Let p and q be the propositions "The election is decided" and "The votes have been counted", respectively. Express each of the following compound propositions as an English sentence. a) p A (1 '0) sq...

s1 educated (SSE) student for every three public school educated (PSE) students. Reasoning that students are not very dissimilar from threads, he suggests the following entry and exit routines be...

Give Correct ANSWERS Human-Computer Interaction (a) If you had been one of the original inventors of the WIMP interface, and engineers on the technical team had been sceptical about the advantages...

Let A, B be sets. Define: (a) the Cartesian product (A B) (b) the set of relations R between A and B (c) the identity relation A on the set A [3 marks] Suppose S, T are relations between A and B, and...

Malaysia practices a mixed economic system. Explain the characteristics of this economic system from your own observations of the economic activity in Malaysia Malaysia practiced mixture between...

In this assignment student will work in a group of two students to design digital logic circuits that fulfil the following requirements. The aim of the assignment is to design and implement the...

1 Manuel is HR Manager for a large bank. His responsibilities include internal communication with individual workers and groups of workers. Sometimes he wants to send a message to all 15 000 workers...

Part 1: pH, POH, [H*], [OH-] and K,'s (Show all your work!) 1) Given one value, determine the other 3 (from above), with the proper # of sig. fig.s: a. pH = 10.2339 b. pOH = 11.997 c. [OH-] = 7.227 x...

How would redundant storage of values in columns in a Table be eliminated?

What do Primary Keys, along with Third Normal Form Design in a Database Model, achieve?

Describe Table Structures in RDMSs.