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

I forgot my password
Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Prev
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
0
answers
1
Kenneth Rosen Nested Quantifiers Self Doubt
Q) There is somebody whom no one loves L(x,y) : x loves y. Doubt: Does ∀x ∃y ~L(x,y) will be same as ∃x ∀y ~L(y,x) or both are different please give explaination
asked
Jan 10
in
Mathematical Logic
by
kd.....
Junior
(
689
points)

21
views
mathematicallogic
kennethrosen
discretemathematics
propositionallogic
blocknestedloopjoin
0
votes
0
answers
2
Madeeasy Workbook
Prove that : ∀x(P(x) => Q(x)) ==> ( ∃x(P(x)) => ∃x(Q(x)) ) Why it does not holds?
asked
Jan 8
in
Study Resources
by
Kartik jain 1
(
19
points)

8
views
discretemathematics
propositionallogic
+1
vote
1
answer
3
Propositional logic self doubt
q = you can access the library r = you have a valid ID s = you have paid subscription fee of that day Consider the following English sentence “You cannot access the library if you don’t have a valid ID unless you have paid subscription fee of that day” which of the following is the correct logical expression? $q \rightarrow (r \vee s )$ $(q \rightarrow r) \vee s$
asked
Jan 7
in
Mathematical Logic
by
Mk Utkarsh
Boss
(
32.9k
points)

35
views
propositionallogic
discretemathematics
firstorderlogic
mathematicallogic
0
votes
1
answer
4
Made Easy Test Series  Discrete Mathematics Topic Test 1 Q1
Consider two wellformed formula in proposition logic: Which of the following is correct? F1 is satisfiable, F2 is valid F1 is unsatisfiable, F1 is satisfiable F1 is unsatisfiable, F2 is valid F1 and F2 both are unsatisfiable
asked
Jan 5
in
Discrete Mathematics
by
Pratik Gawali
Junior
(
827
points)

34
views
discretemathematics
madeeasytestseries
propositionallogic
0
votes
1
answer
5
Discreate Math logic
asked
Jan 4
in
Mathematical Logic
by
Rackson
Active
(
1.6k
points)

19
views
propositionallogic
0
votes
0
answers
6
Propositional logic self doubt
asked
Dec 19, 2018
in
Mathematical Logic
by
Na462
Loyal
(
8k
points)

52
views
propositionallogic
discretemathematics
0
votes
0
answers
7
Quantifiers
Translate into the predicate logic One has to drink water in order to survive D(x) = x drinks water S(x) = x survives
asked
Dec 9, 2018
in
Mathematical Logic
by
kd.....
Junior
(
689
points)

39
views
mathematicallogic
discretemathematics
propositionallogic
0
votes
0
answers
8
Propositional Logic
Which of the following is the best English translation for All humans eat alligator Alligator eats only human Every Alligator Eats Human Only Alligator eats Human
asked
Dec 8, 2018
in
Mathematical Logic
by
Na462
Loyal
(
8k
points)

50
views
propositionallogic
discretemathematics
mathematicallogic
+1
vote
0
answers
9
Self doubt Propositional Logic
Que. Consider domain is the set of all people in the world. $F(x,y) =x \text{ is the friend of y}.$ Represent each of the following sentences using firstorder logic statements $1.$ Every person has $at most \ 2$ friends. $2.$ Every person has $exactly \ 2$ ... $3. \forall x \exists y_1\exists y_2(F(x,y_1) \wedge F(x,y_2) \wedge (y_1 \neq y_2))$ Please verify.
asked
Dec 6, 2018
in
Mathematical Logic
by
Soumya29
Boss
(
14.8k
points)

72
views
discretemathematics
firstorderlogic
propositionallogic
0
votes
1
answer
10
Quantifiers valid statement
How did this statement is valid please explain
asked
Nov 30, 2018
in
Mathematical Logic
by
kd.....
Junior
(
689
points)

79
views
discretemathematics
propositionallogic
0
votes
0
answers
11
Tautology
Consider the following statements: $P_1$: Sachin Tendulkar gets out before the tea break only if Ishant Sharma comes out to bat. $P_2$: Ishant Sharma won't come out to bat, if Lasith Malinga is not called to bowl. $P_3$: Sachin Tendulkar got out before the tea break. Which ... Keeping A, B, C option as X one by one, and all follows, thus option D is correct but given answer is C.
asked
Nov 29, 2018
in
Mathematical Logic
by
Shubhanshu
Boss
(
17.8k
points)

29
views
propositionallogic
mathematicallogic
0
votes
0
answers
12
#notesbook
you cannot ride the roller coaster if you are under 4 feet tall unless you are old then 16 years convert into propostional logic
asked
Nov 12, 2018
in
Mathematical Logic
by
amit166
Junior
(
653
points)

21
views
#propostional
propositionallogic
0
votes
0
answers
13
Test Series
I think both B and C should be the answer, But only C is provided as the answer.
asked
Oct 29, 2018
in
Mathematical Logic
by
Gupta731
Active
(
4.3k
points)

44
views
discretemathematics
propositionallogic
0
votes
1
answer
14
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'
asked
Oct 29, 2018
in
Mathematical Logic
by
manisha11
Active
(
1.4k
points)

30
views
propositionallogic
0
votes
0
answers
15
GATEBOOK2019DM16
Which of the following propositional formulae represents the sentence, 'He will come in the $8:15$ or the $9:15$ train; if the former, he will have time to visit us', where $p$ means 'He will come in the $8:15$ train' $q$ means 'He will come in the $9:15$ train' $r$ ... $ ( p \rightarrow q) \wedge ( p \vee r )$ $ (p \vee q ) \wedge (p \rightarrow r)$
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
12.7k
points)

88
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
+2
votes
1
answer
16
GATEBOOK2019DM17
Which of the following propositional formulae is a tautology? $(\neg p \vee r ) \rightarrow (p \vee \neg r)$ $ \neg ( p \rightarrow (p \wedge q ))$ $ r \rightarrow ( p \wedge \neg r )$ $ ( p \leftrightarrow q ) \vee (p \leftrightarrow \neg q)$
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
12.7k
points)

62
views
gb2019dm1
discretemathematics
propositionallogic
mathematicallogic
+1
vote
0
answers
17
GATEBOOK2019DM19
Which of the following formulas represents the sentence, 'Share prices will go up, and if interest rates go up too, there will be a recession', where ; $p$ means 'share prices will go up' $q$ means 'interest rates will go up' $r$ means 'there will be a recession'. $ p \wedge q \rightarrow r$ $ p \wedge (q \rightarrow r)$ $ p \rightarrow q \wedge r$ $ (p \rightarrow q) \vee r$
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
12.7k
points)

117
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
+2
votes
1
answer
18
GATEBOOK2019DM110
Assuming a nonempty universe, the formula $(\forall x P(x) \vee \exists y P(y))$ is equivalent to $\exists x (P(x))$ $ (\forall x P(x))$ $ \neg (\forall x P(x))$ $ \neg (\exists x (P(x))$
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
12.7k
points)

115
views
gb2019dm1
discretemathematics
propositionallogic
mathematicallogic
0
votes
0
answers
19
GATEBOOK2019DM111
Suppose that $P(x,y)$ means "x is a parent of y" and $M(x)$ means "x is a male". If $F(v,w)$ equals $M(v) \wedge \exists x \exists y (P(x,y) \wedge P(x,v) \wedge (y \neq v ) \wedge P(y,w)), $ the meaning of the expression $F(v,w)$ is $v$ is a brother of $w$ $v$ is an uncle of $w$ $v$ is a grandfather of $w$ $v$ is a nephew of $w$
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
12.7k
points)

54
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
quantifiers
0
votes
1
answer
20
GATEBOOK2019DM112
Translate the following logic statement to English where, $A(x)$: $x$ is African, $F(x,y)$: x and y are friends. The universe for $x$ and $y$ is all the people in the world. $\forall x \exists y((A(x) \vee (F(x,y)))$ Every African has some African friend Every person who is not African has at least one friend Every person who has friend is not African None of these
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
12.7k
points)

130
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
quantifiers
+1
vote
0
answers
21
GATEBOOK2019DM114
Consider the following inference system: $P$ $\neg P \vee Q$ $\neg Q \vee R$ Which of the following is a valid conclusion ? $R$ $ \neg R$ $ \neg Q$ $ \neg R \wedge Q$
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
12.7k
points)

61
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
+2
votes
1
answer
22
GATEBOOK2019DM115
Let $I$ denote the formula $ (q \rightarrow p) \rightarrow (p \rightarrow q)$ and $II$ denote the formula $(p\rightarrow q) \wedge q$ Which of the following is true? $I$ is not tautology and $II$ is not satisfiable $I$ is not tautology and $II$ is satisfiable $I$ is satisfiable and $II$ is not satisfiable $I$ is tautology and $II$ is satisfiable
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
12.7k
points)

86
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
+1
vote
0
answers
23
GATEBOOK2019DM116
Which of the following statements is not necessarily true ? $\forall x \: \forall y P(x,y) \Leftrightarrow \forall y \: \forall x P(x,y)$ $ \exists x \: \exists y P(x,y) \Leftrightarrow \exists y \: \exists x P(x,y)$ $\forall x \: \exists y P(x,y) \Rightarrow \exists y \: \forall x P(x,y) $ $ \exists y \:\forall x P(x,y) \Rightarrow \forall x \: \exists y P(x,y)$
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
12.7k
points)

64
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
quantifiers
0
votes
1
answer
24
GATEBOOK2019DM120
A binary operator is defined as follows $P \Updownarrow Q = \sim P \wedge Q$ Which of the following statement is equivalent to $P \rightarrow Q $ $\sim P \Updownarrow Q$ $\sim( P \Updownarrow Q)$ $\sim( \sim P \Updownarrow Q)$ $\sim ( \sim P \Updownarrow \sim Q)$
asked
Oct 28, 2018
in
Mathematical Logic
by
GATEBOOK
Boss
(
12.7k
points)

36
views
gb2019dm1
discretemathematics
mathematicallogic
propositionallogic
+1
vote
0
answers
25
Gateforum Test Series
asked
Oct 12, 2018
in
Mathematical Logic
by
Gupta731
Active
(
4.3k
points)

33
views
discretemathematics
propositionallogic
0
votes
1
answer
26
Gateforum Test series
asked
Oct 12, 2018
in
Mathematical Logic
by
Gupta731
Active
(
4.3k
points)

40
views
discretemathematics
propositionallogic
0
votes
1
answer
27
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
asked
Oct 2, 2018
in
Mathematical Logic
by
Lakshman Patel RJIT
Boss
(
26.4k
points)

36
views
discretemathematics
propositionallogic
0
votes
0
answers
28
test series
please someone explain the approach?
asked
Oct 1, 2018
in
Mathematical Logic
by
Rudra Pratap
(
463
points)

36
views
propositionallogic
0
votes
0
answers
29
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?
asked
Sep 29, 2018
in
Mathematical Logic
by
sushil1997
(
25
points)

35
views
mathematicallogic
discretemathematics
kennethrosen
blocknestedloopjoin
propositionallogic
Page:
1
2
3
4
5
6
...
9
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
Decidability Slides
How to Revise?
AAI JE IT results out! Adv no 02/2018
Graph Theory Slides for GATECSE
Generating Function Useful Link
Follow @csegate
Gatecse
Recent questions tagged propositionallogic
Recent Blog Comments
I have developed this weird addiction...
https://gateoverflow.in/exam/136/appliedcourse20...
1 fulllength test and revision...
46,769
questions
51,221
answers
176,474
comments
66,581
users