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

0 votes

1 answer

451

Self Doubt
formulas represent the sentence, 'He will come on the 8:15 or the 9:15 train; if the former, he will have time to visit us', where p means 'He will come on the 8:15' q means 'He will come on the 9:15' r means 'He will have time to visit us'

formulas represent the sentence, 'He will come on the 8:15 or the 9:15 train; if the former, he will have time to visit us', wherep means 'He will come on the 8:15'q mean...

manisha11

662 views

manisha11 asked Oct 29, 2018

1 votes

0 answers

452

Gateforum Test Series

Gupta731

292 views

Gupta731 asked Oct 12, 2018

0 votes

1 answer

453

Gateforum Test series

Gupta731

356 views

Gupta731 asked Oct 12, 2018

0 votes

1 answer

454

Implication
Which of the following Implications are Tautologies? 1) If I drink milk, I'm healthy or If I'm healthy, I do maths. 2)If it is not the case that riches is sufficient for Mr. X to be happy then Mr. X is rich and not happy. A) Both (1) and (2) B) only (1) C) only (2) D) Neither

Which of the following Implications are Tautologies?1) If I drink milk, I'm healthy or If I'm healthy, I do maths.2)If it is not the case that riches is sufficient for Mr...

Lakshman Bhaiya

574 views

Lakshman Bhaiya asked Oct 2, 2018

0 votes

0 answers

455

test series
please someone explain the approach?

please someone explain the approach?

Rudra Pratap

269 views

Rudra Pratap asked Sep 30, 2018

0 votes

0 answers

456

Nested Quantifiers
If we have ∀x(p(x)) then in boolean algebra form we can write this statement as (P1 + P2) where + signifies OR which makes it very easy to deal with. So likewise is there any way to have a view of a statement like ∀x∀y(R(x,y)) into boolean form?

If we have ∀x(p(x)) then in boolean algebra form we can write this statement as (P1 + P2) where + signifies OR which makes it very easy to deal with. So likewise is the...

sushil1997

483 views

sushil1997 asked Sep 28, 2018

0 votes

0 answers

457

No idea about what to study in FIRST ORDER LOGIC
Hello, please kindly tell from where to study topic FIRST ORDER LOGIC? Also, list out the topics which are needed to be studied from topic FIRST ORDER LOGIC?!

Hello, please kindly tell from where to study topic FIRST ORDER LOGIC?Also, list out the topics which are needed to be studied from topic FIRST ORDER LOGIC?!

iarnav

539 views

iarnav asked Sep 28, 2018

1 votes

0 answers

458

PREDICATE LOGIC SELF DOUBT
Some people are Time Travelers and some people are not Time Travelers. P(x) = x is a Person T(x) = x is a Time Traveler Which is/are correct and why? (∀x)(P(x) $\rightarrow$(T(x)∨~T(x))) (∃x)(P(x)^T(x)) ∨ (∃x)(P(x)^~T(x)) (∃x)(P(x)^T(x)) ^ (∃x)(P(x)^~T(x)) (∀x)((P(x)$\rightarrow$T(x)) ∨ (P(x)$\rightarrow$~T(x))) P(x) (∀x)P (∀x)P(x) P

Some people are Time Travelers and some people are not Time Travelers.P(x) = x is a PersonT(x) = x is a Time TravelerWhich is/are correct and why?(∀x)(P(x) $\rightarrow...

Balaji Jegan

391 views

Balaji Jegan asked Sep 26, 2018

0 votes

0 answers

459

Propositional Logic
Are the following first order logic formulae equivalent?

Are the following first order logic formulae equivalent?

srestha

429 views

srestha asked Sep 25, 2018

0 votes

1 answer

460

ace booklet
whats ans of this qn and please explain

whats ans of this qn and please explain

Vegeta

1.0k views

Vegeta asked Sep 13, 2018

0 votes

0 answers

461

Predicate logic gatebook test on logic Q18

Sandy Sharma

508 views

Sandy Sharma asked Sep 8, 2018

0 votes

0 answers

462

Predicate logic gatebook test on logic Q13
Consider the following statement where parent(x,y) means x is a parent of y. Which of the following statement is true about above first order logic statement ? A. Ramu has at least one parent B. Ramu has at least two parents C. Ramu has at most one parent D. Ramu has at most two parents

Consider the following statement where parent(x,y) means x is a parent of y. Which of the following statement is true about above first order logic statement ? A. Ramu ha...

Sandy Sharma

421 views

Sandy Sharma asked Sep 8, 2018

0 votes

0 answers

463

Predicate logic gatebook test on logic Q4
Minesweeper is a single-player computer game invented by Robert Donner in 1989. A unary predicate mine, where mine(x) means that the cell x contains a mine Which of the following statements is the correct interpretation of the above formula? A. There are ... are at least n mines in the game C. There are at most n mines in the game D. None of the above

Minesweeper is a single-player computer game invented by Robert Donner in 1989.A unary predicate mine, where mine(x) means that the cell x contains a mineWhich of the fol...

Sandy Sharma

468 views

Sandy Sharma asked Sep 8, 2018

0 votes

3 answers

464

Propositional Logic
Ans. A

Ans. A

Na462

696 views

Na462 asked Aug 19, 2018

0 votes

3 answers

465

Propositional Logic
Ans. B

Ans. B

Na462

735 views

Na462 asked Aug 19, 2018

0 votes

0 answers

466

self doubt
translate english statements into predicate. Q)No one in your school owns both a bicycle and a motorcycle. i got this $\neg(\forall x(S(x)\implies (B(x)\wedge M(x)))$

translate english statements into predicate.Q)No one in your school owns both a bicycle and a motorcycle.i got this$\neg(\forall x(S(x)\implies (B(x)\wedge M(x)))$

Prince Sindhiya

295 views

Prince Sindhiya asked Aug 10, 2018

0 votes

2 answers

467

Proposition Logic

aditi19

790 views

aditi19 asked Aug 9, 2018

0 votes

0 answers

468

logic (coursera)
Consider a propositional language with three propositional constants - mushroom, purple, and poisonous - each indicating the property suggested by its spelling. Using these propositional constants, encode the following English sentences as Propositional Logic sentences. Use ~ ... use <=> for ⇔ when entering compound sentences. A mushroom is not poisonous unless it is purple.

Consider a propositional language with three propositional constants - mushroom, purple, and poisonous - each indicating the property suggested by its spelling. Using the...

hitendra singh

1.2k views

hitendra singh asked Jul 24, 2018

0 votes

1 answer

469

logic course (coursera)
Consider a propositional language with three propositional constants - mushroom, purple, and poisonous - each indicating the property suggested by its spelling. Using these propositional constants, encode the following English sentences as Propositional Logic sentences. ... <=> for ⇔ when entering compound sentences. A mushroom is not poisonous unless it is purple.

Consider a propositional language with three propositional constants - mushroom, purple, and poisonous - each indicating the property suggested by its spelling. Using the...

Hitendra Singh 1

554 views

Hitendra Singh 1 asked Jul 24, 2018

0 votes

1 answer

470

propositional logic
convert the following sentence in logic a mushroom is not poisonous unless it is purple. where mushroom ,purple ,poisonous are the propositional constants

convert the following sentence in logic a mushroom is not poisonous unless it is purple.where mushroom ,purple ,poisonous are the propositional constants

hitendra singh

951 views

hitendra singh asked Jul 13, 2018

0 votes

3 answers

471

UGC NET CSE | July 2018 | Part 2 | Question: 76
Consider the following statements: False $\models$ True If $\alpha \models (\beta \wedge \gamma \text{ then } \alpha \models \gamma$ Which of the following is correct with respect to above statements? Both statement a and statement b ... and statement b is false Statement a is false and statement b is true Both statement a and statement b are true

Consider the following statements:False $\models$ TrueIf $\alpha \models (\beta \wedge \gamma \text{ then } \alpha \models \gamma$Which of the following is correct with r...

Pooja Khatri

2.6k views

Pooja Khatri asked Jul 13, 2018

2 votes

2 answers

472

Propositional logic
I am unable to prove following equations without using truth table 1) p -> (q v r) = (p->q) V (p->r) 2) ~(p <-> q) = p <-> ~q

I am unable to prove following equations without using truth table1) p - (q v r) = (p->q) V (p->r) 2) ~(p <- q) = p <- ~q

kd.....

548 views

kd..... asked Jul 12, 2018

0 votes

1 answer

473

kenneth rosen section1.4 - syllabus
is Prolog or ∃! of mathematical logic in syllabus?

is Prolog or ∃! of mathematical logic in syllabus?

Sandy Sharma

386 views

Sandy Sharma asked Jul 6, 2018

0 votes

1 answer

474

Kenneth Rosen Edition 6th Exercise 1.5 Question 10 (Page No. 73)
For each of theses sets of premises, what relevant conclusions can be drawn? (b)"If I work, it is either sunny or partly sunny." "I worked last Monday or I worked Last Friday." "It was not ... only eat what tastes good." "You do not eat Tofu." "Cheeseburgers are not healthy to eat."

For each of theses sets of premises, what relevant conclusions can be drawn?(b)"If I work, it is either sunny or partly sunny." "I worked last Monday or I worked Last Fri...

Ayush Upadhyaya

2.5k views

Ayush Upadhyaya asked Jul 1, 2018

1 votes

1 answer

475

Kenneth Rosen Edition 6th Exercise 1.3 Question 29 (Page No. 48)
Express each of these statements using logical operators, predicates, and quantifiers. a) Some propositions are tautologies. b) The negation of a contradiction is a tautology. c) The disjunction of two contingencies can be a ... quantifiers I read above but still confuse....can somebody explain statement c) and d) in more detail

Express each of these statements using logical operators,predicates, and quantifiers.a) Some propositions are tautologies.b) The negation of a contradiction is a tautolog...

sunil sarode

5.5k views

sunil sarode asked Jun 29, 2018

1 votes

0 answers

476

Kenneth Rosen Edition 6th Exercise 1.1 Question 11 (Page No. 17)
Let p, q, and r be the propositions p : Grizzly bears have been seen in the area. q : Hiking is safe on the trail. r : Berries are ripe along the trail. Write these propositions using p, q, and r and logical connectives (including negations ... ;not p)-> r Because if P , Q means Q->P as given in book. Where i am going wrong???

Let p, q, and r be the propositionsp : Grizzly bears have been seen in the area.q : Hiking is safe on the trail.r : Berries are ripe along the trail.Write these propositi...

Sandy Sharma

801 views

Sandy Sharma asked Jun 29, 2018

1 votes

1 answer

477

self doubt
dog(x) = x is a dog Int (x) = x is intelligent write in logic form No dogs are intelligent.

dog(x) = x is a dogInt (x) = x is intelligentwrite in logic formNo dogs are intelligent.

Vegeta

446 views

Vegeta asked Jun 14, 2018

0 votes

2 answers

478

IIT M video questions
P(x,y,z), xy=z, Universe is interger; write in logic form If xy=x for all y, then x =0. Thank you

P(x,y,z), xy=z, Universe is interger;write in logic formIf xy=x for all y, then x =0.Thank you

Vegeta

488 views

Vegeta asked Jun 14, 2018

1 votes

0 answers

479

Logic-Kenneth Rosen (Ex1.4-11f)
Let S(x) be the predicate that "x is a student", F(x) be the predicate "x is a faculty member", and A(x,y) the predicate "x has asked y a question", where the domain consists of all people associated with your ... A(x,y) ) ) Doubt 2: What is the difference between my answer and rosen's answer.Which one is correct. Please help.

Let S(x) be the predicate that "x is a student", F(x) be the predicate "x is a faculty member", and A(x,y) the predicate "x has asked y a question", where the domain cons...

Ayush Upadhyaya

833 views

Ayush Upadhyaya asked Jun 12, 2018

0 votes

0 answers

480

Kenneth Rosen Edition 6th Exercise 1.4 Question 5e (Page No. 58)
Let W(x,y) mean that student x has visited website y, where the domain for x consists of all students in your school and domain for y consists of all websites. Express below statement in the english sentence. ... have visited exactly the same set of websites." And this means exactly two. Which one is correct interpretation?

Let W(x,y) mean that student x has visited website y, where the domain for x consists of all students in your school and domain for y consists of all websites. Express be...

Ayush Upadhyaya

321 views

Ayush Upadhyaya asked Jun 10, 2018

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