The Gateway to Computer Science Excellence
For all GATE CSE Questions
Toggle navigation
GATE Overflow
Facebook Login
Google Login
or
Email or Username
Password
Remember
Login
Register

I forgot my password
All Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Previous
Blogs
New Blog
Exams
First time here? Checkout the
FAQ
!
x
×
Close
Use the google search bar on side panel. It searches through all previous GATE/other questions. For hardcopy of previous year questions please see
here
Recent questions tagged propositionallogic
0
votes
1
answer
1
Propositional Logic
Ans. A
asked
1 day
ago
in
Mathematical Logic
by
Na462
Active
(
4.6k
points)

11
views
propositionallogic
mathematicallogic
discretemathematics
0
votes
2
answers
2
Propositional Logic
Ans. B
asked
1 day
ago
in
Mathematical Logic
by
Na462
Active
(
4.6k
points)

16
views
propositionallogic
mathematicallogic
discretemathematics
0
votes
0
answers
3
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)))$
asked
Aug 10
in
Mathematical Logic
by
Prince Sindhiya
Active
(
2.3k
points)

9
views
propositionallogic
0
votes
2
answers
4
Proposition Logic
asked
Aug 9
in
Mathematical Logic
by
aditi19
(
221
points)

49
views
mathematicallogic
propositionallogic
discretemathematics
0
votes
0
answers
5
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.
asked
Jul 24
in
Mathematical Logic
by
hitendra singh
(
219
points)

38
views
propositionallogic
0
votes
1
answer
6
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.
asked
Jul 24
in
Mathematical Logic
by
Hitendra Singh 1
(
15
points)

15
views
propositionallogic
0
votes
1
answer
7
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
asked
Jul 14
in
Mathematical Logic
by
hitendra singh
(
219
points)

55
views
mathematicallogic
propositionallogic
+2
votes
2
answers
8
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
asked
Jul 12
in
Mathematical Logic
by
kd.....
(
285
points)

47
views
propositionallogic
discretemathematics
mathematicallogic
firstorderlogic
engineeringmathematics
0
votes
1
answer
9
book keneth rosen
How this english sentence be translated in to a logical expression? "you cannot ride the roller coaster if you are under 4 feet tall unless you are older than 16 years old"
asked
Jul 11
in
Mathematical Logic
by
hitendra singh
(
219
points)

29
views
propositionallogic
0
votes
1
answer
10
kenneth rosen section1.4  syllabus
is Prolog or ∃! of mathematical logic in syllabus?
asked
Jul 6
in
Mathematical Logic
by
Sandy Sharma
Junior
(
693
points)

51
views
kennethrosen
discretemathematics
propositionallogic
mathematicallogic
0
votes
0
answers
11
LogicKenneth Rosen(Ex1.510)
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 sunny on Tuesday." ... "You only eat what tastes good." "You do not eat Tofu." "Cheeseburgers are not healthy to eat."
asked
Jul 1
in
Mathematical Logic
by
Ayush Upadhyaya
Boss
(
11k
points)

30
views
discretemathematics
propositionallogic
kennethrosen
0
votes
1
answer
12
kenneth rosen
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 tautol ogy. d) The ... questions/219207/predicatesquantifiers I read above but still confuse....can somebody explain statement c) and d) in more detail
asked
Jun 30
in
Mathematical Logic
by
sunil sarode
Active
(
1.3k
points)

30
views
propositionallogic
kennethrosen
0
votes
0
answers
13
kenneth rosen proposition logic Ex 1.1 q15
asked
Jun 29
in
Mathematical Logic
by
Sandy Sharma
Junior
(
693
points)

40
views
discretemathematics
kennethrosen
propositionallogic
mathematicallogic
0
votes
1
answer
14
self doubt
dog(x) = x is a dog Int (x) = x is intelligent write in logic form No dogs are intelligent.
asked
Jun 14
in
Mathematical Logic
by
Vegeta
(
193
points)

33
views
propositionallogic
firstorderlogic
logicalreasoning
0
votes
2
answers
15
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
asked
Jun 14
in
Mathematical Logic
by
Vegeta
(
193
points)

62
views
propositionallogic
firstorderlogic
logicalreasoning
0
votes
0
answers
16
LogicKenneth Rosen (Ex1.411f)
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 school. ... A(x,y) ) ) Doubt 2: What is the difference between my answer and rosen's answer.Which one is correct. Please help.
asked
Jun 12
in
Mathematical Logic
by
Ayush Upadhyaya
Boss
(
11k
points)

50
views
discretemathematics
propositionallogic
0
votes
0
answers
17
LogicKenneth Rosen(Ex1.45e)
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. ∃x∃y∀z ( (x$\neq$y) ^ ( ... two persons who have visited exactly the same set of websites." And this means exactly two. Which one is correct interpretation?
asked
Jun 10
in
Mathematical Logic
by
Ayush Upadhyaya
Boss
(
11k
points)

29
views
discretemathematics
kennethrosen
propositionallogic
0
votes
0
answers
18
LogicKenneth Rosen(Ex1.357)
Let P(x)x is a baby Q(x) x is logical R(x)x is able to manage a crocodile S(x)x is despised. Suppose that the domain consists of all people.Express each of the these statements using quantifiers (a)Babies are illogical (b)Nobody is despised who can manage a ... x)) (c)∀x($\sim Q(x)\rightarrow S(x)$ ) (d)∀x($P(x)\rightarrow \sim R(x)$) Please verify my answers.
asked
Jun 10
in
Mathematical Logic
by
Ayush Upadhyaya
Boss
(
11k
points)

30
views
discretemathematics
kennethrosen
propositionallogic
+1
vote
1
answer
19
#discrete
Is satisfiability in FOL undecidable or semidecidable? elaborate!
asked
Jun 6
in
Theory of Computation
by
Nancy Pareta
(
215
points)

37
views
discretemathematics
propositionallogic
kennethrosen
+1
vote
1
answer
20
Kennth Rosen,ch:1,Ex:1.3,Qn:51
Find a compound proposition logically equivalent to $p \rightarrow q$ using only the logical operator $\downarrow$?
asked
Jun 5
in
Mathematical Logic
by
siva140191
(
63
points)

49
views
kennethrosen
settheory&algebra
propositionallogic
mathematicallogic
descriptive
+1
vote
1
answer
21
Kenneth Rosen Ch:1,Ex:1.5 Qn:52.
Express the quantification $∃!xP (x)$,using universal quantifications, existential quantifications, and logical operators.?
asked
Jun 4
in
Mathematical Logic
by
siva140191
(
63
points)

96
views
discretemathematics
engineeringmathematics
kennethrosen
settheory&algebra
propositionallogic
0
votes
0
answers
22
Kennth Rosen Ch:1,Ex:1.2, Qn:38.
Solve this famous logic puzzle, attributed to Albert Einstein, and known as the zebra puzzle.Five men with different nationalities and with different jobs live in consecutive houses on a street. These houses are painted different colors. The men ... , their pets, and their favorite drinks and use logical reasoning to determine the correct entries in the table.]?
asked
Jun 3
in
Mathematical Logic
by
siva140191
(
63
points)

67
views
kennethrosen
mathematicallogic
settheory&algebra
propositionallogic
descriptive
0
votes
2
answers
23
Rosen page 17
"You can access the Internet from campus only if you are a computer science major or you are not a freshman" According to Rosen, its equivalent compound proposition is a $→ (c ∨¬f )$. Should it not be the other way round? $(c ∨¬f ) → a$
asked
May 28
in
Mathematical Logic
by
Warlock lord
Active
(
3.4k
points)

87
views
kennethrosen
mathematicallogic
engineeringmathematics
discretemathematics
propositionallogic
+2
votes
1
answer
24
Sentence to Predicate Calculus
Will the answers be : (a) $x:$Any person $C(x) :$Cricketer $A(x):$Admired by others So $\exists x C(x) \land \forall x A(x)$ (b) $x:$Any person $S(x) :$Student $A(x):$got an A grade in AI course $F(x) $ : Friend So $ \forall x (S(x) ) \implies \exists x (F(x) \land A(x)) $
asked
May 7
in
Mathematical Logic
by
Sourajit25
Junior
(
825
points)

64
views
propositionallogic
firstorderlogic
0
votes
0
answers
25
How can this English sentence be translated into a logical expression?
asked
Apr 26
in
Mathematical Logic
by
hem chandra joshi
Active
(
4.4k
points)

86
views
mathematicallogic
discretemathematics
propositionallogic
0
votes
3
answers
26
ISRODEC20176
The proposition $(P\Rightarrow Q)\wedge (Q\Rightarrow P)$ is a Tautology Contradiction Contingency Absurdity
asked
Apr 18
in
Probability
by
jjayantamahata
Active
(
1.5k
points)

78
views
propositionallogic
0
votes
1
answer
27
Propositional logic
Sagar will marry Sheela only if She is a graduate and a good cook. Which is True ? 1.Sheela is a good cook but not a graduate hence Sagar will not marry sheela. 2.Sagar will marry sheela since she is a good cook though she is not a graduate. 3 ... and a good cook implies Sagar will marry Sheela 4.Sagar did not marry Sheela implies that she is neither a graduate nor a good cook.
asked
Apr 16
in
Mathematical Logic
by
Na462
Active
(
4.6k
points)

93
views
propositionallogic
discretemathematics
mathematicallogic
0
votes
1
answer
28
PGEE Sample paper
More than one option can be correct
asked
Apr 15
in
Mathematical Logic
by
Akhilesh Singla
Active
(
4.7k
points)

97
views
iiithpgee
propositionallogic
0
votes
0
answers
29
PGEE Sample paper
More than one option can be correct
asked
Apr 15
in
Mathematical Logic
by
Akhilesh Singla
Active
(
4.7k
points)

122
views
iiithpgee
propositionallogic
0
votes
1
answer
30
Uttrakhand Asst. Professor Exam29
A compound statement which is neither a tautology nor a contradiction is called _____ Contingency Equivalence Condition Inference
asked
Mar 2
in
Others
by
gatecse
Boss
(
18.1k
points)

34
views
uttarakhandasstprof2018
propositionallogic
Page:
1
2
3
4
5
6
...
8
next »
Quick search syntax
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
Recent Posts
Anxiety
Nielit 2018
Donation (Kerala Flood)
Schedule for GATE 2019
GATE 2019 official website
Follow @csegate
Gatecse
Recent questions tagged propositionallogic
Recent Blog Comments
Thanx Mk utkarsh and nikhil bro ... i really ...
Firstly I am not topper. or ranker.
but ...
If you are not able to understand the concept of ...
done:)
Thanx man ... i really appreciate it ...
38,189
questions
45,688
answers
132,725
comments
49,660
users