Recent questions tagged propositional-logic / GATE Overflow for GATE CSE

0 votes

0 answers

361

Kenneth Rosen Edition 7 Exercise 1.4 Question 39 (Page No. 55)
Translate these specifications into English where $F(p)$ is Printer $p$ is out of service, $B(p)$ is Printer $p$ is busy, $L(j )$ is Print job $j$ is lost, and $Q(j )$is Print job $j$ ... $(\forall p B(p) \wedge \forall j Q(j)) \rightarrow \exists j L(j)$

Translate these specifications into English where $F(p)$ is“Printer $p$ is out of service,”$B(p)$ is “Printer $p$ is busy,”$L(j )$ is “Print job $j$ is lost,”...

Pooja Khatri

518 views

Pooja Khatri asked Mar 18, 2019

0 votes

0 answers

362

Kenneth Rosen Edition 7 Exercise 1.4 Question 38 (Page No. 55)
Translate these system specifications into English where the predicate $S(x,y)$ is $x$ is in state $y$ and where the domain for $x$ and $y$ consists of all system and all possible states, respectively. $\exists x S(x, open)$ ... $\exists x \sim S(x, available )$ $\forall x \sim S(x, working)$

Translate these system specifications into English where the predicate $S(x,y)$ is “$x$ is in state $y$ “ and where the domain for $x$ and $y$ consists of all system ...

Pooja Khatri

321 views

Pooja Khatri asked Mar 18, 2019

0 votes

0 answers

363

Kenneth Rosen Edition 7 Exercise 1.4 Question 37 (Page No. 55)
Express each of these statements using predicates and quantifiers. A passenger on an airline qualifies as an elite flyer if the passenger flies more than 25,000 miles in a year or takes more than 25 flights during that year. A man ... degree. There is a student who has taken more than 21 credit hours in a semester and received all A's.

Express each of these statements using predicates and quantifiers.A passenger on an airline qualifies as an elite flyer if the passenger flies more than 25,000 miles in a...

Pooja Khatri

681 views

Pooja Khatri asked Mar 18, 2019

0 votes

0 answers

364

Kenneth Rosen Edition 7 Exercise 1.4 Question 36 (Page No. 55)
Find a counterexample, if possible, to these universally quantified statements, where the domain for all variables consists of all real numbers. $\forall x (x^2 \neq x)$ $\forall x (x^2 \neq 2)$ $\forall x (|x| >0)$

Find a counterexample, if possible, to these universally quantified statements, where the domain for all variables consists of all real numbers.$\forall x (x^2 \neq x)$$\...

Pooja Khatri

315 views

Pooja Khatri asked Mar 18, 2019

0 votes

0 answers

365

Kenneth Rosen Edition 7 Exercise 1.4 Question 35 (Page No. 55)
Find a counterexample, if possible, to these universallyquantified statements, where the domain for all variablesconsists of all integers. $\forall x(x^2 >= x)$ $\forall x (x>0 \vee x<0)$ $\forall x (x=1)$

Find a counterexample, if possible, to these universallyquantified statements, where the domain for all variablesconsists of all integers.$\forall x(x^2 >= x)$$\forall x ...

Pooja Khatri

198 views

Pooja Khatri asked Mar 18, 2019

0 votes

0 answers

366

Kenneth Rosen Edition 7 Exercise 1.4 Question 33 (Page No. 55)
Express the negation of these propositions using quantifiers, and then express the negation in English. Some drivers do not obey the speed limit. All Swedish movies are serious. No one can keep a secret. There is someone in this class who does not have a good attitude.

Express the negation of these propositions using quantifiers, and then express the negation in English.Some drivers do not obey the speed limit.All Swedish movies are ser...

Pooja Khatri

634 views

Pooja Khatri asked Mar 18, 2019

0 votes

0 answers

367

Kenneth Rosen Edition 7 Exercise 1.4 Question 33 (Page No. 55)
Express each of these statements using quantifiers. Then form the negation of the statement so that no negation is to the left of quantifier. Next, express the negation in simple English. (Do not simply use the phrase It is not the ... can fly. There is no dog that can talk. There is no one in this class who knows French and Russian.

Express each of these statements using quantifiers. Then form the negation of the statement so that no negation is to the left of quantifier. Next, express the negation i...

Pooja Khatri

476 views

Pooja Khatri asked Mar 18, 2019

0 votes

0 answers

368

Kenneth Rosen Edition 7 Exercise 1.4 Question 32 (Page No. 55)
Express each of these statements using quantifiers. Then form the negation of the statement so that no negation is to the left of quantifier. Next, express the negation in simple English. (Do not simply use the phrase It is not ... add. Every koala can climb. No monkey can speak French. There exists a pig that can swim and catch fish.

Express each of these statements using quantifiers. Then form the negation of the statement so that no negation is to the left of quantifier. Next, express the negation i...

Pooja Khatri

532 views

Pooja Khatri asked Mar 18, 2019

0 votes

0 answers

369

Kenneth Rosen Edition 7 Exercise 1.4 Question 30 (Page No. 54)
Suppose the domain of the propositional function $P(x,y)$ consists of pairs $x$ and $y$ , where $x$ is 1,2 or 3 and $y$ is 1,2 or 3 . Write out these propositions using disjunctions and conjunctions. $\exists x P(x,3)$ $\forall y P(1,y)$ $\exists y \sim p(2,y)$ $\forall x \sim P(x,2)$

Suppose the domain of the propositional function $P(x,y)$ consists of pairs $x$ and $y$ , where $x$ is 1,2 or 3 and $y$ is 1,2 or 3 . Write out these propositions using d...

Pooja Khatri

447 views

Pooja Khatri asked Mar 18, 2019

0 votes

0 answers

370

Kenneth Rosen Edition 7 Exercise 1.4 Question 28 (Page No. 54)
Translate each of these statements into logical expression using predicates, quantifiers, and logical connectives. Something is not in the correct place. All tools are in the correct place and are in excellent condition. Everyone is in ... in excellent condition. One of your tools is not in the correct, but it is in excellent condition.

Translate each of these statements into logical expression using predicates, quantifiers, and logical connectives.Something is not in the correct place.All tools are in t...

Pooja Khatri

696 views

Pooja Khatri asked Mar 16, 2019

0 votes

0 answers

371

Kenneth Rosen Edition 7 Exercise 1.4 Question 27 (Page No. 54)
Translate each of these statements into logical expression in three different ways by varying the domain and by using predicates with one and with two variables. A student in your school has lived in Vietnam. There is a student in ... Prolog, and C++. Everyone in your class enjoys Thai food. Someone in your class does not play hockey.

Translate each of these statements into logical expression in three different ways by varying the domain and by using predicates with one and with two variables.A student...

Pooja Khatri

1.3k views

Pooja Khatri asked Mar 16, 2019

0 votes

0 answers

372

Kenneth Rosen Edition 7 Exercise 1.4 Question 26 (Page No. 54)
Translate each of these statements into logical expression in three different ways by varying the domain and by using predicates with one and with two variables. Someone in your school has visited Uzbekistan. Everyone in your class ... person in your school who is not happy. Everyone in your school was born in the twentieth century.

Translate each of these statements into logical expression in three different ways by varying the domain and by using predicates with one and with two variables.Someone i...

Pooja Khatri

675 views

Pooja Khatri asked Mar 16, 2019

0 votes

0 answers

373

Kenneth Rosen Edition 7 Exercise 1.4 Question 22 (Page No. 54)
For each of these statements find a domain for which the statement is true and a domain for which the statement is false. Everyone speak Hindi. There is someone older than 21 years. Everyone two people have the same first name. Someone knows more than two other people.

For each of these statements find a domain for which the statement is true and a domain for which the statement is false.Everyone speak Hindi.There is someone older than ...

Pooja Khatri

784 views

Pooja Khatri asked Mar 16, 2019

0 votes

1 answer

374

Kenneth Rosen Edition 7 Exercise 1.4 Question 21 (Page No. 54)
For each fo these statements find a domain for which the statements is true and a domain for which the statement is false. Everyone is studying discrete mathematics. Everyone is older than 21 years. Everyone two people have the same mother. No two different people have the same grandmother.

For each fo these statements find a domain for which the statements is true and a domain for which the statement is false.Everyone is studying discrete mathematics.Everyo...

Pooja Khatri

6.3k views

Pooja Khatri asked Mar 16, 2019

0 votes

0 answers

375

Kenneth Rosen Edition 7 Exercise 1.4 Question 20 (Page No. 54)
Suppose that the domain of the propositional function $P(x)$ consists of $-5,-3,-1,1,3,5.$ Express these statements without using quantifiers, instead using only negations, disjunctions, and conjunctions. $\exists x p(x)$ $\forall x p(x)$ ... $\exists x (\sim p(x)) \wedge \forall x ((x<0) \rightarrow p(x))$

Suppose that the domain of the propositional function $P(x)$ consists of $-5,-3,-1,1,3,5.$ Express these statements without using quantifiers, instead using only negation...

Pooja Khatri

452 views

Pooja Khatri asked Mar 16, 2019

0 votes

0 answers

376

Kenneth Rosen Edition 7 Exercise 1.4 Question 19 (Page No. 54)
Suppose that the domain of the propositional function $P(x)$ consists of the integers $1,2,3,4,5.$ Express these statements without using quantifiers, instead using only negations, disjunctions, and conjunctions. $\exists x P(x)$ $\forall x P(x)$ ... $\forall x ((x \neq 3) \rightarrow P(x)) \vee \exists x \sim P(x)$

Suppose that the domain of the propositional function $P(x)$ consists of the integers $1,2,3,4,5.$ Express these statements without using quantifiers, instead using only ...

Pooja Khatri

540 views

Pooja Khatri asked Mar 16, 2019

0 votes

0 answers

377

Kenneth Rosen Edition 7 Exercise 1.4 Question 18 (Page No. 53)
Suppose that the domain of the propositional function $P(x)$ consists of the integers $-2,-1,0,1,2.$ Write out each of these propositions using disjunctions, conjunctions, and negations. $\exists x P(x)$ $\forall x P(x)$ $\exists x \sim p(x)$ $\forall x \sim P(x)$ $\sim \exists x P(x)$ $\sim \forall x P(x)$

Suppose that the domain of the propositional function $P(x)$ consists of the integers $-2,-1,0,1,2.$ Write out each of these propositions using disjunctions, conjunctions...

Pooja Khatri

635 views

Pooja Khatri asked Mar 16, 2019

1 votes

1 answer

378

Kenneth Rosen Edition 7 Exercise 1.4 Question 17 (Page No. 53)
Suppose that the domain of the propositional function $P(x)$ consists of the integers $0,1,2,3, 4.$ Write out each of these propositions using disjunctions, conjunctions, and negations. $\exists x P(x)$ $\forall x P(x)$ $\exists x \sim P(x)$ $\forall x \sim P(x)$ $\sim \exists x P(x)$ $\sim \forall x P(x)$

Suppose that the domain of the propositional function $P(x)$ consists of the integers $0,1,2,3, 4.$ Write out each of these propositions using disjunctions, conjunctions,...

Pooja Khatri

8.7k views

Pooja Khatri asked Mar 16, 2019

0 votes

0 answers

379

Kenneth Rosen Edition 7 Exercise 1.4 Question 16 (Page No. 53)
Determine the truth value of each of these statements if the domain of each variable consists of all real numbers. $\exists x (x^2 = 2)$ $\exists x (x^2= -1)$ $\exists x (x^2+2 >=1)$ $\forall x (x^2 \neq x)$

Determine the truth value of each of these statements if the domain of each variable consists of all real numbers.$\exists x (x^2 = 2)$$\exists x (x^2= -1)$$\exists x (x^...

Pooja Khatri

564 views

Pooja Khatri asked Mar 16, 2019

0 votes

1 answer

380

Kenneth Rosen Edition 7 Exercise 1.4 Question 14 (Page No. 53)
Determine the truth value of each of these statements if the domain consists of all real numbers. $\exists x (x^3 = -1)$ $exists x (x^4 < x^2)$ $\forall x ((-x)^2 = x^2)$ $\forall x (2x >x)$

Determine the truth value of each of these statements if the domain consists of all real numbers.$\exists x (x^3 = -1)$$exists x (x^4 < x^2)$$\forall x ((-x)^2 = x^2)$$\f...

Pooja Khatri

539 views

Pooja Khatri asked Mar 16, 2019

0 votes

1 answer

381

Kenneth Rosen Edition 7 Exercise 1.4 Question 15 (Page No. 53)
Determine the truth value of each of these statements if the domain for all variables consists of all integers. $\forall n (n^2 >=0)$ $\exists n (n^2 =2)$ $\forall n (n^2 >=n)$ $\exists n (n^2 <0)$

Determine the truth value of each of these statements if the domain for all variables consists of all integers.$\forall n (n^2 >=0)$$\exists n (n^2 =2)$$\forall n (n^2 >=...

Pooja Khatri

903 views

Pooja Khatri asked Mar 16, 2019

0 votes

1 answer

382

Kenneth Rosen Edition 7 Exercise 1.4 Question 13 (Page No. 53)
Determine the truth value of each of these statements if the domain consists of all integers. $\forall n (n+1 > n)$ $\exists n (2n = 3n)$ $\exists n (n = -n)$ $\forall n (3n <= 4n)$

Determine the truth value of each of these statements if the domain consists of all integers.$\forall n (n+1 n)$$\exists n (2n = 3n)$$\exists n (n = -n)$$\forall n (3n <...

Pooja Khatri

517 views

Pooja Khatri asked Mar 16, 2019

0 votes

0 answers

383

Kenneth Rosen Edition 7 Exercise 1.4 Question 12 (Page No. 53)
Let $Q(x)$ be the statement “$x+1>2x.$” If the domain consists of all integers, what are these truth values? $Q(0)$ $Q(-1)$ $Q(1)$ $\exists xQ(x)$ $\forall x Q(x)$ $\exists x \sim Q(x)$ $\forall x \sim Q(x)$

Let $Q(x)$ be the statement “$x+1>2x.$” If the domain consists of all integers, what are these truth values?$Q(0)$$Q(-1)$$Q(1)$$\exists xQ(x)$$\forall x Q(x)$$\exists...

Pooja Khatri

398 views

Pooja Khatri asked Mar 16, 2019

0 votes

2 answers

384

Kenneth Rosen Edition 7 Exercise 1.4 Question 11 (Page No. 53)
Let $P(x)$ be the statement “$x = x^2$”. If the domain consists of the integers, what are these truth values? $P(0)$ $P(1)$ $P(2)$ $P(-1)$ $\exists xP(x)$ $\forall x P(x)$

Let $P(x)$ be the statement “$x = x^2$”. If the domain consists of the integers, what are these truth values?$P(0)$$P(1)$$P(2)$$P(-1)$$\exists xP(x)$$\forall x P(x)$

Pooja Khatri

2.5k views

Pooja Khatri asked Mar 16, 2019

0 votes

0 answers

385

Kenneth Rosen Edition 7 Exercise 1.4 Question 10 (Page No. 53)
Let $C(x)$ be the statement $x$ has a cat, let $D(x)$ be the statement $x$ has a dog, and let $F(x)$ be the statement $x$ ... and a ferret. For each of the three animals, cats,dogs, and ferrets, there is a student in your class who has this animal as a pet.

Let $C(x)$ be the statement “$x$ has a cat,” let $D(x)$ be the statement “$x$ has a dog,” and let $F(x)$ be the statement “$x$ has a ferret.” Express each of ...

Pooja Khatri

511 views

Pooja Khatri asked Mar 16, 2019

1 votes

1 answer

386

Kenneth Rosen Edition 7 Exercise 1.4 Question 8 (Page No. 53)
Translate these statements into English, where $R(x)$ is “$x$ is a rabbit” and $H(x)$ is “$x$ hops” and the domain consists of all animals. $\forall x (R(x) \rightarrow H(x))$ $\forall x (R(x) \wedge H(x))$ $\exists x (R(x) \rightarrow H(x))$ $\exists x (R(x) \wedge H(x))$

Translate these statements into English, where $R(x)$ is “$x$ is a rabbit” and $H(x)$ is “$x$ hops” and the domain consists of all animals.$\forall x (R(x) \right...

Pooja Khatri

944 views

Pooja Khatri asked Mar 16, 2019

0 votes

0 answers

387

Kenneth Rosen Edition 7 Exercise 1.4 Question 7 (Page No. 53)
Translate these statements into English, where $C (x)$ is “$x$ is comedian” and $F(x)$ is “$x$ is funny” and the domain consists of all poeple. $\forall x (C (x) \rightarrow F(x))$ $\forall x (C(x) \wedge F(x))$ $\exists x (C(x) \rightarrow F(x))$ $\exists x (C(x) \wedge F(x))$

Translate these statements into English, where $C (x)$ is “$x$ is comedian” and $F(x)$ is “$x$ is funny” and the domain consists of all poeple.$\forall x (C (x) ...

Pooja Khatri

429 views

Pooja Khatri asked Mar 16, 2019

0 votes

3 answers

388

Kenneth Rosen Edition 7 Exercise 1.4 Question 6 (Page No. 53)
Let $N(x)$ be the statements “$x$ has visited North Dakota,” where the domain consists of the students in your school. Express each of these quantifications in English. $\exists x N(x)$ $\forall x N(x)$ $\sim \exists x N(x)$ $\exists x \sim N(x)$ $\sim \forall x N(x)$ $\forall x \sim N(x)$

Let $N(x)$ be the statements “$x$ has visited North Dakota,” where the domain consists of the students in your school. Express each of these quantifications in Englis...

Pooja Khatri

4.7k views

Pooja Khatri asked Mar 16, 2019

1 votes

4 answers

389

Kenneth Rosen Edition 7 Exercise 1.4 Question 5 (Page No. 53)
Let $P(x)$ be the statement “x spends more than five hours every weekday in class.” where the domain for x consists of all students. Express each of these qualifications in English. $\exists x P(x)$ $\forall x P(x)$ $\exists x \sim p(x)$ $\forall x \sim P(x)$

Let $P(x)$ be the statement “x spends more than five hours every weekday in class.” where the domain for x consists of all students. Express each of these qualificati...

Pooja Khatri

4.7k views

Pooja Khatri asked Mar 16, 2019

2 votes

2 answers

390

Kenneth Rosen Edition 7 Exercise 1.4 Question 2 (Page No. 53)
Let $P(x)$ be the statement “The word $x$ contains the letter a.” what are these truth values? $P$(orange) $P$(lemon) $P$(true) $P$(false)

Let $P(x)$ be the statement “The word $x$ contains the letter a.” what are these truth values?$P$(orange)$P$(lemon)$P$(true)$P$(false)

Pooja Khatri

1.0k views

Pooja Khatri asked Mar 16, 2019

tags	tag:apple
author	user:martin
title	title:apple
content	content:apple
exclude	-tag:apple
force match	+apple
views	views:100
score	score:10
answers	answers:2
is accepted	isaccepted:true
is closed	isclosed:true